13.85/5.46	YES
16.43/6.18	proof of /export/starexec/sandbox2/benchmark/theBenchmark.hs
16.43/6.18	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
16.43/6.18	
16.43/6.18	
16.43/6.18	H-Termination with start terms of the given HASKELL could be proven:
16.43/6.18	
16.43/6.18	(0) HASKELL
16.43/6.18	(1) LR [EQUIVALENT, 0 ms]
16.43/6.18	(2) HASKELL
16.43/6.18	(3) CR [EQUIVALENT, 0 ms]
16.43/6.18	(4) HASKELL
16.43/6.18	(5) IFR [EQUIVALENT, 0 ms]
16.43/6.18	(6) HASKELL
16.43/6.18	(7) BR [EQUIVALENT, 0 ms]
16.43/6.18	(8) HASKELL
16.43/6.18	(9) COR [EQUIVALENT, 1 ms]
16.43/6.18	(10) HASKELL
16.43/6.18	(11) NumRed [SOUND, 0 ms]
16.43/6.18	(12) HASKELL
16.43/6.18	(13) Narrow [SOUND, 0 ms]
16.43/6.18	(14) AND
16.43/6.18	    (15) QDP
16.43/6.18	        (16) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.43/6.18	        (17) YES
16.43/6.18	    (18) QDP
16.43/6.18	        (19) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.43/6.18	        (20) YES
16.43/6.18	    (21) QDP
16.43/6.18	        (22) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.43/6.18	        (23) YES
16.43/6.18	    (24) QDP
16.43/6.18	        (25) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.43/6.18	        (26) YES
16.43/6.18	    (27) QDP
16.43/6.18	        (28) QDPSizeChangeProof [EQUIVALENT, 42 ms]
16.43/6.18	        (29) YES
16.43/6.18	
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(0)
16.43/6.18	Obligation:
16.43/6.18	mainModule Main 
16.43/6.18	module Maybe where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Prelude;
16.43/6.18	listToMaybe :: [a]  ->  Maybe a;
16.43/6.18	listToMaybe [] = Nothing;
16.43/6.18	listToMaybe (a : _) = Just a;
16.43/6.18	
16.43/6.18	}
16.43/6.18	module List where {
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
16.43/6.18	elemIndex x = findIndex (== x);
16.43/6.18	
16.43/6.18	findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
16.43/6.18	findIndex p = Maybe.listToMaybe . findIndices p;
16.43/6.18	
16.43/6.18	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
16.43/6.18	findIndices p xs = concatMap (\vv1 ->case vv1 of { 
16.43/6.18	(x,i)->  if p x then i : [] else []; 
16.43/6.18	_-> []; 
16.43/6.18	 } ) (zip xs (enumFrom 0));
16.43/6.18	
16.43/6.18	}
16.43/6.18	module Main where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	}
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(1) LR (EQUIVALENT)
16.43/6.18	Lambda Reductions:
16.43/6.18	The following Lambda expression
16.43/6.18	"\ab->(a,b)"
16.43/6.18	is transformed to
16.43/6.18	"zip0 a b = (a,b);
16.43/6.18	"
16.43/6.18	The following Lambda expression
16.43/6.18	"\vv1->case vv1 of {
16.43/6.18	(x,i)  -> if p x then i : [] else [];
16.43/6.18	_  -> []}
16.43/6.18	"
16.43/6.18	is transformed to
16.43/6.18	"findIndices0 p vv1 = case vv1 of {
16.43/6.18	(x,i)  -> if p x then i : [] else [];
16.43/6.18	_  -> []}
16.43/6.18	;
16.43/6.18	"
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(2)
16.43/6.18	Obligation:
16.43/6.18	mainModule Main 
16.43/6.18	module Maybe where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Prelude;
16.43/6.18	listToMaybe :: [a]  ->  Maybe a;
16.43/6.18	listToMaybe [] = Nothing;
16.43/6.18	listToMaybe (a : _) = Just a;
16.43/6.18	
16.43/6.18	}
16.43/6.18	module List where {
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
16.43/6.18	elemIndex x = findIndex (== x);
16.43/6.18	
16.43/6.18	findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
16.43/6.18	findIndex p = Maybe.listToMaybe . findIndices p;
16.43/6.18	
16.43/6.18	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
16.43/6.18	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
16.43/6.18	
16.43/6.18	findIndices0 p vv1 = case vv1 of { 
16.43/6.18	(x,i)->  if p x then i : [] else []; 
16.43/6.18	_-> []; 
16.43/6.18	 } ;
16.43/6.18	
16.43/6.18	}
16.43/6.18	module Main where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	}
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(3) CR (EQUIVALENT)
16.43/6.18	Case Reductions:
16.43/6.18	The following Case expression
16.43/6.18	"case vv1 of {
16.43/6.18	(x,i)  -> if p x then i : [] else [];
16.43/6.18	_  -> []}
16.43/6.18	"
16.43/6.18	is transformed to
16.43/6.18	"findIndices00 p (x,i) = if p x then i : [] else [];
16.43/6.18	findIndices00 p _ = [];
16.43/6.18	"
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(4)
16.43/6.18	Obligation:
16.43/6.18	mainModule Main 
16.43/6.18	module Maybe where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Prelude;
16.43/6.18	listToMaybe :: [a]  ->  Maybe a;
16.43/6.18	listToMaybe [] = Nothing;
16.43/6.18	listToMaybe (a : _) = Just a;
16.43/6.18	
16.43/6.18	}
16.43/6.18	module List where {
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
16.43/6.18	elemIndex x = findIndex (== x);
16.43/6.18	
16.43/6.18	findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
16.43/6.18	findIndex p = Maybe.listToMaybe . findIndices p;
16.43/6.18	
16.43/6.18	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
16.43/6.18	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
16.43/6.18	
16.43/6.18	findIndices0 p vv1 = findIndices00 p vv1;
16.43/6.18	
16.43/6.18	findIndices00 p (x,i) =  if p x then i : [] else [];
16.43/6.18	findIndices00 p _ = [];
16.43/6.18	
16.43/6.18	}
16.43/6.18	module Main where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	}
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(5) IFR (EQUIVALENT)
16.43/6.18	If Reductions:
16.43/6.18	The following If expression
16.43/6.18	"if p x then i : [] else []"
16.43/6.18	is transformed to
16.43/6.18	"findIndices000 i True = i : [];
16.43/6.18	findIndices000 i False = [];
16.43/6.18	"
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(6)
16.43/6.18	Obligation:
16.43/6.18	mainModule Main 
16.43/6.18	module Maybe where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Prelude;
16.43/6.18	listToMaybe :: [a]  ->  Maybe a;
16.43/6.18	listToMaybe [] = Nothing;
16.43/6.18	listToMaybe (a : _) = Just a;
16.43/6.18	
16.43/6.18	}
16.43/6.18	module List where {
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
16.43/6.18	elemIndex x = findIndex (== x);
16.43/6.18	
16.43/6.18	findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
16.43/6.18	findIndex p = Maybe.listToMaybe . findIndices p;
16.43/6.18	
16.43/6.18	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
16.43/6.18	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
16.43/6.18	
16.43/6.18	findIndices0 p vv1 = findIndices00 p vv1;
16.43/6.18	
16.43/6.18	findIndices00 p (x,i) = findIndices000 i (p x);
16.43/6.18	findIndices00 p _ = [];
16.43/6.18	
16.43/6.18	findIndices000 i True = i : [];
16.43/6.18	findIndices000 i False = [];
16.43/6.18	
16.43/6.18	}
16.43/6.18	module Main where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	}
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(7) BR (EQUIVALENT)
16.43/6.18	Replaced joker patterns by fresh variables and removed binding patterns.
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(8)
16.43/6.18	Obligation:
16.43/6.18	mainModule Main 
16.43/6.18	module Maybe where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Prelude;
16.43/6.18	listToMaybe :: [a]  ->  Maybe a;
16.43/6.18	listToMaybe [] = Nothing;
16.43/6.18	listToMaybe (a : xz) = Just a;
16.43/6.18	
16.43/6.18	}
16.43/6.18	module List where {
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
16.43/6.18	elemIndex x = findIndex (== x);
16.43/6.18	
16.43/6.18	findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
16.43/6.18	findIndex p = Maybe.listToMaybe . findIndices p;
16.43/6.18	
16.43/6.18	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
16.43/6.18	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
16.43/6.18	
16.43/6.18	findIndices0 p vv1 = findIndices00 p vv1;
16.43/6.18	
16.43/6.18	findIndices00 p (x,i) = findIndices000 i (p x);
16.43/6.18	findIndices00 p yu = [];
16.43/6.18	
16.43/6.18	findIndices000 i True = i : [];
16.43/6.18	findIndices000 i False = [];
16.43/6.18	
16.43/6.18	}
16.43/6.18	module Main where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	}
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(9) COR (EQUIVALENT)
16.43/6.18	Cond Reductions:
16.43/6.18	The following Function with conditions
16.43/6.18	"undefined |Falseundefined;
16.43/6.18	"
16.43/6.18	is transformed to
16.43/6.18	"undefined  = undefined1;
16.43/6.18	"
16.43/6.18	"undefined0 True = undefined;
16.43/6.18	"
16.43/6.18	"undefined1  = undefined0 False;
16.43/6.18	"
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(10)
16.43/6.18	Obligation:
16.43/6.18	mainModule Main 
16.43/6.18	module Maybe where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Prelude;
16.43/6.18	listToMaybe :: [a]  ->  Maybe a;
16.43/6.18	listToMaybe [] = Nothing;
16.43/6.18	listToMaybe (a : xz) = Just a;
16.43/6.18	
16.43/6.18	}
16.43/6.18	module List where {
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
16.43/6.18	elemIndex x = findIndex (== x);
16.43/6.18	
16.43/6.18	findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
16.43/6.18	findIndex p = Maybe.listToMaybe . findIndices p;
16.43/6.18	
16.43/6.18	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
16.43/6.18	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
16.43/6.18	
16.43/6.18	findIndices0 p vv1 = findIndices00 p vv1;
16.43/6.18	
16.43/6.18	findIndices00 p (x,i) = findIndices000 i (p x);
16.43/6.18	findIndices00 p yu = [];
16.43/6.18	
16.43/6.18	findIndices000 i True = i : [];
16.43/6.18	findIndices000 i False = [];
16.43/6.18	
16.43/6.18	}
16.43/6.18	module Main where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	}
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(11) NumRed (SOUND)
16.43/6.18	Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(12)
16.43/6.18	Obligation:
16.43/6.18	mainModule Main 
16.43/6.18	module Maybe where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Prelude;
16.43/6.18	listToMaybe :: [a]  ->  Maybe a;
16.43/6.18	listToMaybe [] = Nothing;
16.43/6.18	listToMaybe (a : xz) = Just a;
16.43/6.18	
16.43/6.18	}
16.43/6.18	module List where {
16.43/6.18	import qualified Main;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
16.43/6.18	elemIndex x = findIndex (== x);
16.43/6.18	
16.43/6.18	findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
16.43/6.18	findIndex p = Maybe.listToMaybe . findIndices p;
16.43/6.18	
16.43/6.18	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
16.43/6.18	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero)));
16.43/6.18	
16.43/6.18	findIndices0 p vv1 = findIndices00 p vv1;
16.43/6.18	
16.43/6.18	findIndices00 p (x,i) = findIndices000 i (p x);
16.43/6.18	findIndices00 p yu = [];
16.43/6.18	
16.43/6.18	findIndices000 i True = i : [];
16.43/6.18	findIndices000 i False = [];
16.43/6.18	
16.43/6.18	}
16.43/6.18	module Main where {
16.43/6.18	import qualified List;
16.43/6.18	import qualified Maybe;
16.43/6.18	import qualified Prelude;
16.43/6.18	}
16.43/6.18	
16.43/6.18	----------------------------------------
16.43/6.18	
16.43/6.18	(13) Narrow (SOUND)
16.43/6.18	Haskell To QDPs
16.43/6.18	
16.43/6.18	digraph dp_graph {
16.43/6.18	node [outthreshold=100, inthreshold=100];1[label="List.elemIndex",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
16.43/6.18	3[label="List.elemIndex yv3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
16.43/6.18	4[label="List.elemIndex yv3 yv4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
16.43/6.18	5[label="List.findIndex (yv3 ==) yv4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
16.43/6.18	6[label="Maybe.listToMaybe . List.findIndices (yv3 ==)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
16.43/6.18	7[label="Maybe.listToMaybe (List.findIndices (yv3 ==) yv4)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
16.43/6.18	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];
16.43/6.18	9[label="Maybe.listToMaybe (concat . map (List.findIndices0 (yv3 ==)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
16.43/6.18	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];
16.43/6.18	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];
16.43/6.18	12[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="burlywood",shape="box"];1403[label="yv4/yv40 : yv41",fontsize=10,color="white",style="solid",shape="box"];12 -> 1403[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1403 -> 13[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1404[label="yv4/[]",fontsize=10,color="white",style="solid",shape="box"];12 -> 1404[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1404 -> 14[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	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];
16.43/6.18	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];
16.43/6.18	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.43/6.18	16[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) []))",fontsize=16,color="black",shape="triangle"];16 -> 18[label="",style="solid", color="black", weight=3];
16.43/6.18	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];
16.43/6.18	18[label="Maybe.listToMaybe (foldr (++) [] [])",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3];
16.43/6.18	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];
16.43/6.18	20[label="Maybe.listToMaybe []",fontsize=16,color="black",shape="box"];20 -> 22[label="",style="solid", color="black", weight=3];
16.43/6.18	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];
16.43/6.18	22[label="Nothing",fontsize=16,color="green",shape="box"];23 -> 694[label="",style="dashed", color="red", weight=0];
16.43/6.18	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="magenta"];23 -> 695[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	23 -> 696[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	23 -> 697[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	23 -> 698[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	23 -> 699[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	695[label="Zero",fontsize=16,color="green",shape="box"];696[label="yv41",fontsize=16,color="green",shape="box"];697[label="Zero",fontsize=16,color="green",shape="box"];698[label="yv40",fontsize=16,color="green",shape="box"];699[label="yv3",fontsize=16,color="green",shape="box"];694[label="Maybe.listToMaybe ((++) List.findIndices0 (yv10 ==) (zip0 yv110 (Pos yv32)) foldr (++) [] (map (List.findIndices0 (yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv33 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="triangle"];694 -> 702[label="",style="solid", color="black", weight=3];
16.43/6.18	702[label="Maybe.listToMaybe ((++) List.findIndices00 (yv10 ==) (zip0 yv110 (Pos yv32)) foldr (++) [] (map (List.findIndices0 (yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv33 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];702 -> 703[label="",style="solid", color="black", weight=3];
16.43/6.18	703[label="Maybe.listToMaybe ((++) List.findIndices00 (yv10 ==) (yv110,Pos yv32) foldr (++) [] (map (List.findIndices0 (yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv33 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];703 -> 704[label="",style="solid", color="black", weight=3];
16.43/6.18	704 -> 705[label="",style="dashed", color="red", weight=0];
16.43/6.18	704[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv32) (yv10 == yv110) foldr (++) [] (map (List.findIndices0 (yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv33 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];704 -> 706[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	704 -> 707[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	704 -> 708[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	704 -> 709[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	704 -> 710[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	706[label="yv10 == yv110",fontsize=16,color="blue",shape="box"];1405[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1405[label="",style="solid", color="blue", weight=9];
16.43/6.18	1405 -> 711[label="",style="solid", color="blue", weight=3];
16.43/6.18	1406[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1406[label="",style="solid", color="blue", weight=9];
16.43/6.18	1406 -> 712[label="",style="solid", color="blue", weight=3];
16.43/6.18	1407[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1407[label="",style="solid", color="blue", weight=9];
16.43/6.18	1407 -> 713[label="",style="solid", color="blue", weight=3];
16.43/6.18	1408[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1408[label="",style="solid", color="blue", weight=9];
16.43/6.18	1408 -> 714[label="",style="solid", color="blue", weight=3];
16.43/6.18	1409[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1409[label="",style="solid", color="blue", weight=9];
16.43/6.18	1409 -> 715[label="",style="solid", color="blue", weight=3];
16.43/6.18	1410[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1410[label="",style="solid", color="blue", weight=9];
16.43/6.18	1410 -> 716[label="",style="solid", color="blue", weight=3];
16.43/6.18	1411[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1411[label="",style="solid", color="blue", weight=9];
16.43/6.18	1411 -> 717[label="",style="solid", color="blue", weight=3];
16.43/6.18	1412[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1412[label="",style="solid", color="blue", weight=9];
16.43/6.18	1412 -> 718[label="",style="solid", color="blue", weight=3];
16.43/6.18	1413[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1413[label="",style="solid", color="blue", weight=9];
16.43/6.18	1413 -> 719[label="",style="solid", color="blue", weight=3];
16.43/6.18	1414[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1414[label="",style="solid", color="blue", weight=9];
16.43/6.18	1414 -> 720[label="",style="solid", color="blue", weight=3];
16.43/6.18	1415[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1415[label="",style="solid", color="blue", weight=9];
16.43/6.18	1415 -> 721[label="",style="solid", color="blue", weight=3];
16.43/6.18	1416[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1416[label="",style="solid", color="blue", weight=9];
16.43/6.18	1416 -> 722[label="",style="solid", color="blue", weight=3];
16.43/6.18	1417[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1417[label="",style="solid", color="blue", weight=9];
16.43/6.18	1417 -> 723[label="",style="solid", color="blue", weight=3];
16.43/6.18	1418[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];706 -> 1418[label="",style="solid", color="blue", weight=9];
16.43/6.18	1418 -> 724[label="",style="solid", color="blue", weight=3];
16.43/6.18	707[label="yv33",fontsize=16,color="green",shape="box"];708[label="yv32",fontsize=16,color="green",shape="box"];709[label="yv10",fontsize=16,color="green",shape="box"];710[label="yv111",fontsize=16,color="green",shape="box"];705[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv40) yv41 foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 yv43 (numericEnumFrom $! Pos yv44 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="triangle"];1419[label="yv41/False",fontsize=10,color="white",style="solid",shape="box"];705 -> 1419[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1419 -> 725[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1420[label="yv41/True",fontsize=10,color="white",style="solid",shape="box"];705 -> 1420[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1420 -> 726[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	711[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1421[label="yv10/()",fontsize=10,color="white",style="solid",shape="box"];711 -> 1421[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1421 -> 727[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	712[label="yv10 == yv110",fontsize=16,color="black",shape="triangle"];712 -> 728[label="",style="solid", color="black", weight=3];
16.43/6.18	713[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1422[label="yv10/False",fontsize=10,color="white",style="solid",shape="box"];713 -> 1422[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1422 -> 729[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1423[label="yv10/True",fontsize=10,color="white",style="solid",shape="box"];713 -> 1423[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1423 -> 730[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	714[label="yv10 == yv110",fontsize=16,color="black",shape="triangle"];714 -> 731[label="",style="solid", color="black", weight=3];
16.43/6.18	715[label="yv10 == yv110",fontsize=16,color="black",shape="triangle"];715 -> 732[label="",style="solid", color="black", weight=3];
16.43/6.18	716[label="yv10 == yv110",fontsize=16,color="black",shape="triangle"];716 -> 733[label="",style="solid", color="black", weight=3];
16.43/6.18	717[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1424[label="yv10/(yv100,yv101,yv102)",fontsize=10,color="white",style="solid",shape="box"];717 -> 1424[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1424 -> 734[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	718[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1425[label="yv10/(yv100,yv101)",fontsize=10,color="white",style="solid",shape="box"];718 -> 1425[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1425 -> 735[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	719[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1426[label="yv10/yv100 :% yv101",fontsize=10,color="white",style="solid",shape="box"];719 -> 1426[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1426 -> 736[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	720[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1427[label="yv10/Integer yv100",fontsize=10,color="white",style="solid",shape="box"];720 -> 1427[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1427 -> 737[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	721[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1428[label="yv10/yv100 : yv101",fontsize=10,color="white",style="solid",shape="box"];721 -> 1428[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1428 -> 738[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1429[label="yv10/[]",fontsize=10,color="white",style="solid",shape="box"];721 -> 1429[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1429 -> 739[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	722[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1430[label="yv10/LT",fontsize=10,color="white",style="solid",shape="box"];722 -> 1430[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1430 -> 740[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1431[label="yv10/EQ",fontsize=10,color="white",style="solid",shape="box"];722 -> 1431[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1431 -> 741[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1432[label="yv10/GT",fontsize=10,color="white",style="solid",shape="box"];722 -> 1432[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1432 -> 742[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	723[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1433[label="yv10/Left yv100",fontsize=10,color="white",style="solid",shape="box"];723 -> 1433[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1433 -> 743[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1434[label="yv10/Right yv100",fontsize=10,color="white",style="solid",shape="box"];723 -> 1434[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1434 -> 744[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	724[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1435[label="yv10/Nothing",fontsize=10,color="white",style="solid",shape="box"];724 -> 1435[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1435 -> 745[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1436[label="yv10/Just yv100",fontsize=10,color="white",style="solid",shape="box"];724 -> 1436[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1436 -> 746[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	725[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv40) False foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 yv43 (numericEnumFrom $! Pos yv44 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];725 -> 747[label="",style="solid", color="black", weight=3];
16.43/6.18	726[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv40) True foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 yv43 (numericEnumFrom $! Pos yv44 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];726 -> 748[label="",style="solid", color="black", weight=3];
16.43/6.18	727[label="() == yv110",fontsize=16,color="burlywood",shape="box"];1437[label="yv110/()",fontsize=10,color="white",style="solid",shape="box"];727 -> 1437[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1437 -> 749[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	728[label="primEqFloat yv10 yv110",fontsize=16,color="burlywood",shape="box"];1438[label="yv10/Float yv100 yv101",fontsize=10,color="white",style="solid",shape="box"];728 -> 1438[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1438 -> 750[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	729[label="False == yv110",fontsize=16,color="burlywood",shape="box"];1439[label="yv110/False",fontsize=10,color="white",style="solid",shape="box"];729 -> 1439[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1439 -> 751[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1440[label="yv110/True",fontsize=10,color="white",style="solid",shape="box"];729 -> 1440[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1440 -> 752[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	730[label="True == yv110",fontsize=16,color="burlywood",shape="box"];1441[label="yv110/False",fontsize=10,color="white",style="solid",shape="box"];730 -> 1441[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1441 -> 753[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1442[label="yv110/True",fontsize=10,color="white",style="solid",shape="box"];730 -> 1442[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1442 -> 754[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	731[label="primEqDouble yv10 yv110",fontsize=16,color="burlywood",shape="box"];1443[label="yv10/Double yv100 yv101",fontsize=10,color="white",style="solid",shape="box"];731 -> 1443[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1443 -> 755[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	732[label="primEqInt yv10 yv110",fontsize=16,color="burlywood",shape="triangle"];1444[label="yv10/Pos yv100",fontsize=10,color="white",style="solid",shape="box"];732 -> 1444[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1444 -> 756[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1445[label="yv10/Neg yv100",fontsize=10,color="white",style="solid",shape="box"];732 -> 1445[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1445 -> 757[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	733[label="primEqChar yv10 yv110",fontsize=16,color="burlywood",shape="box"];1446[label="yv10/Char yv100",fontsize=10,color="white",style="solid",shape="box"];733 -> 1446[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1446 -> 758[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	734[label="(yv100,yv101,yv102) == yv110",fontsize=16,color="burlywood",shape="box"];1447[label="yv110/(yv1100,yv1101,yv1102)",fontsize=10,color="white",style="solid",shape="box"];734 -> 1447[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1447 -> 759[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	735[label="(yv100,yv101) == yv110",fontsize=16,color="burlywood",shape="box"];1448[label="yv110/(yv1100,yv1101)",fontsize=10,color="white",style="solid",shape="box"];735 -> 1448[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1448 -> 760[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	736[label="yv100 :% yv101 == yv110",fontsize=16,color="burlywood",shape="box"];1449[label="yv110/yv1100 :% yv1101",fontsize=10,color="white",style="solid",shape="box"];736 -> 1449[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1449 -> 761[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	737[label="Integer yv100 == yv110",fontsize=16,color="burlywood",shape="box"];1450[label="yv110/Integer yv1100",fontsize=10,color="white",style="solid",shape="box"];737 -> 1450[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1450 -> 762[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	738[label="yv100 : yv101 == yv110",fontsize=16,color="burlywood",shape="box"];1451[label="yv110/yv1100 : yv1101",fontsize=10,color="white",style="solid",shape="box"];738 -> 1451[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1451 -> 763[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1452[label="yv110/[]",fontsize=10,color="white",style="solid",shape="box"];738 -> 1452[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1452 -> 764[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	739[label="[] == yv110",fontsize=16,color="burlywood",shape="box"];1453[label="yv110/yv1100 : yv1101",fontsize=10,color="white",style="solid",shape="box"];739 -> 1453[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1453 -> 765[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1454[label="yv110/[]",fontsize=10,color="white",style="solid",shape="box"];739 -> 1454[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1454 -> 766[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	740[label="LT == yv110",fontsize=16,color="burlywood",shape="box"];1455[label="yv110/LT",fontsize=10,color="white",style="solid",shape="box"];740 -> 1455[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1455 -> 767[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1456[label="yv110/EQ",fontsize=10,color="white",style="solid",shape="box"];740 -> 1456[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1456 -> 768[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1457[label="yv110/GT",fontsize=10,color="white",style="solid",shape="box"];740 -> 1457[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1457 -> 769[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	741[label="EQ == yv110",fontsize=16,color="burlywood",shape="box"];1458[label="yv110/LT",fontsize=10,color="white",style="solid",shape="box"];741 -> 1458[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1458 -> 770[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1459[label="yv110/EQ",fontsize=10,color="white",style="solid",shape="box"];741 -> 1459[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1459 -> 771[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1460[label="yv110/GT",fontsize=10,color="white",style="solid",shape="box"];741 -> 1460[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1460 -> 772[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	742[label="GT == yv110",fontsize=16,color="burlywood",shape="box"];1461[label="yv110/LT",fontsize=10,color="white",style="solid",shape="box"];742 -> 1461[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1461 -> 773[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1462[label="yv110/EQ",fontsize=10,color="white",style="solid",shape="box"];742 -> 1462[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1462 -> 774[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1463[label="yv110/GT",fontsize=10,color="white",style="solid",shape="box"];742 -> 1463[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1463 -> 775[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	743[label="Left yv100 == yv110",fontsize=16,color="burlywood",shape="box"];1464[label="yv110/Left yv1100",fontsize=10,color="white",style="solid",shape="box"];743 -> 1464[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1464 -> 776[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1465[label="yv110/Right yv1100",fontsize=10,color="white",style="solid",shape="box"];743 -> 1465[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1465 -> 777[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	744[label="Right yv100 == yv110",fontsize=16,color="burlywood",shape="box"];1466[label="yv110/Left yv1100",fontsize=10,color="white",style="solid",shape="box"];744 -> 1466[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1466 -> 778[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1467[label="yv110/Right yv1100",fontsize=10,color="white",style="solid",shape="box"];744 -> 1467[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1467 -> 779[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	745[label="Nothing == yv110",fontsize=16,color="burlywood",shape="box"];1468[label="yv110/Nothing",fontsize=10,color="white",style="solid",shape="box"];745 -> 1468[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1468 -> 780[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1469[label="yv110/Just yv1100",fontsize=10,color="white",style="solid",shape="box"];745 -> 1469[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1469 -> 781[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	746[label="Just yv100 == yv110",fontsize=16,color="burlywood",shape="box"];1470[label="yv110/Nothing",fontsize=10,color="white",style="solid",shape="box"];746 -> 1470[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1470 -> 782[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1471[label="yv110/Just yv1100",fontsize=10,color="white",style="solid",shape="box"];746 -> 1471[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1471 -> 783[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	747[label="Maybe.listToMaybe ((++) [] foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 yv43 (numericEnumFrom $! Pos yv44 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];747 -> 784[label="",style="solid", color="black", weight=3];
16.43/6.18	748[label="Maybe.listToMaybe ((++) (Pos yv40 : []) foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 yv43 (numericEnumFrom $! Pos yv44 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];748 -> 785[label="",style="solid", color="black", weight=3];
16.43/6.18	749[label="() == ()",fontsize=16,color="black",shape="box"];749 -> 786[label="",style="solid", color="black", weight=3];
16.43/6.18	750[label="primEqFloat (Float yv100 yv101) yv110",fontsize=16,color="burlywood",shape="box"];1472[label="yv110/Float yv1100 yv1101",fontsize=10,color="white",style="solid",shape="box"];750 -> 1472[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1472 -> 787[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	751[label="False == False",fontsize=16,color="black",shape="box"];751 -> 788[label="",style="solid", color="black", weight=3];
16.43/6.18	752[label="False == True",fontsize=16,color="black",shape="box"];752 -> 789[label="",style="solid", color="black", weight=3];
16.43/6.18	753[label="True == False",fontsize=16,color="black",shape="box"];753 -> 790[label="",style="solid", color="black", weight=3];
16.43/6.18	754[label="True == True",fontsize=16,color="black",shape="box"];754 -> 791[label="",style="solid", color="black", weight=3];
16.43/6.18	755[label="primEqDouble (Double yv100 yv101) yv110",fontsize=16,color="burlywood",shape="box"];1473[label="yv110/Double yv1100 yv1101",fontsize=10,color="white",style="solid",shape="box"];755 -> 1473[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1473 -> 792[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	756[label="primEqInt (Pos yv100) yv110",fontsize=16,color="burlywood",shape="box"];1474[label="yv100/Succ yv1000",fontsize=10,color="white",style="solid",shape="box"];756 -> 1474[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1474 -> 793[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1475[label="yv100/Zero",fontsize=10,color="white",style="solid",shape="box"];756 -> 1475[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1475 -> 794[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	757[label="primEqInt (Neg yv100) yv110",fontsize=16,color="burlywood",shape="box"];1476[label="yv100/Succ yv1000",fontsize=10,color="white",style="solid",shape="box"];757 -> 1476[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1476 -> 795[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1477[label="yv100/Zero",fontsize=10,color="white",style="solid",shape="box"];757 -> 1477[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1477 -> 796[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	758[label="primEqChar (Char yv100) yv110",fontsize=16,color="burlywood",shape="box"];1478[label="yv110/Char yv1100",fontsize=10,color="white",style="solid",shape="box"];758 -> 1478[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1478 -> 797[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	759[label="(yv100,yv101,yv102) == (yv1100,yv1101,yv1102)",fontsize=16,color="black",shape="box"];759 -> 798[label="",style="solid", color="black", weight=3];
16.43/6.18	760[label="(yv100,yv101) == (yv1100,yv1101)",fontsize=16,color="black",shape="box"];760 -> 799[label="",style="solid", color="black", weight=3];
16.43/6.18	761[label="yv100 :% yv101 == yv1100 :% yv1101",fontsize=16,color="black",shape="box"];761 -> 800[label="",style="solid", color="black", weight=3];
16.43/6.18	762[label="Integer yv100 == Integer yv1100",fontsize=16,color="black",shape="box"];762 -> 801[label="",style="solid", color="black", weight=3];
16.43/6.18	763[label="yv100 : yv101 == yv1100 : yv1101",fontsize=16,color="black",shape="box"];763 -> 802[label="",style="solid", color="black", weight=3];
16.43/6.18	764[label="yv100 : yv101 == []",fontsize=16,color="black",shape="box"];764 -> 803[label="",style="solid", color="black", weight=3];
16.43/6.18	765[label="[] == yv1100 : yv1101",fontsize=16,color="black",shape="box"];765 -> 804[label="",style="solid", color="black", weight=3];
16.43/6.18	766[label="[] == []",fontsize=16,color="black",shape="box"];766 -> 805[label="",style="solid", color="black", weight=3];
16.43/6.18	767[label="LT == LT",fontsize=16,color="black",shape="box"];767 -> 806[label="",style="solid", color="black", weight=3];
16.43/6.18	768[label="LT == EQ",fontsize=16,color="black",shape="box"];768 -> 807[label="",style="solid", color="black", weight=3];
16.43/6.18	769[label="LT == GT",fontsize=16,color="black",shape="box"];769 -> 808[label="",style="solid", color="black", weight=3];
16.43/6.18	770[label="EQ == LT",fontsize=16,color="black",shape="box"];770 -> 809[label="",style="solid", color="black", weight=3];
16.43/6.18	771[label="EQ == EQ",fontsize=16,color="black",shape="box"];771 -> 810[label="",style="solid", color="black", weight=3];
16.43/6.18	772[label="EQ == GT",fontsize=16,color="black",shape="box"];772 -> 811[label="",style="solid", color="black", weight=3];
16.43/6.18	773[label="GT == LT",fontsize=16,color="black",shape="box"];773 -> 812[label="",style="solid", color="black", weight=3];
16.43/6.18	774[label="GT == EQ",fontsize=16,color="black",shape="box"];774 -> 813[label="",style="solid", color="black", weight=3];
16.43/6.18	775[label="GT == GT",fontsize=16,color="black",shape="box"];775 -> 814[label="",style="solid", color="black", weight=3];
16.43/6.18	776[label="Left yv100 == Left yv1100",fontsize=16,color="black",shape="box"];776 -> 815[label="",style="solid", color="black", weight=3];
16.43/6.18	777[label="Left yv100 == Right yv1100",fontsize=16,color="black",shape="box"];777 -> 816[label="",style="solid", color="black", weight=3];
16.43/6.18	778[label="Right yv100 == Left yv1100",fontsize=16,color="black",shape="box"];778 -> 817[label="",style="solid", color="black", weight=3];
16.43/6.18	779[label="Right yv100 == Right yv1100",fontsize=16,color="black",shape="box"];779 -> 818[label="",style="solid", color="black", weight=3];
16.43/6.18	780[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];780 -> 819[label="",style="solid", color="black", weight=3];
16.43/6.18	781[label="Nothing == Just yv1100",fontsize=16,color="black",shape="box"];781 -> 820[label="",style="solid", color="black", weight=3];
16.43/6.18	782[label="Just yv100 == Nothing",fontsize=16,color="black",shape="box"];782 -> 821[label="",style="solid", color="black", weight=3];
16.43/6.18	783[label="Just yv100 == Just yv1100",fontsize=16,color="black",shape="box"];783 -> 822[label="",style="solid", color="black", weight=3];
16.43/6.18	784[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 yv43 (numericEnumFrom $! Pos yv44 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];1479[label="yv43/yv430 : yv431",fontsize=10,color="white",style="solid",shape="box"];784 -> 1479[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1479 -> 823[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1480[label="yv43/[]",fontsize=10,color="white",style="solid",shape="box"];784 -> 1480[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1480 -> 824[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	785[label="Maybe.listToMaybe (Pos yv40 : [] ++ foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 yv43 (numericEnumFrom $! Pos yv44 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];785 -> 825[label="",style="solid", color="black", weight=3];
16.43/6.18	786[label="True",fontsize=16,color="green",shape="box"];787[label="primEqFloat (Float yv100 yv101) (Float yv1100 yv1101)",fontsize=16,color="black",shape="box"];787 -> 826[label="",style="solid", color="black", weight=3];
16.43/6.18	788[label="True",fontsize=16,color="green",shape="box"];789[label="False",fontsize=16,color="green",shape="box"];790[label="False",fontsize=16,color="green",shape="box"];791[label="True",fontsize=16,color="green",shape="box"];792[label="primEqDouble (Double yv100 yv101) (Double yv1100 yv1101)",fontsize=16,color="black",shape="box"];792 -> 827[label="",style="solid", color="black", weight=3];
16.43/6.18	793[label="primEqInt (Pos (Succ yv1000)) yv110",fontsize=16,color="burlywood",shape="box"];1481[label="yv110/Pos yv1100",fontsize=10,color="white",style="solid",shape="box"];793 -> 1481[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1481 -> 828[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1482[label="yv110/Neg yv1100",fontsize=10,color="white",style="solid",shape="box"];793 -> 1482[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1482 -> 829[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	794[label="primEqInt (Pos Zero) yv110",fontsize=16,color="burlywood",shape="box"];1483[label="yv110/Pos yv1100",fontsize=10,color="white",style="solid",shape="box"];794 -> 1483[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1483 -> 830[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1484[label="yv110/Neg yv1100",fontsize=10,color="white",style="solid",shape="box"];794 -> 1484[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1484 -> 831[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	795[label="primEqInt (Neg (Succ yv1000)) yv110",fontsize=16,color="burlywood",shape="box"];1485[label="yv110/Pos yv1100",fontsize=10,color="white",style="solid",shape="box"];795 -> 1485[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1485 -> 832[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1486[label="yv110/Neg yv1100",fontsize=10,color="white",style="solid",shape="box"];795 -> 1486[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1486 -> 833[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	796[label="primEqInt (Neg Zero) yv110",fontsize=16,color="burlywood",shape="box"];1487[label="yv110/Pos yv1100",fontsize=10,color="white",style="solid",shape="box"];796 -> 1487[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1487 -> 834[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1488[label="yv110/Neg yv1100",fontsize=10,color="white",style="solid",shape="box"];796 -> 1488[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1488 -> 835[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	797[label="primEqChar (Char yv100) (Char yv1100)",fontsize=16,color="black",shape="box"];797 -> 836[label="",style="solid", color="black", weight=3];
16.43/6.18	798 -> 933[label="",style="dashed", color="red", weight=0];
16.43/6.18	798[label="yv100 == yv1100 && yv101 == yv1101 && yv102 == yv1102",fontsize=16,color="magenta"];798 -> 934[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	798 -> 935[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	799 -> 933[label="",style="dashed", color="red", weight=0];
16.43/6.18	799[label="yv100 == yv1100 && yv101 == yv1101",fontsize=16,color="magenta"];799 -> 936[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	799 -> 937[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	800 -> 933[label="",style="dashed", color="red", weight=0];
16.43/6.18	800[label="yv100 == yv1100 && yv101 == yv1101",fontsize=16,color="magenta"];800 -> 938[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	800 -> 939[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	801 -> 732[label="",style="dashed", color="red", weight=0];
16.43/6.18	801[label="primEqInt yv100 yv1100",fontsize=16,color="magenta"];801 -> 853[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	801 -> 854[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	802 -> 933[label="",style="dashed", color="red", weight=0];
16.43/6.18	802[label="yv100 == yv1100 && yv101 == yv1101",fontsize=16,color="magenta"];802 -> 940[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	802 -> 941[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	803[label="False",fontsize=16,color="green",shape="box"];804[label="False",fontsize=16,color="green",shape="box"];805[label="True",fontsize=16,color="green",shape="box"];806[label="True",fontsize=16,color="green",shape="box"];807[label="False",fontsize=16,color="green",shape="box"];808[label="False",fontsize=16,color="green",shape="box"];809[label="False",fontsize=16,color="green",shape="box"];810[label="True",fontsize=16,color="green",shape="box"];811[label="False",fontsize=16,color="green",shape="box"];812[label="False",fontsize=16,color="green",shape="box"];813[label="False",fontsize=16,color="green",shape="box"];814[label="True",fontsize=16,color="green",shape="box"];815[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1489[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1489[label="",style="solid", color="blue", weight=9];
16.43/6.18	1489 -> 855[label="",style="solid", color="blue", weight=3];
16.43/6.18	1490[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1490[label="",style="solid", color="blue", weight=9];
16.43/6.18	1490 -> 856[label="",style="solid", color="blue", weight=3];
16.43/6.18	1491[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1491[label="",style="solid", color="blue", weight=9];
16.43/6.18	1491 -> 857[label="",style="solid", color="blue", weight=3];
16.43/6.18	1492[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1492[label="",style="solid", color="blue", weight=9];
16.43/6.18	1492 -> 858[label="",style="solid", color="blue", weight=3];
16.43/6.18	1493[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1493[label="",style="solid", color="blue", weight=9];
16.43/6.18	1493 -> 859[label="",style="solid", color="blue", weight=3];
16.43/6.18	1494[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1494[label="",style="solid", color="blue", weight=9];
16.43/6.18	1494 -> 860[label="",style="solid", color="blue", weight=3];
16.43/6.18	1495[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1495[label="",style="solid", color="blue", weight=9];
16.43/6.18	1495 -> 861[label="",style="solid", color="blue", weight=3];
16.43/6.18	1496[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1496[label="",style="solid", color="blue", weight=9];
16.43/6.18	1496 -> 862[label="",style="solid", color="blue", weight=3];
16.43/6.18	1497[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1497[label="",style="solid", color="blue", weight=9];
16.43/6.18	1497 -> 863[label="",style="solid", color="blue", weight=3];
16.43/6.18	1498[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1498[label="",style="solid", color="blue", weight=9];
16.43/6.18	1498 -> 864[label="",style="solid", color="blue", weight=3];
16.43/6.18	1499[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1499[label="",style="solid", color="blue", weight=9];
16.43/6.18	1499 -> 865[label="",style="solid", color="blue", weight=3];
16.43/6.18	1500[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1500[label="",style="solid", color="blue", weight=9];
16.43/6.18	1500 -> 866[label="",style="solid", color="blue", weight=3];
16.43/6.18	1501[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1501[label="",style="solid", color="blue", weight=9];
16.43/6.18	1501 -> 867[label="",style="solid", color="blue", weight=3];
16.43/6.18	1502[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];815 -> 1502[label="",style="solid", color="blue", weight=9];
16.43/6.18	1502 -> 868[label="",style="solid", color="blue", weight=3];
16.43/6.18	816[label="False",fontsize=16,color="green",shape="box"];817[label="False",fontsize=16,color="green",shape="box"];818[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1503[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1503[label="",style="solid", color="blue", weight=9];
16.43/6.18	1503 -> 869[label="",style="solid", color="blue", weight=3];
16.43/6.18	1504[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1504[label="",style="solid", color="blue", weight=9];
16.43/6.18	1504 -> 870[label="",style="solid", color="blue", weight=3];
16.43/6.18	1505[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1505[label="",style="solid", color="blue", weight=9];
16.43/6.18	1505 -> 871[label="",style="solid", color="blue", weight=3];
16.43/6.18	1506[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1506[label="",style="solid", color="blue", weight=9];
16.43/6.18	1506 -> 872[label="",style="solid", color="blue", weight=3];
16.43/6.18	1507[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1507[label="",style="solid", color="blue", weight=9];
16.43/6.18	1507 -> 873[label="",style="solid", color="blue", weight=3];
16.43/6.18	1508[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1508[label="",style="solid", color="blue", weight=9];
16.43/6.18	1508 -> 874[label="",style="solid", color="blue", weight=3];
16.43/6.18	1509[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1509[label="",style="solid", color="blue", weight=9];
16.43/6.18	1509 -> 875[label="",style="solid", color="blue", weight=3];
16.43/6.18	1510[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1510[label="",style="solid", color="blue", weight=9];
16.43/6.18	1510 -> 876[label="",style="solid", color="blue", weight=3];
16.43/6.18	1511[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1511[label="",style="solid", color="blue", weight=9];
16.43/6.18	1511 -> 877[label="",style="solid", color="blue", weight=3];
16.43/6.18	1512[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1512[label="",style="solid", color="blue", weight=9];
16.43/6.18	1512 -> 878[label="",style="solid", color="blue", weight=3];
16.43/6.18	1513[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1513[label="",style="solid", color="blue", weight=9];
16.43/6.18	1513 -> 879[label="",style="solid", color="blue", weight=3];
16.43/6.18	1514[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1514[label="",style="solid", color="blue", weight=9];
16.43/6.18	1514 -> 880[label="",style="solid", color="blue", weight=3];
16.43/6.18	1515[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1515[label="",style="solid", color="blue", weight=9];
16.43/6.18	1515 -> 881[label="",style="solid", color="blue", weight=3];
16.43/6.18	1516[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];818 -> 1516[label="",style="solid", color="blue", weight=9];
16.43/6.18	1516 -> 882[label="",style="solid", color="blue", weight=3];
16.43/6.18	819[label="True",fontsize=16,color="green",shape="box"];820[label="False",fontsize=16,color="green",shape="box"];821[label="False",fontsize=16,color="green",shape="box"];822[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1517[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1517[label="",style="solid", color="blue", weight=9];
16.43/6.18	1517 -> 883[label="",style="solid", color="blue", weight=3];
16.43/6.18	1518[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1518[label="",style="solid", color="blue", weight=9];
16.43/6.18	1518 -> 884[label="",style="solid", color="blue", weight=3];
16.43/6.18	1519[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1519[label="",style="solid", color="blue", weight=9];
16.43/6.18	1519 -> 885[label="",style="solid", color="blue", weight=3];
16.43/6.18	1520[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1520[label="",style="solid", color="blue", weight=9];
16.43/6.18	1520 -> 886[label="",style="solid", color="blue", weight=3];
16.43/6.18	1521[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1521[label="",style="solid", color="blue", weight=9];
16.43/6.18	1521 -> 887[label="",style="solid", color="blue", weight=3];
16.43/6.18	1522[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1522[label="",style="solid", color="blue", weight=9];
16.43/6.18	1522 -> 888[label="",style="solid", color="blue", weight=3];
16.43/6.18	1523[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1523[label="",style="solid", color="blue", weight=9];
16.43/6.18	1523 -> 889[label="",style="solid", color="blue", weight=3];
16.43/6.18	1524[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1524[label="",style="solid", color="blue", weight=9];
16.43/6.18	1524 -> 890[label="",style="solid", color="blue", weight=3];
16.43/6.18	1525[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1525[label="",style="solid", color="blue", weight=9];
16.43/6.18	1525 -> 891[label="",style="solid", color="blue", weight=3];
16.43/6.18	1526[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1526[label="",style="solid", color="blue", weight=9];
16.43/6.18	1526 -> 892[label="",style="solid", color="blue", weight=3];
16.43/6.18	1527[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1527[label="",style="solid", color="blue", weight=9];
16.43/6.18	1527 -> 893[label="",style="solid", color="blue", weight=3];
16.43/6.18	1528[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1528[label="",style="solid", color="blue", weight=9];
16.43/6.18	1528 -> 894[label="",style="solid", color="blue", weight=3];
16.43/6.18	1529[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1529[label="",style="solid", color="blue", weight=9];
16.43/6.18	1529 -> 895[label="",style="solid", color="blue", weight=3];
16.43/6.18	1530[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];822 -> 1530[label="",style="solid", color="blue", weight=9];
16.43/6.18	1530 -> 896[label="",style="solid", color="blue", weight=3];
16.43/6.18	823[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 (yv430 : yv431) (numericEnumFrom $! Pos yv44 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];823 -> 897[label="",style="solid", color="black", weight=3];
16.43/6.18	824[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yv44 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];824 -> 898[label="",style="solid", color="black", weight=3];
16.43/6.18	825[label="Just (Pos yv40)",fontsize=16,color="green",shape="box"];826 -> 715[label="",style="dashed", color="red", weight=0];
16.43/6.18	826[label="yv100 * yv1101 == yv101 * yv1100",fontsize=16,color="magenta"];826 -> 899[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	826 -> 900[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	827 -> 715[label="",style="dashed", color="red", weight=0];
16.43/6.18	827[label="yv100 * yv1101 == yv101 * yv1100",fontsize=16,color="magenta"];827 -> 901[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	827 -> 902[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	828[label="primEqInt (Pos (Succ yv1000)) (Pos yv1100)",fontsize=16,color="burlywood",shape="box"];1531[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];828 -> 1531[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1531 -> 903[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1532[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];828 -> 1532[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1532 -> 904[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	829[label="primEqInt (Pos (Succ yv1000)) (Neg yv1100)",fontsize=16,color="black",shape="box"];829 -> 905[label="",style="solid", color="black", weight=3];
16.43/6.18	830[label="primEqInt (Pos Zero) (Pos yv1100)",fontsize=16,color="burlywood",shape="box"];1533[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];830 -> 1533[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1533 -> 906[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1534[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];830 -> 1534[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1534 -> 907[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	831[label="primEqInt (Pos Zero) (Neg yv1100)",fontsize=16,color="burlywood",shape="box"];1535[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];831 -> 1535[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1535 -> 908[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1536[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];831 -> 1536[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1536 -> 909[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	832[label="primEqInt (Neg (Succ yv1000)) (Pos yv1100)",fontsize=16,color="black",shape="box"];832 -> 910[label="",style="solid", color="black", weight=3];
16.43/6.18	833[label="primEqInt (Neg (Succ yv1000)) (Neg yv1100)",fontsize=16,color="burlywood",shape="box"];1537[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];833 -> 1537[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1537 -> 911[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1538[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];833 -> 1538[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1538 -> 912[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	834[label="primEqInt (Neg Zero) (Pos yv1100)",fontsize=16,color="burlywood",shape="box"];1539[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];834 -> 1539[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1539 -> 913[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1540[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];834 -> 1540[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1540 -> 914[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	835[label="primEqInt (Neg Zero) (Neg yv1100)",fontsize=16,color="burlywood",shape="box"];1541[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];835 -> 1541[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1541 -> 915[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1542[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];835 -> 1542[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1542 -> 916[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	836[label="primEqNat yv100 yv1100",fontsize=16,color="burlywood",shape="triangle"];1543[label="yv100/Succ yv1000",fontsize=10,color="white",style="solid",shape="box"];836 -> 1543[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1543 -> 917[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1544[label="yv100/Zero",fontsize=10,color="white",style="solid",shape="box"];836 -> 1544[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1544 -> 918[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	934[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1545[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1545[label="",style="solid", color="blue", weight=9];
16.43/6.18	1545 -> 945[label="",style="solid", color="blue", weight=3];
16.43/6.18	1546[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1546[label="",style="solid", color="blue", weight=9];
16.43/6.18	1546 -> 946[label="",style="solid", color="blue", weight=3];
16.43/6.18	1547[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1547[label="",style="solid", color="blue", weight=9];
16.43/6.18	1547 -> 947[label="",style="solid", color="blue", weight=3];
16.43/6.18	1548[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1548[label="",style="solid", color="blue", weight=9];
16.43/6.18	1548 -> 948[label="",style="solid", color="blue", weight=3];
16.43/6.18	1549[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1549[label="",style="solid", color="blue", weight=9];
16.43/6.18	1549 -> 949[label="",style="solid", color="blue", weight=3];
16.43/6.18	1550[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1550[label="",style="solid", color="blue", weight=9];
16.43/6.18	1550 -> 950[label="",style="solid", color="blue", weight=3];
16.43/6.18	1551[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1551[label="",style="solid", color="blue", weight=9];
16.43/6.18	1551 -> 951[label="",style="solid", color="blue", weight=3];
16.43/6.18	1552[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1552[label="",style="solid", color="blue", weight=9];
16.43/6.18	1552 -> 952[label="",style="solid", color="blue", weight=3];
16.43/6.18	1553[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1553[label="",style="solid", color="blue", weight=9];
16.43/6.18	1553 -> 953[label="",style="solid", color="blue", weight=3];
16.43/6.18	1554[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1554[label="",style="solid", color="blue", weight=9];
16.43/6.18	1554 -> 954[label="",style="solid", color="blue", weight=3];
16.43/6.18	1555[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1555[label="",style="solid", color="blue", weight=9];
16.43/6.18	1555 -> 955[label="",style="solid", color="blue", weight=3];
16.43/6.18	1556[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1556[label="",style="solid", color="blue", weight=9];
16.43/6.18	1556 -> 956[label="",style="solid", color="blue", weight=3];
16.43/6.18	1557[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1557[label="",style="solid", color="blue", weight=9];
16.43/6.18	1557 -> 957[label="",style="solid", color="blue", weight=3];
16.43/6.18	1558[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1558[label="",style="solid", color="blue", weight=9];
16.43/6.18	1558 -> 958[label="",style="solid", color="blue", weight=3];
16.43/6.18	935 -> 933[label="",style="dashed", color="red", weight=0];
16.43/6.18	935[label="yv101 == yv1101 && yv102 == yv1102",fontsize=16,color="magenta"];935 -> 959[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	935 -> 960[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	933[label="yv51 && yv63",fontsize=16,color="burlywood",shape="triangle"];1559[label="yv51/False",fontsize=10,color="white",style="solid",shape="box"];933 -> 1559[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1559 -> 961[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	1560[label="yv51/True",fontsize=10,color="white",style="solid",shape="box"];933 -> 1560[label="",style="solid", color="burlywood", weight=9];
16.43/6.18	1560 -> 962[label="",style="solid", color="burlywood", weight=3];
16.43/6.18	936[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1561[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1561[label="",style="solid", color="blue", weight=9];
16.43/6.18	1561 -> 963[label="",style="solid", color="blue", weight=3];
16.43/6.18	1562[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1562[label="",style="solid", color="blue", weight=9];
16.43/6.18	1562 -> 964[label="",style="solid", color="blue", weight=3];
16.43/6.18	1563[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1563[label="",style="solid", color="blue", weight=9];
16.43/6.18	1563 -> 965[label="",style="solid", color="blue", weight=3];
16.43/6.18	1564[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1564[label="",style="solid", color="blue", weight=9];
16.43/6.18	1564 -> 966[label="",style="solid", color="blue", weight=3];
16.43/6.18	1565[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1565[label="",style="solid", color="blue", weight=9];
16.43/6.18	1565 -> 967[label="",style="solid", color="blue", weight=3];
16.43/6.18	1566[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1566[label="",style="solid", color="blue", weight=9];
16.43/6.18	1566 -> 968[label="",style="solid", color="blue", weight=3];
16.43/6.18	1567[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1567[label="",style="solid", color="blue", weight=9];
16.43/6.18	1567 -> 969[label="",style="solid", color="blue", weight=3];
16.43/6.18	1568[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1568[label="",style="solid", color="blue", weight=9];
16.43/6.18	1568 -> 970[label="",style="solid", color="blue", weight=3];
16.43/6.18	1569[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1569[label="",style="solid", color="blue", weight=9];
16.43/6.18	1569 -> 971[label="",style="solid", color="blue", weight=3];
16.43/6.18	1570[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1570[label="",style="solid", color="blue", weight=9];
16.43/6.18	1570 -> 972[label="",style="solid", color="blue", weight=3];
16.43/6.18	1571[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1571[label="",style="solid", color="blue", weight=9];
16.43/6.18	1571 -> 973[label="",style="solid", color="blue", weight=3];
16.43/6.18	1572[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1572[label="",style="solid", color="blue", weight=9];
16.43/6.18	1572 -> 974[label="",style="solid", color="blue", weight=3];
16.43/6.18	1573[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1573[label="",style="solid", color="blue", weight=9];
16.43/6.18	1573 -> 975[label="",style="solid", color="blue", weight=3];
16.43/6.18	1574[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1574[label="",style="solid", color="blue", weight=9];
16.43/6.18	1574 -> 976[label="",style="solid", color="blue", weight=3];
16.43/6.18	937[label="yv101 == yv1101",fontsize=16,color="blue",shape="box"];1575[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1575[label="",style="solid", color="blue", weight=9];
16.43/6.18	1575 -> 977[label="",style="solid", color="blue", weight=3];
16.43/6.18	1576[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1576[label="",style="solid", color="blue", weight=9];
16.43/6.18	1576 -> 978[label="",style="solid", color="blue", weight=3];
16.43/6.18	1577[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1577[label="",style="solid", color="blue", weight=9];
16.43/6.18	1577 -> 979[label="",style="solid", color="blue", weight=3];
16.43/6.18	1578[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1578[label="",style="solid", color="blue", weight=9];
16.43/6.18	1578 -> 980[label="",style="solid", color="blue", weight=3];
16.43/6.18	1579[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1579[label="",style="solid", color="blue", weight=9];
16.43/6.18	1579 -> 981[label="",style="solid", color="blue", weight=3];
16.43/6.18	1580[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1580[label="",style="solid", color="blue", weight=9];
16.43/6.18	1580 -> 982[label="",style="solid", color="blue", weight=3];
16.43/6.18	1581[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1581[label="",style="solid", color="blue", weight=9];
16.43/6.18	1581 -> 983[label="",style="solid", color="blue", weight=3];
16.43/6.18	1582[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1582[label="",style="solid", color="blue", weight=9];
16.43/6.18	1582 -> 984[label="",style="solid", color="blue", weight=3];
16.43/6.18	1583[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1583[label="",style="solid", color="blue", weight=9];
16.43/6.18	1583 -> 985[label="",style="solid", color="blue", weight=3];
16.43/6.18	1584[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1584[label="",style="solid", color="blue", weight=9];
16.43/6.18	1584 -> 986[label="",style="solid", color="blue", weight=3];
16.43/6.18	1585[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1585[label="",style="solid", color="blue", weight=9];
16.43/6.18	1585 -> 987[label="",style="solid", color="blue", weight=3];
16.43/6.18	1586[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1586[label="",style="solid", color="blue", weight=9];
16.43/6.18	1586 -> 988[label="",style="solid", color="blue", weight=3];
16.43/6.18	1587[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1587[label="",style="solid", color="blue", weight=9];
16.43/6.18	1587 -> 989[label="",style="solid", color="blue", weight=3];
16.43/6.18	1588[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1588[label="",style="solid", color="blue", weight=9];
16.43/6.18	1588 -> 990[label="",style="solid", color="blue", weight=3];
16.43/6.18	938[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1589[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];938 -> 1589[label="",style="solid", color="blue", weight=9];
16.43/6.18	1589 -> 991[label="",style="solid", color="blue", weight=3];
16.43/6.18	1590[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];938 -> 1590[label="",style="solid", color="blue", weight=9];
16.43/6.18	1590 -> 992[label="",style="solid", color="blue", weight=3];
16.43/6.18	939[label="yv101 == yv1101",fontsize=16,color="blue",shape="box"];1591[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];939 -> 1591[label="",style="solid", color="blue", weight=9];
16.43/6.18	1591 -> 993[label="",style="solid", color="blue", weight=3];
16.43/6.18	1592[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];939 -> 1592[label="",style="solid", color="blue", weight=9];
16.43/6.18	1592 -> 994[label="",style="solid", color="blue", weight=3];
16.43/6.18	853[label="yv1100",fontsize=16,color="green",shape="box"];854[label="yv100",fontsize=16,color="green",shape="box"];940[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1593[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1593[label="",style="solid", color="blue", weight=9];
16.43/6.18	1593 -> 995[label="",style="solid", color="blue", weight=3];
16.43/6.18	1594[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1594[label="",style="solid", color="blue", weight=9];
16.43/6.18	1594 -> 996[label="",style="solid", color="blue", weight=3];
16.43/6.18	1595[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1595[label="",style="solid", color="blue", weight=9];
16.43/6.18	1595 -> 997[label="",style="solid", color="blue", weight=3];
16.43/6.18	1596[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1596[label="",style="solid", color="blue", weight=9];
16.43/6.18	1596 -> 998[label="",style="solid", color="blue", weight=3];
16.43/6.18	1597[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1597[label="",style="solid", color="blue", weight=9];
16.43/6.18	1597 -> 999[label="",style="solid", color="blue", weight=3];
16.43/6.18	1598[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1598[label="",style="solid", color="blue", weight=9];
16.43/6.18	1598 -> 1000[label="",style="solid", color="blue", weight=3];
16.43/6.18	1599[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1599[label="",style="solid", color="blue", weight=9];
16.43/6.18	1599 -> 1001[label="",style="solid", color="blue", weight=3];
16.43/6.18	1600[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1600[label="",style="solid", color="blue", weight=9];
16.43/6.18	1600 -> 1002[label="",style="solid", color="blue", weight=3];
16.43/6.18	1601[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1601[label="",style="solid", color="blue", weight=9];
16.43/6.18	1601 -> 1003[label="",style="solid", color="blue", weight=3];
16.43/6.18	1602[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1602[label="",style="solid", color="blue", weight=9];
16.43/6.18	1602 -> 1004[label="",style="solid", color="blue", weight=3];
16.43/6.18	1603[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1603[label="",style="solid", color="blue", weight=9];
16.43/6.18	1603 -> 1005[label="",style="solid", color="blue", weight=3];
16.43/6.18	1604[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1604[label="",style="solid", color="blue", weight=9];
16.43/6.18	1604 -> 1006[label="",style="solid", color="blue", weight=3];
16.43/6.18	1605[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1605[label="",style="solid", color="blue", weight=9];
16.43/6.18	1605 -> 1007[label="",style="solid", color="blue", weight=3];
16.43/6.18	1606[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];940 -> 1606[label="",style="solid", color="blue", weight=9];
16.43/6.18	1606 -> 1008[label="",style="solid", color="blue", weight=3];
16.43/6.18	941 -> 721[label="",style="dashed", color="red", weight=0];
16.43/6.18	941[label="yv101 == yv1101",fontsize=16,color="magenta"];941 -> 1009[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	941 -> 1010[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	855 -> 711[label="",style="dashed", color="red", weight=0];
16.43/6.18	855[label="yv100 == yv1100",fontsize=16,color="magenta"];855 -> 1011[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	855 -> 1012[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	856 -> 712[label="",style="dashed", color="red", weight=0];
16.43/6.18	856[label="yv100 == yv1100",fontsize=16,color="magenta"];856 -> 1013[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	856 -> 1014[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	857 -> 713[label="",style="dashed", color="red", weight=0];
16.43/6.18	857[label="yv100 == yv1100",fontsize=16,color="magenta"];857 -> 1015[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	857 -> 1016[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	858 -> 714[label="",style="dashed", color="red", weight=0];
16.43/6.18	858[label="yv100 == yv1100",fontsize=16,color="magenta"];858 -> 1017[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	858 -> 1018[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	859 -> 715[label="",style="dashed", color="red", weight=0];
16.43/6.18	859[label="yv100 == yv1100",fontsize=16,color="magenta"];859 -> 1019[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	859 -> 1020[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	860 -> 716[label="",style="dashed", color="red", weight=0];
16.43/6.18	860[label="yv100 == yv1100",fontsize=16,color="magenta"];860 -> 1021[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	860 -> 1022[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	861 -> 717[label="",style="dashed", color="red", weight=0];
16.43/6.18	861[label="yv100 == yv1100",fontsize=16,color="magenta"];861 -> 1023[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	861 -> 1024[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	862 -> 718[label="",style="dashed", color="red", weight=0];
16.43/6.18	862[label="yv100 == yv1100",fontsize=16,color="magenta"];862 -> 1025[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	862 -> 1026[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	863 -> 719[label="",style="dashed", color="red", weight=0];
16.43/6.18	863[label="yv100 == yv1100",fontsize=16,color="magenta"];863 -> 1027[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	863 -> 1028[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	864 -> 720[label="",style="dashed", color="red", weight=0];
16.43/6.18	864[label="yv100 == yv1100",fontsize=16,color="magenta"];864 -> 1029[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	864 -> 1030[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	865 -> 721[label="",style="dashed", color="red", weight=0];
16.43/6.18	865[label="yv100 == yv1100",fontsize=16,color="magenta"];865 -> 1031[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	865 -> 1032[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	866 -> 722[label="",style="dashed", color="red", weight=0];
16.43/6.18	866[label="yv100 == yv1100",fontsize=16,color="magenta"];866 -> 1033[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	866 -> 1034[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	867 -> 723[label="",style="dashed", color="red", weight=0];
16.43/6.18	867[label="yv100 == yv1100",fontsize=16,color="magenta"];867 -> 1035[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	867 -> 1036[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	868 -> 724[label="",style="dashed", color="red", weight=0];
16.43/6.18	868[label="yv100 == yv1100",fontsize=16,color="magenta"];868 -> 1037[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	868 -> 1038[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	869 -> 711[label="",style="dashed", color="red", weight=0];
16.43/6.18	869[label="yv100 == yv1100",fontsize=16,color="magenta"];869 -> 1039[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	869 -> 1040[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	870 -> 712[label="",style="dashed", color="red", weight=0];
16.43/6.18	870[label="yv100 == yv1100",fontsize=16,color="magenta"];870 -> 1041[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	870 -> 1042[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	871 -> 713[label="",style="dashed", color="red", weight=0];
16.43/6.18	871[label="yv100 == yv1100",fontsize=16,color="magenta"];871 -> 1043[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	871 -> 1044[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	872 -> 714[label="",style="dashed", color="red", weight=0];
16.43/6.18	872[label="yv100 == yv1100",fontsize=16,color="magenta"];872 -> 1045[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	872 -> 1046[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	873 -> 715[label="",style="dashed", color="red", weight=0];
16.43/6.18	873[label="yv100 == yv1100",fontsize=16,color="magenta"];873 -> 1047[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	873 -> 1048[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	874 -> 716[label="",style="dashed", color="red", weight=0];
16.43/6.18	874[label="yv100 == yv1100",fontsize=16,color="magenta"];874 -> 1049[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	874 -> 1050[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	875 -> 717[label="",style="dashed", color="red", weight=0];
16.43/6.18	875[label="yv100 == yv1100",fontsize=16,color="magenta"];875 -> 1051[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	875 -> 1052[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	876 -> 718[label="",style="dashed", color="red", weight=0];
16.43/6.18	876[label="yv100 == yv1100",fontsize=16,color="magenta"];876 -> 1053[label="",style="dashed", color="magenta", weight=3];
16.43/6.18	876 -> 1054[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	877 -> 719[label="",style="dashed", color="red", weight=0];
16.43/6.19	877[label="yv100 == yv1100",fontsize=16,color="magenta"];877 -> 1055[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	877 -> 1056[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	878 -> 720[label="",style="dashed", color="red", weight=0];
16.43/6.19	878[label="yv100 == yv1100",fontsize=16,color="magenta"];878 -> 1057[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	878 -> 1058[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	879 -> 721[label="",style="dashed", color="red", weight=0];
16.43/6.19	879[label="yv100 == yv1100",fontsize=16,color="magenta"];879 -> 1059[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	879 -> 1060[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	880 -> 722[label="",style="dashed", color="red", weight=0];
16.43/6.19	880[label="yv100 == yv1100",fontsize=16,color="magenta"];880 -> 1061[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	880 -> 1062[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	881 -> 723[label="",style="dashed", color="red", weight=0];
16.43/6.19	881[label="yv100 == yv1100",fontsize=16,color="magenta"];881 -> 1063[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	881 -> 1064[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	882 -> 724[label="",style="dashed", color="red", weight=0];
16.43/6.19	882[label="yv100 == yv1100",fontsize=16,color="magenta"];882 -> 1065[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	882 -> 1066[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	883 -> 711[label="",style="dashed", color="red", weight=0];
16.43/6.19	883[label="yv100 == yv1100",fontsize=16,color="magenta"];883 -> 1067[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	883 -> 1068[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	884 -> 712[label="",style="dashed", color="red", weight=0];
16.43/6.19	884[label="yv100 == yv1100",fontsize=16,color="magenta"];884 -> 1069[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	884 -> 1070[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	885 -> 713[label="",style="dashed", color="red", weight=0];
16.43/6.19	885[label="yv100 == yv1100",fontsize=16,color="magenta"];885 -> 1071[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	885 -> 1072[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	886 -> 714[label="",style="dashed", color="red", weight=0];
16.43/6.19	886[label="yv100 == yv1100",fontsize=16,color="magenta"];886 -> 1073[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	886 -> 1074[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	887 -> 715[label="",style="dashed", color="red", weight=0];
16.43/6.19	887[label="yv100 == yv1100",fontsize=16,color="magenta"];887 -> 1075[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	887 -> 1076[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	888 -> 716[label="",style="dashed", color="red", weight=0];
16.43/6.19	888[label="yv100 == yv1100",fontsize=16,color="magenta"];888 -> 1077[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	888 -> 1078[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	889 -> 717[label="",style="dashed", color="red", weight=0];
16.43/6.19	889[label="yv100 == yv1100",fontsize=16,color="magenta"];889 -> 1079[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	889 -> 1080[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	890 -> 718[label="",style="dashed", color="red", weight=0];
16.43/6.19	890[label="yv100 == yv1100",fontsize=16,color="magenta"];890 -> 1081[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	890 -> 1082[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	891 -> 719[label="",style="dashed", color="red", weight=0];
16.43/6.19	891[label="yv100 == yv1100",fontsize=16,color="magenta"];891 -> 1083[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	891 -> 1084[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	892 -> 720[label="",style="dashed", color="red", weight=0];
16.43/6.19	892[label="yv100 == yv1100",fontsize=16,color="magenta"];892 -> 1085[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	892 -> 1086[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	893 -> 721[label="",style="dashed", color="red", weight=0];
16.43/6.19	893[label="yv100 == yv1100",fontsize=16,color="magenta"];893 -> 1087[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	893 -> 1088[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	894 -> 722[label="",style="dashed", color="red", weight=0];
16.43/6.19	894[label="yv100 == yv1100",fontsize=16,color="magenta"];894 -> 1089[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	894 -> 1090[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	895 -> 723[label="",style="dashed", color="red", weight=0];
16.43/6.19	895[label="yv100 == yv1100",fontsize=16,color="magenta"];895 -> 1091[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	895 -> 1092[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	896 -> 724[label="",style="dashed", color="red", weight=0];
16.43/6.19	896[label="yv100 == yv1100",fontsize=16,color="magenta"];896 -> 1093[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	896 -> 1094[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	897[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 (yv430 : yv431) (Pos yv44 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yv44 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];897 -> 1095[label="",style="solid", color="black", weight=3];
16.43/6.19	898 -> 16[label="",style="dashed", color="red", weight=0];
16.43/6.19	898[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) []))",fontsize=16,color="magenta"];898 -> 1096[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	899[label="yv101 * yv1100",fontsize=16,color="black",shape="triangle"];899 -> 1097[label="",style="solid", color="black", weight=3];
16.43/6.19	900 -> 899[label="",style="dashed", color="red", weight=0];
16.43/6.19	900[label="yv100 * yv1101",fontsize=16,color="magenta"];900 -> 1098[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	900 -> 1099[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	901 -> 899[label="",style="dashed", color="red", weight=0];
16.43/6.19	901[label="yv101 * yv1100",fontsize=16,color="magenta"];901 -> 1100[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	901 -> 1101[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	902 -> 899[label="",style="dashed", color="red", weight=0];
16.43/6.19	902[label="yv100 * yv1101",fontsize=16,color="magenta"];902 -> 1102[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	902 -> 1103[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	903[label="primEqInt (Pos (Succ yv1000)) (Pos (Succ yv11000))",fontsize=16,color="black",shape="box"];903 -> 1104[label="",style="solid", color="black", weight=3];
16.43/6.19	904[label="primEqInt (Pos (Succ yv1000)) (Pos Zero)",fontsize=16,color="black",shape="box"];904 -> 1105[label="",style="solid", color="black", weight=3];
16.43/6.19	905[label="False",fontsize=16,color="green",shape="box"];906[label="primEqInt (Pos Zero) (Pos (Succ yv11000))",fontsize=16,color="black",shape="box"];906 -> 1106[label="",style="solid", color="black", weight=3];
16.43/6.19	907[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];907 -> 1107[label="",style="solid", color="black", weight=3];
16.43/6.19	908[label="primEqInt (Pos Zero) (Neg (Succ yv11000))",fontsize=16,color="black",shape="box"];908 -> 1108[label="",style="solid", color="black", weight=3];
16.43/6.19	909[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];909 -> 1109[label="",style="solid", color="black", weight=3];
16.43/6.19	910[label="False",fontsize=16,color="green",shape="box"];911[label="primEqInt (Neg (Succ yv1000)) (Neg (Succ yv11000))",fontsize=16,color="black",shape="box"];911 -> 1110[label="",style="solid", color="black", weight=3];
16.43/6.19	912[label="primEqInt (Neg (Succ yv1000)) (Neg Zero)",fontsize=16,color="black",shape="box"];912 -> 1111[label="",style="solid", color="black", weight=3];
16.43/6.19	913[label="primEqInt (Neg Zero) (Pos (Succ yv11000))",fontsize=16,color="black",shape="box"];913 -> 1112[label="",style="solid", color="black", weight=3];
16.43/6.19	914[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];914 -> 1113[label="",style="solid", color="black", weight=3];
16.43/6.19	915[label="primEqInt (Neg Zero) (Neg (Succ yv11000))",fontsize=16,color="black",shape="box"];915 -> 1114[label="",style="solid", color="black", weight=3];
16.43/6.19	916[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];916 -> 1115[label="",style="solid", color="black", weight=3];
16.43/6.19	917[label="primEqNat (Succ yv1000) yv1100",fontsize=16,color="burlywood",shape="box"];1607[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];917 -> 1607[label="",style="solid", color="burlywood", weight=9];
16.43/6.19	1607 -> 1116[label="",style="solid", color="burlywood", weight=3];
16.43/6.19	1608[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];917 -> 1608[label="",style="solid", color="burlywood", weight=9];
16.43/6.19	1608 -> 1117[label="",style="solid", color="burlywood", weight=3];
16.43/6.19	918[label="primEqNat Zero yv1100",fontsize=16,color="burlywood",shape="box"];1609[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];918 -> 1609[label="",style="solid", color="burlywood", weight=9];
16.43/6.19	1609 -> 1118[label="",style="solid", color="burlywood", weight=3];
16.43/6.19	1610[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];918 -> 1610[label="",style="solid", color="burlywood", weight=9];
16.43/6.19	1610 -> 1119[label="",style="solid", color="burlywood", weight=3];
16.43/6.19	945 -> 711[label="",style="dashed", color="red", weight=0];
16.43/6.19	945[label="yv100 == yv1100",fontsize=16,color="magenta"];945 -> 1120[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	945 -> 1121[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	946 -> 712[label="",style="dashed", color="red", weight=0];
16.43/6.19	946[label="yv100 == yv1100",fontsize=16,color="magenta"];946 -> 1122[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	946 -> 1123[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	947 -> 713[label="",style="dashed", color="red", weight=0];
16.43/6.19	947[label="yv100 == yv1100",fontsize=16,color="magenta"];947 -> 1124[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	947 -> 1125[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	948 -> 714[label="",style="dashed", color="red", weight=0];
16.43/6.19	948[label="yv100 == yv1100",fontsize=16,color="magenta"];948 -> 1126[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	948 -> 1127[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	949 -> 715[label="",style="dashed", color="red", weight=0];
16.43/6.19	949[label="yv100 == yv1100",fontsize=16,color="magenta"];949 -> 1128[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	949 -> 1129[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	950 -> 716[label="",style="dashed", color="red", weight=0];
16.43/6.19	950[label="yv100 == yv1100",fontsize=16,color="magenta"];950 -> 1130[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	950 -> 1131[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	951 -> 717[label="",style="dashed", color="red", weight=0];
16.43/6.19	951[label="yv100 == yv1100",fontsize=16,color="magenta"];951 -> 1132[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	951 -> 1133[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	952 -> 718[label="",style="dashed", color="red", weight=0];
16.43/6.19	952[label="yv100 == yv1100",fontsize=16,color="magenta"];952 -> 1134[label="",style="dashed", color="magenta", weight=3];
16.43/6.19	952 -> 1135[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	953 -> 719[label="",style="dashed", color="red", weight=0];
16.69/6.19	953[label="yv100 == yv1100",fontsize=16,color="magenta"];953 -> 1136[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	953 -> 1137[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	954 -> 720[label="",style="dashed", color="red", weight=0];
16.69/6.19	954[label="yv100 == yv1100",fontsize=16,color="magenta"];954 -> 1138[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	954 -> 1139[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	955 -> 721[label="",style="dashed", color="red", weight=0];
16.69/6.19	955[label="yv100 == yv1100",fontsize=16,color="magenta"];955 -> 1140[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	955 -> 1141[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	956 -> 722[label="",style="dashed", color="red", weight=0];
16.69/6.19	956[label="yv100 == yv1100",fontsize=16,color="magenta"];956 -> 1142[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	956 -> 1143[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	957 -> 723[label="",style="dashed", color="red", weight=0];
16.69/6.19	957[label="yv100 == yv1100",fontsize=16,color="magenta"];957 -> 1144[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	957 -> 1145[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	958 -> 724[label="",style="dashed", color="red", weight=0];
16.69/6.19	958[label="yv100 == yv1100",fontsize=16,color="magenta"];958 -> 1146[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	958 -> 1147[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	959[label="yv101 == yv1101",fontsize=16,color="blue",shape="box"];1611[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1611[label="",style="solid", color="blue", weight=9];
16.69/6.19	1611 -> 1148[label="",style="solid", color="blue", weight=3];
16.69/6.19	1612[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1612[label="",style="solid", color="blue", weight=9];
16.69/6.19	1612 -> 1149[label="",style="solid", color="blue", weight=3];
16.69/6.19	1613[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1613[label="",style="solid", color="blue", weight=9];
16.69/6.19	1613 -> 1150[label="",style="solid", color="blue", weight=3];
16.69/6.19	1614[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1614[label="",style="solid", color="blue", weight=9];
16.69/6.19	1614 -> 1151[label="",style="solid", color="blue", weight=3];
16.69/6.19	1615[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1615[label="",style="solid", color="blue", weight=9];
16.69/6.19	1615 -> 1152[label="",style="solid", color="blue", weight=3];
16.69/6.19	1616[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1616[label="",style="solid", color="blue", weight=9];
16.69/6.19	1616 -> 1153[label="",style="solid", color="blue", weight=3];
16.69/6.19	1617[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1617[label="",style="solid", color="blue", weight=9];
16.69/6.19	1617 -> 1154[label="",style="solid", color="blue", weight=3];
16.69/6.19	1618[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1618[label="",style="solid", color="blue", weight=9];
16.69/6.19	1618 -> 1155[label="",style="solid", color="blue", weight=3];
16.69/6.19	1619[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1619[label="",style="solid", color="blue", weight=9];
16.69/6.19	1619 -> 1156[label="",style="solid", color="blue", weight=3];
16.69/6.19	1620[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1620[label="",style="solid", color="blue", weight=9];
16.69/6.19	1620 -> 1157[label="",style="solid", color="blue", weight=3];
16.69/6.19	1621[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1621[label="",style="solid", color="blue", weight=9];
16.69/6.19	1621 -> 1158[label="",style="solid", color="blue", weight=3];
16.69/6.19	1622[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1622[label="",style="solid", color="blue", weight=9];
16.69/6.19	1622 -> 1159[label="",style="solid", color="blue", weight=3];
16.69/6.19	1623[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1623[label="",style="solid", color="blue", weight=9];
16.69/6.19	1623 -> 1160[label="",style="solid", color="blue", weight=3];
16.69/6.19	1624[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];959 -> 1624[label="",style="solid", color="blue", weight=9];
16.69/6.19	1624 -> 1161[label="",style="solid", color="blue", weight=3];
16.69/6.19	960[label="yv102 == yv1102",fontsize=16,color="blue",shape="box"];1625[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1625[label="",style="solid", color="blue", weight=9];
16.69/6.19	1625 -> 1162[label="",style="solid", color="blue", weight=3];
16.69/6.19	1626[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1626[label="",style="solid", color="blue", weight=9];
16.69/6.19	1626 -> 1163[label="",style="solid", color="blue", weight=3];
16.69/6.19	1627[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1627[label="",style="solid", color="blue", weight=9];
16.69/6.19	1627 -> 1164[label="",style="solid", color="blue", weight=3];
16.69/6.19	1628[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1628[label="",style="solid", color="blue", weight=9];
16.69/6.19	1628 -> 1165[label="",style="solid", color="blue", weight=3];
16.69/6.19	1629[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1629[label="",style="solid", color="blue", weight=9];
16.69/6.19	1629 -> 1166[label="",style="solid", color="blue", weight=3];
16.69/6.19	1630[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1630[label="",style="solid", color="blue", weight=9];
16.69/6.19	1630 -> 1167[label="",style="solid", color="blue", weight=3];
16.69/6.19	1631[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1631[label="",style="solid", color="blue", weight=9];
16.69/6.19	1631 -> 1168[label="",style="solid", color="blue", weight=3];
16.69/6.19	1632[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1632[label="",style="solid", color="blue", weight=9];
16.69/6.19	1632 -> 1169[label="",style="solid", color="blue", weight=3];
16.69/6.19	1633[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1633[label="",style="solid", color="blue", weight=9];
16.69/6.19	1633 -> 1170[label="",style="solid", color="blue", weight=3];
16.69/6.19	1634[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1634[label="",style="solid", color="blue", weight=9];
16.69/6.19	1634 -> 1171[label="",style="solid", color="blue", weight=3];
16.69/6.19	1635[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1635[label="",style="solid", color="blue", weight=9];
16.69/6.19	1635 -> 1172[label="",style="solid", color="blue", weight=3];
16.69/6.19	1636[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1636[label="",style="solid", color="blue", weight=9];
16.69/6.19	1636 -> 1173[label="",style="solid", color="blue", weight=3];
16.69/6.19	1637[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1637[label="",style="solid", color="blue", weight=9];
16.69/6.19	1637 -> 1174[label="",style="solid", color="blue", weight=3];
16.69/6.19	1638[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];960 -> 1638[label="",style="solid", color="blue", weight=9];
16.69/6.19	1638 -> 1175[label="",style="solid", color="blue", weight=3];
16.69/6.19	961[label="False && yv63",fontsize=16,color="black",shape="box"];961 -> 1176[label="",style="solid", color="black", weight=3];
16.69/6.19	962[label="True && yv63",fontsize=16,color="black",shape="box"];962 -> 1177[label="",style="solid", color="black", weight=3];
16.69/6.19	963 -> 711[label="",style="dashed", color="red", weight=0];
16.69/6.19	963[label="yv100 == yv1100",fontsize=16,color="magenta"];963 -> 1178[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	963 -> 1179[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	964 -> 712[label="",style="dashed", color="red", weight=0];
16.69/6.19	964[label="yv100 == yv1100",fontsize=16,color="magenta"];964 -> 1180[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	964 -> 1181[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	965 -> 713[label="",style="dashed", color="red", weight=0];
16.69/6.19	965[label="yv100 == yv1100",fontsize=16,color="magenta"];965 -> 1182[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	965 -> 1183[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	966 -> 714[label="",style="dashed", color="red", weight=0];
16.69/6.19	966[label="yv100 == yv1100",fontsize=16,color="magenta"];966 -> 1184[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	966 -> 1185[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	967 -> 715[label="",style="dashed", color="red", weight=0];
16.69/6.19	967[label="yv100 == yv1100",fontsize=16,color="magenta"];967 -> 1186[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	967 -> 1187[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	968 -> 716[label="",style="dashed", color="red", weight=0];
16.69/6.19	968[label="yv100 == yv1100",fontsize=16,color="magenta"];968 -> 1188[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	968 -> 1189[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	969 -> 717[label="",style="dashed", color="red", weight=0];
16.69/6.19	969[label="yv100 == yv1100",fontsize=16,color="magenta"];969 -> 1190[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	969 -> 1191[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	970 -> 718[label="",style="dashed", color="red", weight=0];
16.69/6.19	970[label="yv100 == yv1100",fontsize=16,color="magenta"];970 -> 1192[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	970 -> 1193[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	971 -> 719[label="",style="dashed", color="red", weight=0];
16.69/6.19	971[label="yv100 == yv1100",fontsize=16,color="magenta"];971 -> 1194[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	971 -> 1195[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	972 -> 720[label="",style="dashed", color="red", weight=0];
16.69/6.19	972[label="yv100 == yv1100",fontsize=16,color="magenta"];972 -> 1196[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	972 -> 1197[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	973 -> 721[label="",style="dashed", color="red", weight=0];
16.69/6.19	973[label="yv100 == yv1100",fontsize=16,color="magenta"];973 -> 1198[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	973 -> 1199[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	974 -> 722[label="",style="dashed", color="red", weight=0];
16.69/6.19	974[label="yv100 == yv1100",fontsize=16,color="magenta"];974 -> 1200[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	974 -> 1201[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	975 -> 723[label="",style="dashed", color="red", weight=0];
16.69/6.19	975[label="yv100 == yv1100",fontsize=16,color="magenta"];975 -> 1202[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	975 -> 1203[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	976 -> 724[label="",style="dashed", color="red", weight=0];
16.69/6.19	976[label="yv100 == yv1100",fontsize=16,color="magenta"];976 -> 1204[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	976 -> 1205[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	977 -> 711[label="",style="dashed", color="red", weight=0];
16.69/6.19	977[label="yv101 == yv1101",fontsize=16,color="magenta"];977 -> 1206[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	977 -> 1207[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	978 -> 712[label="",style="dashed", color="red", weight=0];
16.69/6.19	978[label="yv101 == yv1101",fontsize=16,color="magenta"];978 -> 1208[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	978 -> 1209[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	979 -> 713[label="",style="dashed", color="red", weight=0];
16.69/6.19	979[label="yv101 == yv1101",fontsize=16,color="magenta"];979 -> 1210[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	979 -> 1211[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	980 -> 714[label="",style="dashed", color="red", weight=0];
16.69/6.19	980[label="yv101 == yv1101",fontsize=16,color="magenta"];980 -> 1212[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	980 -> 1213[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	981 -> 715[label="",style="dashed", color="red", weight=0];
16.69/6.19	981[label="yv101 == yv1101",fontsize=16,color="magenta"];981 -> 1214[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	981 -> 1215[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	982 -> 716[label="",style="dashed", color="red", weight=0];
16.69/6.19	982[label="yv101 == yv1101",fontsize=16,color="magenta"];982 -> 1216[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	982 -> 1217[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	983 -> 717[label="",style="dashed", color="red", weight=0];
16.69/6.19	983[label="yv101 == yv1101",fontsize=16,color="magenta"];983 -> 1218[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	983 -> 1219[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	984 -> 718[label="",style="dashed", color="red", weight=0];
16.69/6.19	984[label="yv101 == yv1101",fontsize=16,color="magenta"];984 -> 1220[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	984 -> 1221[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	985 -> 719[label="",style="dashed", color="red", weight=0];
16.69/6.19	985[label="yv101 == yv1101",fontsize=16,color="magenta"];985 -> 1222[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	985 -> 1223[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	986 -> 720[label="",style="dashed", color="red", weight=0];
16.69/6.19	986[label="yv101 == yv1101",fontsize=16,color="magenta"];986 -> 1224[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	986 -> 1225[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	987 -> 721[label="",style="dashed", color="red", weight=0];
16.69/6.19	987[label="yv101 == yv1101",fontsize=16,color="magenta"];987 -> 1226[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	987 -> 1227[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	988 -> 722[label="",style="dashed", color="red", weight=0];
16.69/6.19	988[label="yv101 == yv1101",fontsize=16,color="magenta"];988 -> 1228[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	988 -> 1229[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	989 -> 723[label="",style="dashed", color="red", weight=0];
16.69/6.19	989[label="yv101 == yv1101",fontsize=16,color="magenta"];989 -> 1230[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	989 -> 1231[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	990 -> 724[label="",style="dashed", color="red", weight=0];
16.69/6.19	990[label="yv101 == yv1101",fontsize=16,color="magenta"];990 -> 1232[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	990 -> 1233[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	991 -> 715[label="",style="dashed", color="red", weight=0];
16.69/6.19	991[label="yv100 == yv1100",fontsize=16,color="magenta"];991 -> 1234[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	991 -> 1235[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	992 -> 720[label="",style="dashed", color="red", weight=0];
16.69/6.19	992[label="yv100 == yv1100",fontsize=16,color="magenta"];992 -> 1236[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	992 -> 1237[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	993 -> 715[label="",style="dashed", color="red", weight=0];
16.69/6.19	993[label="yv101 == yv1101",fontsize=16,color="magenta"];993 -> 1238[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	993 -> 1239[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	994 -> 720[label="",style="dashed", color="red", weight=0];
16.69/6.19	994[label="yv101 == yv1101",fontsize=16,color="magenta"];994 -> 1240[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	994 -> 1241[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	995 -> 711[label="",style="dashed", color="red", weight=0];
16.69/6.19	995[label="yv100 == yv1100",fontsize=16,color="magenta"];995 -> 1242[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	995 -> 1243[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	996 -> 712[label="",style="dashed", color="red", weight=0];
16.69/6.19	996[label="yv100 == yv1100",fontsize=16,color="magenta"];996 -> 1244[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	996 -> 1245[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	997 -> 713[label="",style="dashed", color="red", weight=0];
16.69/6.19	997[label="yv100 == yv1100",fontsize=16,color="magenta"];997 -> 1246[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	997 -> 1247[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	998 -> 714[label="",style="dashed", color="red", weight=0];
16.69/6.19	998[label="yv100 == yv1100",fontsize=16,color="magenta"];998 -> 1248[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	998 -> 1249[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	999 -> 715[label="",style="dashed", color="red", weight=0];
16.69/6.19	999[label="yv100 == yv1100",fontsize=16,color="magenta"];999 -> 1250[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	999 -> 1251[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1000 -> 716[label="",style="dashed", color="red", weight=0];
16.69/6.19	1000[label="yv100 == yv1100",fontsize=16,color="magenta"];1000 -> 1252[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1000 -> 1253[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1001 -> 717[label="",style="dashed", color="red", weight=0];
16.69/6.19	1001[label="yv100 == yv1100",fontsize=16,color="magenta"];1001 -> 1254[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1001 -> 1255[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1002 -> 718[label="",style="dashed", color="red", weight=0];
16.69/6.19	1002[label="yv100 == yv1100",fontsize=16,color="magenta"];1002 -> 1256[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1002 -> 1257[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1003 -> 719[label="",style="dashed", color="red", weight=0];
16.69/6.19	1003[label="yv100 == yv1100",fontsize=16,color="magenta"];1003 -> 1258[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1003 -> 1259[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1004 -> 720[label="",style="dashed", color="red", weight=0];
16.69/6.19	1004[label="yv100 == yv1100",fontsize=16,color="magenta"];1004 -> 1260[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1004 -> 1261[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1005 -> 721[label="",style="dashed", color="red", weight=0];
16.69/6.19	1005[label="yv100 == yv1100",fontsize=16,color="magenta"];1005 -> 1262[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1005 -> 1263[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1006 -> 722[label="",style="dashed", color="red", weight=0];
16.69/6.19	1006[label="yv100 == yv1100",fontsize=16,color="magenta"];1006 -> 1264[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1006 -> 1265[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1007 -> 723[label="",style="dashed", color="red", weight=0];
16.69/6.19	1007[label="yv100 == yv1100",fontsize=16,color="magenta"];1007 -> 1266[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1007 -> 1267[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1008 -> 724[label="",style="dashed", color="red", weight=0];
16.69/6.19	1008[label="yv100 == yv1100",fontsize=16,color="magenta"];1008 -> 1268[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1008 -> 1269[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1009[label="yv1101",fontsize=16,color="green",shape="box"];1010[label="yv101",fontsize=16,color="green",shape="box"];1011[label="yv1100",fontsize=16,color="green",shape="box"];1012[label="yv100",fontsize=16,color="green",shape="box"];1013[label="yv1100",fontsize=16,color="green",shape="box"];1014[label="yv100",fontsize=16,color="green",shape="box"];1015[label="yv1100",fontsize=16,color="green",shape="box"];1016[label="yv100",fontsize=16,color="green",shape="box"];1017[label="yv1100",fontsize=16,color="green",shape="box"];1018[label="yv100",fontsize=16,color="green",shape="box"];1019[label="yv1100",fontsize=16,color="green",shape="box"];1020[label="yv100",fontsize=16,color="green",shape="box"];1021[label="yv1100",fontsize=16,color="green",shape="box"];1022[label="yv100",fontsize=16,color="green",shape="box"];1023[label="yv1100",fontsize=16,color="green",shape="box"];1024[label="yv100",fontsize=16,color="green",shape="box"];1025[label="yv1100",fontsize=16,color="green",shape="box"];1026[label="yv100",fontsize=16,color="green",shape="box"];1027[label="yv1100",fontsize=16,color="green",shape="box"];1028[label="yv100",fontsize=16,color="green",shape="box"];1029[label="yv1100",fontsize=16,color="green",shape="box"];1030[label="yv100",fontsize=16,color="green",shape="box"];1031[label="yv1100",fontsize=16,color="green",shape="box"];1032[label="yv100",fontsize=16,color="green",shape="box"];1033[label="yv1100",fontsize=16,color="green",shape="box"];1034[label="yv100",fontsize=16,color="green",shape="box"];1035[label="yv1100",fontsize=16,color="green",shape="box"];1036[label="yv100",fontsize=16,color="green",shape="box"];1037[label="yv1100",fontsize=16,color="green",shape="box"];1038[label="yv100",fontsize=16,color="green",shape="box"];1039[label="yv1100",fontsize=16,color="green",shape="box"];1040[label="yv100",fontsize=16,color="green",shape="box"];1041[label="yv1100",fontsize=16,color="green",shape="box"];1042[label="yv100",fontsize=16,color="green",shape="box"];1043[label="yv1100",fontsize=16,color="green",shape="box"];1044[label="yv100",fontsize=16,color="green",shape="box"];1045[label="yv1100",fontsize=16,color="green",shape="box"];1046[label="yv100",fontsize=16,color="green",shape="box"];1047[label="yv1100",fontsize=16,color="green",shape="box"];1048[label="yv100",fontsize=16,color="green",shape="box"];1049[label="yv1100",fontsize=16,color="green",shape="box"];1050[label="yv100",fontsize=16,color="green",shape="box"];1051[label="yv1100",fontsize=16,color="green",shape="box"];1052[label="yv100",fontsize=16,color="green",shape="box"];1053[label="yv1100",fontsize=16,color="green",shape="box"];1054[label="yv100",fontsize=16,color="green",shape="box"];1055[label="yv1100",fontsize=16,color="green",shape="box"];1056[label="yv100",fontsize=16,color="green",shape="box"];1057[label="yv1100",fontsize=16,color="green",shape="box"];1058[label="yv100",fontsize=16,color="green",shape="box"];1059[label="yv1100",fontsize=16,color="green",shape="box"];1060[label="yv100",fontsize=16,color="green",shape="box"];1061[label="yv1100",fontsize=16,color="green",shape="box"];1062[label="yv100",fontsize=16,color="green",shape="box"];1063[label="yv1100",fontsize=16,color="green",shape="box"];1064[label="yv100",fontsize=16,color="green",shape="box"];1065[label="yv1100",fontsize=16,color="green",shape="box"];1066[label="yv100",fontsize=16,color="green",shape="box"];1067[label="yv1100",fontsize=16,color="green",shape="box"];1068[label="yv100",fontsize=16,color="green",shape="box"];1069[label="yv1100",fontsize=16,color="green",shape="box"];1070[label="yv100",fontsize=16,color="green",shape="box"];1071[label="yv1100",fontsize=16,color="green",shape="box"];1072[label="yv100",fontsize=16,color="green",shape="box"];1073[label="yv1100",fontsize=16,color="green",shape="box"];1074[label="yv100",fontsize=16,color="green",shape="box"];1075[label="yv1100",fontsize=16,color="green",shape="box"];1076[label="yv100",fontsize=16,color="green",shape="box"];1077[label="yv1100",fontsize=16,color="green",shape="box"];1078[label="yv100",fontsize=16,color="green",shape="box"];1079[label="yv1100",fontsize=16,color="green",shape="box"];1080[label="yv100",fontsize=16,color="green",shape="box"];1081[label="yv1100",fontsize=16,color="green",shape="box"];1082[label="yv100",fontsize=16,color="green",shape="box"];1083[label="yv1100",fontsize=16,color="green",shape="box"];1084[label="yv100",fontsize=16,color="green",shape="box"];1085[label="yv1100",fontsize=16,color="green",shape="box"];1086[label="yv100",fontsize=16,color="green",shape="box"];1087[label="yv1100",fontsize=16,color="green",shape="box"];1088[label="yv100",fontsize=16,color="green",shape="box"];1089[label="yv1100",fontsize=16,color="green",shape="box"];1090[label="yv100",fontsize=16,color="green",shape="box"];1091[label="yv1100",fontsize=16,color="green",shape="box"];1092[label="yv100",fontsize=16,color="green",shape="box"];1093[label="yv1100",fontsize=16,color="green",shape="box"];1094[label="yv100",fontsize=16,color="green",shape="box"];1095[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 (yv430 : yv431) (enforceWHNF (WHNF (Pos yv44 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yv44 + fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1095 -> 1270[label="",style="solid", color="black", weight=3];
16.69/6.19	1096[label="yv42",fontsize=16,color="green",shape="box"];1097[label="primMulInt yv101 yv1100",fontsize=16,color="burlywood",shape="box"];1639[label="yv101/Pos yv1010",fontsize=10,color="white",style="solid",shape="box"];1097 -> 1639[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1639 -> 1271[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1640[label="yv101/Neg yv1010",fontsize=10,color="white",style="solid",shape="box"];1097 -> 1640[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1640 -> 1272[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1098[label="yv100",fontsize=16,color="green",shape="box"];1099[label="yv1101",fontsize=16,color="green",shape="box"];1100[label="yv101",fontsize=16,color="green",shape="box"];1101[label="yv1100",fontsize=16,color="green",shape="box"];1102[label="yv100",fontsize=16,color="green",shape="box"];1103[label="yv1101",fontsize=16,color="green",shape="box"];1104 -> 836[label="",style="dashed", color="red", weight=0];
16.69/6.19	1104[label="primEqNat yv1000 yv11000",fontsize=16,color="magenta"];1104 -> 1273[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1104 -> 1274[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1105[label="False",fontsize=16,color="green",shape="box"];1106[label="False",fontsize=16,color="green",shape="box"];1107[label="True",fontsize=16,color="green",shape="box"];1108[label="False",fontsize=16,color="green",shape="box"];1109[label="True",fontsize=16,color="green",shape="box"];1110 -> 836[label="",style="dashed", color="red", weight=0];
16.69/6.19	1110[label="primEqNat yv1000 yv11000",fontsize=16,color="magenta"];1110 -> 1275[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1110 -> 1276[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1111[label="False",fontsize=16,color="green",shape="box"];1112[label="False",fontsize=16,color="green",shape="box"];1113[label="True",fontsize=16,color="green",shape="box"];1114[label="False",fontsize=16,color="green",shape="box"];1115[label="True",fontsize=16,color="green",shape="box"];1116[label="primEqNat (Succ yv1000) (Succ yv11000)",fontsize=16,color="black",shape="box"];1116 -> 1277[label="",style="solid", color="black", weight=3];
16.69/6.19	1117[label="primEqNat (Succ yv1000) Zero",fontsize=16,color="black",shape="box"];1117 -> 1278[label="",style="solid", color="black", weight=3];
16.69/6.19	1118[label="primEqNat Zero (Succ yv11000)",fontsize=16,color="black",shape="box"];1118 -> 1279[label="",style="solid", color="black", weight=3];
16.69/6.19	1119[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1119 -> 1280[label="",style="solid", color="black", weight=3];
16.69/6.19	1120[label="yv1100",fontsize=16,color="green",shape="box"];1121[label="yv100",fontsize=16,color="green",shape="box"];1122[label="yv1100",fontsize=16,color="green",shape="box"];1123[label="yv100",fontsize=16,color="green",shape="box"];1124[label="yv1100",fontsize=16,color="green",shape="box"];1125[label="yv100",fontsize=16,color="green",shape="box"];1126[label="yv1100",fontsize=16,color="green",shape="box"];1127[label="yv100",fontsize=16,color="green",shape="box"];1128[label="yv1100",fontsize=16,color="green",shape="box"];1129[label="yv100",fontsize=16,color="green",shape="box"];1130[label="yv1100",fontsize=16,color="green",shape="box"];1131[label="yv100",fontsize=16,color="green",shape="box"];1132[label="yv1100",fontsize=16,color="green",shape="box"];1133[label="yv100",fontsize=16,color="green",shape="box"];1134[label="yv1100",fontsize=16,color="green",shape="box"];1135[label="yv100",fontsize=16,color="green",shape="box"];1136[label="yv1100",fontsize=16,color="green",shape="box"];1137[label="yv100",fontsize=16,color="green",shape="box"];1138[label="yv1100",fontsize=16,color="green",shape="box"];1139[label="yv100",fontsize=16,color="green",shape="box"];1140[label="yv1100",fontsize=16,color="green",shape="box"];1141[label="yv100",fontsize=16,color="green",shape="box"];1142[label="yv1100",fontsize=16,color="green",shape="box"];1143[label="yv100",fontsize=16,color="green",shape="box"];1144[label="yv1100",fontsize=16,color="green",shape="box"];1145[label="yv100",fontsize=16,color="green",shape="box"];1146[label="yv1100",fontsize=16,color="green",shape="box"];1147[label="yv100",fontsize=16,color="green",shape="box"];1148 -> 711[label="",style="dashed", color="red", weight=0];
16.69/6.19	1148[label="yv101 == yv1101",fontsize=16,color="magenta"];1148 -> 1281[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1148 -> 1282[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1149 -> 712[label="",style="dashed", color="red", weight=0];
16.69/6.19	1149[label="yv101 == yv1101",fontsize=16,color="magenta"];1149 -> 1283[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1149 -> 1284[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1150 -> 713[label="",style="dashed", color="red", weight=0];
16.69/6.19	1150[label="yv101 == yv1101",fontsize=16,color="magenta"];1150 -> 1285[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1150 -> 1286[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1151 -> 714[label="",style="dashed", color="red", weight=0];
16.69/6.19	1151[label="yv101 == yv1101",fontsize=16,color="magenta"];1151 -> 1287[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1151 -> 1288[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1152 -> 715[label="",style="dashed", color="red", weight=0];
16.69/6.19	1152[label="yv101 == yv1101",fontsize=16,color="magenta"];1152 -> 1289[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1152 -> 1290[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1153 -> 716[label="",style="dashed", color="red", weight=0];
16.69/6.19	1153[label="yv101 == yv1101",fontsize=16,color="magenta"];1153 -> 1291[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1153 -> 1292[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1154 -> 717[label="",style="dashed", color="red", weight=0];
16.69/6.19	1154[label="yv101 == yv1101",fontsize=16,color="magenta"];1154 -> 1293[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1154 -> 1294[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1155 -> 718[label="",style="dashed", color="red", weight=0];
16.69/6.19	1155[label="yv101 == yv1101",fontsize=16,color="magenta"];1155 -> 1295[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1155 -> 1296[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1156 -> 719[label="",style="dashed", color="red", weight=0];
16.69/6.19	1156[label="yv101 == yv1101",fontsize=16,color="magenta"];1156 -> 1297[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1156 -> 1298[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1157 -> 720[label="",style="dashed", color="red", weight=0];
16.69/6.19	1157[label="yv101 == yv1101",fontsize=16,color="magenta"];1157 -> 1299[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1157 -> 1300[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1158 -> 721[label="",style="dashed", color="red", weight=0];
16.69/6.19	1158[label="yv101 == yv1101",fontsize=16,color="magenta"];1158 -> 1301[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1158 -> 1302[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1159 -> 722[label="",style="dashed", color="red", weight=0];
16.69/6.19	1159[label="yv101 == yv1101",fontsize=16,color="magenta"];1159 -> 1303[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1159 -> 1304[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1160 -> 723[label="",style="dashed", color="red", weight=0];
16.69/6.19	1160[label="yv101 == yv1101",fontsize=16,color="magenta"];1160 -> 1305[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1160 -> 1306[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1161 -> 724[label="",style="dashed", color="red", weight=0];
16.69/6.19	1161[label="yv101 == yv1101",fontsize=16,color="magenta"];1161 -> 1307[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1161 -> 1308[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1162 -> 711[label="",style="dashed", color="red", weight=0];
16.69/6.19	1162[label="yv102 == yv1102",fontsize=16,color="magenta"];1162 -> 1309[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1162 -> 1310[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1163 -> 712[label="",style="dashed", color="red", weight=0];
16.69/6.19	1163[label="yv102 == yv1102",fontsize=16,color="magenta"];1163 -> 1311[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1163 -> 1312[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1164 -> 713[label="",style="dashed", color="red", weight=0];
16.69/6.19	1164[label="yv102 == yv1102",fontsize=16,color="magenta"];1164 -> 1313[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1164 -> 1314[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1165 -> 714[label="",style="dashed", color="red", weight=0];
16.69/6.19	1165[label="yv102 == yv1102",fontsize=16,color="magenta"];1165 -> 1315[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1165 -> 1316[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1166 -> 715[label="",style="dashed", color="red", weight=0];
16.69/6.19	1166[label="yv102 == yv1102",fontsize=16,color="magenta"];1166 -> 1317[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1166 -> 1318[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1167 -> 716[label="",style="dashed", color="red", weight=0];
16.69/6.19	1167[label="yv102 == yv1102",fontsize=16,color="magenta"];1167 -> 1319[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1167 -> 1320[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1168 -> 717[label="",style="dashed", color="red", weight=0];
16.69/6.19	1168[label="yv102 == yv1102",fontsize=16,color="magenta"];1168 -> 1321[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1168 -> 1322[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1169 -> 718[label="",style="dashed", color="red", weight=0];
16.69/6.19	1169[label="yv102 == yv1102",fontsize=16,color="magenta"];1169 -> 1323[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1169 -> 1324[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1170 -> 719[label="",style="dashed", color="red", weight=0];
16.69/6.19	1170[label="yv102 == yv1102",fontsize=16,color="magenta"];1170 -> 1325[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1170 -> 1326[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1171 -> 720[label="",style="dashed", color="red", weight=0];
16.69/6.19	1171[label="yv102 == yv1102",fontsize=16,color="magenta"];1171 -> 1327[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1171 -> 1328[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1172 -> 721[label="",style="dashed", color="red", weight=0];
16.69/6.19	1172[label="yv102 == yv1102",fontsize=16,color="magenta"];1172 -> 1329[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1172 -> 1330[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1173 -> 722[label="",style="dashed", color="red", weight=0];
16.69/6.19	1173[label="yv102 == yv1102",fontsize=16,color="magenta"];1173 -> 1331[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1173 -> 1332[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1174 -> 723[label="",style="dashed", color="red", weight=0];
16.69/6.19	1174[label="yv102 == yv1102",fontsize=16,color="magenta"];1174 -> 1333[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1174 -> 1334[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1175 -> 724[label="",style="dashed", color="red", weight=0];
16.69/6.19	1175[label="yv102 == yv1102",fontsize=16,color="magenta"];1175 -> 1335[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1175 -> 1336[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1176[label="False",fontsize=16,color="green",shape="box"];1177[label="yv63",fontsize=16,color="green",shape="box"];1178[label="yv1100",fontsize=16,color="green",shape="box"];1179[label="yv100",fontsize=16,color="green",shape="box"];1180[label="yv1100",fontsize=16,color="green",shape="box"];1181[label="yv100",fontsize=16,color="green",shape="box"];1182[label="yv1100",fontsize=16,color="green",shape="box"];1183[label="yv100",fontsize=16,color="green",shape="box"];1184[label="yv1100",fontsize=16,color="green",shape="box"];1185[label="yv100",fontsize=16,color="green",shape="box"];1186[label="yv1100",fontsize=16,color="green",shape="box"];1187[label="yv100",fontsize=16,color="green",shape="box"];1188[label="yv1100",fontsize=16,color="green",shape="box"];1189[label="yv100",fontsize=16,color="green",shape="box"];1190[label="yv1100",fontsize=16,color="green",shape="box"];1191[label="yv100",fontsize=16,color="green",shape="box"];1192[label="yv1100",fontsize=16,color="green",shape="box"];1193[label="yv100",fontsize=16,color="green",shape="box"];1194[label="yv1100",fontsize=16,color="green",shape="box"];1195[label="yv100",fontsize=16,color="green",shape="box"];1196[label="yv1100",fontsize=16,color="green",shape="box"];1197[label="yv100",fontsize=16,color="green",shape="box"];1198[label="yv1100",fontsize=16,color="green",shape="box"];1199[label="yv100",fontsize=16,color="green",shape="box"];1200[label="yv1100",fontsize=16,color="green",shape="box"];1201[label="yv100",fontsize=16,color="green",shape="box"];1202[label="yv1100",fontsize=16,color="green",shape="box"];1203[label="yv100",fontsize=16,color="green",shape="box"];1204[label="yv1100",fontsize=16,color="green",shape="box"];1205[label="yv100",fontsize=16,color="green",shape="box"];1206[label="yv1101",fontsize=16,color="green",shape="box"];1207[label="yv101",fontsize=16,color="green",shape="box"];1208[label="yv1101",fontsize=16,color="green",shape="box"];1209[label="yv101",fontsize=16,color="green",shape="box"];1210[label="yv1101",fontsize=16,color="green",shape="box"];1211[label="yv101",fontsize=16,color="green",shape="box"];1212[label="yv1101",fontsize=16,color="green",shape="box"];1213[label="yv101",fontsize=16,color="green",shape="box"];1214[label="yv1101",fontsize=16,color="green",shape="box"];1215[label="yv101",fontsize=16,color="green",shape="box"];1216[label="yv1101",fontsize=16,color="green",shape="box"];1217[label="yv101",fontsize=16,color="green",shape="box"];1218[label="yv1101",fontsize=16,color="green",shape="box"];1219[label="yv101",fontsize=16,color="green",shape="box"];1220[label="yv1101",fontsize=16,color="green",shape="box"];1221[label="yv101",fontsize=16,color="green",shape="box"];1222[label="yv1101",fontsize=16,color="green",shape="box"];1223[label="yv101",fontsize=16,color="green",shape="box"];1224[label="yv1101",fontsize=16,color="green",shape="box"];1225[label="yv101",fontsize=16,color="green",shape="box"];1226[label="yv1101",fontsize=16,color="green",shape="box"];1227[label="yv101",fontsize=16,color="green",shape="box"];1228[label="yv1101",fontsize=16,color="green",shape="box"];1229[label="yv101",fontsize=16,color="green",shape="box"];1230[label="yv1101",fontsize=16,color="green",shape="box"];1231[label="yv101",fontsize=16,color="green",shape="box"];1232[label="yv1101",fontsize=16,color="green",shape="box"];1233[label="yv101",fontsize=16,color="green",shape="box"];1234[label="yv1100",fontsize=16,color="green",shape="box"];1235[label="yv100",fontsize=16,color="green",shape="box"];1236[label="yv1100",fontsize=16,color="green",shape="box"];1237[label="yv100",fontsize=16,color="green",shape="box"];1238[label="yv1101",fontsize=16,color="green",shape="box"];1239[label="yv101",fontsize=16,color="green",shape="box"];1240[label="yv1101",fontsize=16,color="green",shape="box"];1241[label="yv101",fontsize=16,color="green",shape="box"];1242[label="yv1100",fontsize=16,color="green",shape="box"];1243[label="yv100",fontsize=16,color="green",shape="box"];1244[label="yv1100",fontsize=16,color="green",shape="box"];1245[label="yv100",fontsize=16,color="green",shape="box"];1246[label="yv1100",fontsize=16,color="green",shape="box"];1247[label="yv100",fontsize=16,color="green",shape="box"];1248[label="yv1100",fontsize=16,color="green",shape="box"];1249[label="yv100",fontsize=16,color="green",shape="box"];1250[label="yv1100",fontsize=16,color="green",shape="box"];1251[label="yv100",fontsize=16,color="green",shape="box"];1252[label="yv1100",fontsize=16,color="green",shape="box"];1253[label="yv100",fontsize=16,color="green",shape="box"];1254[label="yv1100",fontsize=16,color="green",shape="box"];1255[label="yv100",fontsize=16,color="green",shape="box"];1256[label="yv1100",fontsize=16,color="green",shape="box"];1257[label="yv100",fontsize=16,color="green",shape="box"];1258[label="yv1100",fontsize=16,color="green",shape="box"];1259[label="yv100",fontsize=16,color="green",shape="box"];1260[label="yv1100",fontsize=16,color="green",shape="box"];1261[label="yv100",fontsize=16,color="green",shape="box"];1262[label="yv1100",fontsize=16,color="green",shape="box"];1263[label="yv100",fontsize=16,color="green",shape="box"];1264[label="yv1100",fontsize=16,color="green",shape="box"];1265[label="yv100",fontsize=16,color="green",shape="box"];1266[label="yv1100",fontsize=16,color="green",shape="box"];1267[label="yv100",fontsize=16,color="green",shape="box"];1268[label="yv1100",fontsize=16,color="green",shape="box"];1269[label="yv100",fontsize=16,color="green",shape="box"];1270[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 (yv430 : yv431) (enforceWHNF (WHNF (primPlusInt (Pos yv44) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yv44) (fromInt (Pos (Succ Zero)))))))))",fontsize=16,color="black",shape="box"];1270 -> 1337[label="",style="solid", color="black", weight=3];
16.69/6.19	1271[label="primMulInt (Pos yv1010) yv1100",fontsize=16,color="burlywood",shape="box"];1641[label="yv1100/Pos yv11000",fontsize=10,color="white",style="solid",shape="box"];1271 -> 1641[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1641 -> 1338[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1642[label="yv1100/Neg yv11000",fontsize=10,color="white",style="solid",shape="box"];1271 -> 1642[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1642 -> 1339[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1272[label="primMulInt (Neg yv1010) yv1100",fontsize=16,color="burlywood",shape="box"];1643[label="yv1100/Pos yv11000",fontsize=10,color="white",style="solid",shape="box"];1272 -> 1643[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1643 -> 1340[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1644[label="yv1100/Neg yv11000",fontsize=10,color="white",style="solid",shape="box"];1272 -> 1644[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1644 -> 1341[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1273[label="yv1000",fontsize=16,color="green",shape="box"];1274[label="yv11000",fontsize=16,color="green",shape="box"];1275[label="yv1000",fontsize=16,color="green",shape="box"];1276[label="yv11000",fontsize=16,color="green",shape="box"];1277 -> 836[label="",style="dashed", color="red", weight=0];
16.69/6.19	1277[label="primEqNat yv1000 yv11000",fontsize=16,color="magenta"];1277 -> 1342[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1277 -> 1343[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1278[label="False",fontsize=16,color="green",shape="box"];1279[label="False",fontsize=16,color="green",shape="box"];1280[label="True",fontsize=16,color="green",shape="box"];1281[label="yv1101",fontsize=16,color="green",shape="box"];1282[label="yv101",fontsize=16,color="green",shape="box"];1283[label="yv1101",fontsize=16,color="green",shape="box"];1284[label="yv101",fontsize=16,color="green",shape="box"];1285[label="yv1101",fontsize=16,color="green",shape="box"];1286[label="yv101",fontsize=16,color="green",shape="box"];1287[label="yv1101",fontsize=16,color="green",shape="box"];1288[label="yv101",fontsize=16,color="green",shape="box"];1289[label="yv1101",fontsize=16,color="green",shape="box"];1290[label="yv101",fontsize=16,color="green",shape="box"];1291[label="yv1101",fontsize=16,color="green",shape="box"];1292[label="yv101",fontsize=16,color="green",shape="box"];1293[label="yv1101",fontsize=16,color="green",shape="box"];1294[label="yv101",fontsize=16,color="green",shape="box"];1295[label="yv1101",fontsize=16,color="green",shape="box"];1296[label="yv101",fontsize=16,color="green",shape="box"];1297[label="yv1101",fontsize=16,color="green",shape="box"];1298[label="yv101",fontsize=16,color="green",shape="box"];1299[label="yv1101",fontsize=16,color="green",shape="box"];1300[label="yv101",fontsize=16,color="green",shape="box"];1301[label="yv1101",fontsize=16,color="green",shape="box"];1302[label="yv101",fontsize=16,color="green",shape="box"];1303[label="yv1101",fontsize=16,color="green",shape="box"];1304[label="yv101",fontsize=16,color="green",shape="box"];1305[label="yv1101",fontsize=16,color="green",shape="box"];1306[label="yv101",fontsize=16,color="green",shape="box"];1307[label="yv1101",fontsize=16,color="green",shape="box"];1308[label="yv101",fontsize=16,color="green",shape="box"];1309[label="yv1102",fontsize=16,color="green",shape="box"];1310[label="yv102",fontsize=16,color="green",shape="box"];1311[label="yv1102",fontsize=16,color="green",shape="box"];1312[label="yv102",fontsize=16,color="green",shape="box"];1313[label="yv1102",fontsize=16,color="green",shape="box"];1314[label="yv102",fontsize=16,color="green",shape="box"];1315[label="yv1102",fontsize=16,color="green",shape="box"];1316[label="yv102",fontsize=16,color="green",shape="box"];1317[label="yv1102",fontsize=16,color="green",shape="box"];1318[label="yv102",fontsize=16,color="green",shape="box"];1319[label="yv1102",fontsize=16,color="green",shape="box"];1320[label="yv102",fontsize=16,color="green",shape="box"];1321[label="yv1102",fontsize=16,color="green",shape="box"];1322[label="yv102",fontsize=16,color="green",shape="box"];1323[label="yv1102",fontsize=16,color="green",shape="box"];1324[label="yv102",fontsize=16,color="green",shape="box"];1325[label="yv1102",fontsize=16,color="green",shape="box"];1326[label="yv102",fontsize=16,color="green",shape="box"];1327[label="yv1102",fontsize=16,color="green",shape="box"];1328[label="yv102",fontsize=16,color="green",shape="box"];1329[label="yv1102",fontsize=16,color="green",shape="box"];1330[label="yv102",fontsize=16,color="green",shape="box"];1331[label="yv1102",fontsize=16,color="green",shape="box"];1332[label="yv102",fontsize=16,color="green",shape="box"];1333[label="yv1102",fontsize=16,color="green",shape="box"];1334[label="yv102",fontsize=16,color="green",shape="box"];1335[label="yv1102",fontsize=16,color="green",shape="box"];1336[label="yv102",fontsize=16,color="green",shape="box"];1337[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 (yv430 : yv431) (enforceWHNF (WHNF (primPlusInt (Pos yv44) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yv44) (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1337 -> 1344[label="",style="solid", color="black", weight=3];
16.69/6.19	1338[label="primMulInt (Pos yv1010) (Pos yv11000)",fontsize=16,color="black",shape="box"];1338 -> 1345[label="",style="solid", color="black", weight=3];
16.69/6.19	1339[label="primMulInt (Pos yv1010) (Neg yv11000)",fontsize=16,color="black",shape="box"];1339 -> 1346[label="",style="solid", color="black", weight=3];
16.69/6.19	1340[label="primMulInt (Neg yv1010) (Pos yv11000)",fontsize=16,color="black",shape="box"];1340 -> 1347[label="",style="solid", color="black", weight=3];
16.69/6.19	1341[label="primMulInt (Neg yv1010) (Neg yv11000)",fontsize=16,color="black",shape="box"];1341 -> 1348[label="",style="solid", color="black", weight=3];
16.69/6.19	1342[label="yv1000",fontsize=16,color="green",shape="box"];1343[label="yv11000",fontsize=16,color="green",shape="box"];1344[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 (yv430 : yv431) (enforceWHNF (WHNF (Pos (primPlusNat yv44 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yv44 (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1344 -> 1349[label="",style="solid", color="black", weight=3];
16.69/6.19	1345[label="Pos (primMulNat yv1010 yv11000)",fontsize=16,color="green",shape="box"];1345 -> 1350[label="",style="dashed", color="green", weight=3];
16.69/6.19	1346[label="Neg (primMulNat yv1010 yv11000)",fontsize=16,color="green",shape="box"];1346 -> 1351[label="",style="dashed", color="green", weight=3];
16.69/6.19	1347[label="Neg (primMulNat yv1010 yv11000)",fontsize=16,color="green",shape="box"];1347 -> 1352[label="",style="dashed", color="green", weight=3];
16.69/6.19	1348[label="Pos (primMulNat yv1010 yv11000)",fontsize=16,color="green",shape="box"];1348 -> 1353[label="",style="dashed", color="green", weight=3];
16.69/6.19	1349[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 (yv430 : yv431) (numericEnumFrom (Pos (primPlusNat yv44 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1349 -> 1354[label="",style="solid", color="black", weight=3];
16.69/6.19	1350[label="primMulNat yv1010 yv11000",fontsize=16,color="burlywood",shape="triangle"];1645[label="yv1010/Succ yv10100",fontsize=10,color="white",style="solid",shape="box"];1350 -> 1645[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1645 -> 1355[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1646[label="yv1010/Zero",fontsize=10,color="white",style="solid",shape="box"];1350 -> 1646[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1646 -> 1356[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1351 -> 1350[label="",style="dashed", color="red", weight=0];
16.69/6.19	1351[label="primMulNat yv1010 yv11000",fontsize=16,color="magenta"];1351 -> 1357[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1352 -> 1350[label="",style="dashed", color="red", weight=0];
16.69/6.19	1352[label="primMulNat yv1010 yv11000",fontsize=16,color="magenta"];1352 -> 1358[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1353 -> 1350[label="",style="dashed", color="red", weight=0];
16.69/6.19	1353[label="primMulNat yv1010 yv11000",fontsize=16,color="magenta"];1353 -> 1359[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1353 -> 1360[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1354[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 (yv430 : yv431) (Pos (primPlusNat yv44 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yv44 (Succ Zero)) + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1354 -> 1361[label="",style="solid", color="black", weight=3];
16.69/6.19	1355[label="primMulNat (Succ yv10100) yv11000",fontsize=16,color="burlywood",shape="box"];1647[label="yv11000/Succ yv110000",fontsize=10,color="white",style="solid",shape="box"];1355 -> 1647[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1647 -> 1362[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1648[label="yv11000/Zero",fontsize=10,color="white",style="solid",shape="box"];1355 -> 1648[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1648 -> 1363[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1356[label="primMulNat Zero yv11000",fontsize=16,color="burlywood",shape="box"];1649[label="yv11000/Succ yv110000",fontsize=10,color="white",style="solid",shape="box"];1356 -> 1649[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1649 -> 1364[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1650[label="yv11000/Zero",fontsize=10,color="white",style="solid",shape="box"];1356 -> 1650[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1650 -> 1365[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1357[label="yv11000",fontsize=16,color="green",shape="box"];1358[label="yv1010",fontsize=16,color="green",shape="box"];1359[label="yv11000",fontsize=16,color="green",shape="box"];1360[label="yv1010",fontsize=16,color="green",shape="box"];1361[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zip0 yv430 (Pos (primPlusNat yv44 (Succ Zero))) : zipWith zip0 yv431 (numericEnumFrom $! Pos (primPlusNat yv44 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1361 -> 1366[label="",style="solid", color="black", weight=3];
16.69/6.19	1362[label="primMulNat (Succ yv10100) (Succ yv110000)",fontsize=16,color="black",shape="box"];1362 -> 1367[label="",style="solid", color="black", weight=3];
16.69/6.19	1363[label="primMulNat (Succ yv10100) Zero",fontsize=16,color="black",shape="box"];1363 -> 1368[label="",style="solid", color="black", weight=3];
16.69/6.19	1364[label="primMulNat Zero (Succ yv110000)",fontsize=16,color="black",shape="box"];1364 -> 1369[label="",style="solid", color="black", weight=3];
16.69/6.19	1365[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];1365 -> 1370[label="",style="solid", color="black", weight=3];
16.69/6.19	1366[label="Maybe.listToMaybe (foldr (++) [] (List.findIndices0 (yv42 ==) (zip0 yv430 (Pos (primPlusNat yv44 (Succ Zero)))) : map (List.findIndices0 (yv42 ==)) (zipWith zip0 yv431 (numericEnumFrom $! Pos (primPlusNat yv44 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1366 -> 1371[label="",style="solid", color="black", weight=3];
16.69/6.19	1367 -> 1372[label="",style="dashed", color="red", weight=0];
16.69/6.19	1367[label="primPlusNat (primMulNat yv10100 (Succ yv110000)) (Succ yv110000)",fontsize=16,color="magenta"];1367 -> 1373[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1368[label="Zero",fontsize=16,color="green",shape="box"];1369[label="Zero",fontsize=16,color="green",shape="box"];1370[label="Zero",fontsize=16,color="green",shape="box"];1371 -> 694[label="",style="dashed", color="red", weight=0];
16.69/6.19	1371[label="Maybe.listToMaybe ((++) List.findIndices0 (yv42 ==) (zip0 yv430 (Pos (primPlusNat yv44 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 (yv42 ==)) (zipWith zip0 yv431 (numericEnumFrom $! Pos (primPlusNat yv44 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];1371 -> 1374[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1371 -> 1375[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1371 -> 1376[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1371 -> 1377[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1371 -> 1378[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1373 -> 1350[label="",style="dashed", color="red", weight=0];
16.69/6.19	1373[label="primMulNat yv10100 (Succ yv110000)",fontsize=16,color="magenta"];1373 -> 1379[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1373 -> 1380[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1372[label="primPlusNat yv64 (Succ yv110000)",fontsize=16,color="burlywood",shape="triangle"];1651[label="yv64/Succ yv640",fontsize=10,color="white",style="solid",shape="box"];1372 -> 1651[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1651 -> 1381[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1652[label="yv64/Zero",fontsize=10,color="white",style="solid",shape="box"];1372 -> 1652[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1652 -> 1382[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1374 -> 1372[label="",style="dashed", color="red", weight=0];
16.69/6.19	1374[label="primPlusNat yv44 (Succ Zero)",fontsize=16,color="magenta"];1374 -> 1383[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1374 -> 1384[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1375[label="yv431",fontsize=16,color="green",shape="box"];1376 -> 1372[label="",style="dashed", color="red", weight=0];
16.69/6.19	1376[label="primPlusNat yv44 (Succ Zero)",fontsize=16,color="magenta"];1376 -> 1385[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1376 -> 1386[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1377[label="yv430",fontsize=16,color="green",shape="box"];1378[label="yv42",fontsize=16,color="green",shape="box"];1379[label="Succ yv110000",fontsize=16,color="green",shape="box"];1380[label="yv10100",fontsize=16,color="green",shape="box"];1381[label="primPlusNat (Succ yv640) (Succ yv110000)",fontsize=16,color="black",shape="box"];1381 -> 1387[label="",style="solid", color="black", weight=3];
16.69/6.19	1382[label="primPlusNat Zero (Succ yv110000)",fontsize=16,color="black",shape="box"];1382 -> 1388[label="",style="solid", color="black", weight=3];
16.69/6.19	1383[label="yv44",fontsize=16,color="green",shape="box"];1384[label="Zero",fontsize=16,color="green",shape="box"];1385[label="yv44",fontsize=16,color="green",shape="box"];1386[label="Zero",fontsize=16,color="green",shape="box"];1387[label="Succ (Succ (primPlusNat yv640 yv110000))",fontsize=16,color="green",shape="box"];1387 -> 1389[label="",style="dashed", color="green", weight=3];
16.69/6.19	1388[label="Succ yv110000",fontsize=16,color="green",shape="box"];1389[label="primPlusNat yv640 yv110000",fontsize=16,color="burlywood",shape="triangle"];1653[label="yv640/Succ yv6400",fontsize=10,color="white",style="solid",shape="box"];1389 -> 1653[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1653 -> 1390[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1654[label="yv640/Zero",fontsize=10,color="white",style="solid",shape="box"];1389 -> 1654[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1654 -> 1391[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1390[label="primPlusNat (Succ yv6400) yv110000",fontsize=16,color="burlywood",shape="box"];1655[label="yv110000/Succ yv1100000",fontsize=10,color="white",style="solid",shape="box"];1390 -> 1655[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1655 -> 1392[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1656[label="yv110000/Zero",fontsize=10,color="white",style="solid",shape="box"];1390 -> 1656[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1656 -> 1393[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1391[label="primPlusNat Zero yv110000",fontsize=16,color="burlywood",shape="box"];1657[label="yv110000/Succ yv1100000",fontsize=10,color="white",style="solid",shape="box"];1391 -> 1657[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1657 -> 1394[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1658[label="yv110000/Zero",fontsize=10,color="white",style="solid",shape="box"];1391 -> 1658[label="",style="solid", color="burlywood", weight=9];
16.69/6.19	1658 -> 1395[label="",style="solid", color="burlywood", weight=3];
16.69/6.19	1392[label="primPlusNat (Succ yv6400) (Succ yv1100000)",fontsize=16,color="black",shape="box"];1392 -> 1396[label="",style="solid", color="black", weight=3];
16.69/6.19	1393[label="primPlusNat (Succ yv6400) Zero",fontsize=16,color="black",shape="box"];1393 -> 1397[label="",style="solid", color="black", weight=3];
16.69/6.19	1394[label="primPlusNat Zero (Succ yv1100000)",fontsize=16,color="black",shape="box"];1394 -> 1398[label="",style="solid", color="black", weight=3];
16.69/6.19	1395[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1395 -> 1399[label="",style="solid", color="black", weight=3];
16.69/6.19	1396[label="Succ (Succ (primPlusNat yv6400 yv1100000))",fontsize=16,color="green",shape="box"];1396 -> 1400[label="",style="dashed", color="green", weight=3];
16.69/6.19	1397[label="Succ yv6400",fontsize=16,color="green",shape="box"];1398[label="Succ yv1100000",fontsize=16,color="green",shape="box"];1399[label="Zero",fontsize=16,color="green",shape="box"];1400 -> 1389[label="",style="dashed", color="red", weight=0];
16.69/6.19	1400[label="primPlusNat yv6400 yv1100000",fontsize=16,color="magenta"];1400 -> 1401[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1400 -> 1402[label="",style="dashed", color="magenta", weight=3];
16.69/6.19	1401[label="yv1100000",fontsize=16,color="green",shape="box"];1402[label="yv6400",fontsize=16,color="green",shape="box"];}
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(14)
16.69/6.19	Complex Obligation (AND)
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(15)
16.69/6.19	Obligation:
16.69/6.19	Q DP problem:
16.69/6.19	The TRS P consists of the following rules:
16.69/6.19	
16.69/6.19	   new_primMulNat(Succ(yv10100), Succ(yv110000)) -> new_primMulNat(yv10100, Succ(yv110000))
16.69/6.19	
16.69/6.19	R is empty.
16.69/6.19	Q is empty.
16.69/6.19	We have to consider all minimal (P,Q,R)-chains.
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(16) QDPSizeChangeProof (EQUIVALENT)
16.69/6.19	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. 
16.69/6.19	
16.69/6.19	From the DPs we obtained the following set of size-change graphs:
16.69/6.19	*new_primMulNat(Succ(yv10100), Succ(yv110000)) -> new_primMulNat(yv10100, Succ(yv110000))
16.69/6.19	The graph contains the following edges 1 > 1, 2 >= 2
16.69/6.19	
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(17)
16.69/6.19	YES
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(18)
16.69/6.19	Obligation:
16.69/6.19	Q DP problem:
16.69/6.19	The TRS P consists of the following rules:
16.69/6.19	
16.69/6.19	   new_listToMaybe0(yv10, yv110, yv32, yv111, yv33, bb) -> new_listToMaybe(yv32, new_esEs4(yv10, yv110, bb), yv10, yv111, yv33, bb)
16.69/6.19	   new_listToMaybe(yv40, False, yv42, :(yv430, yv431), yv44, ba) -> new_listToMaybe0(yv42, yv430, new_primPlusNat0(yv44, Zero), yv431, new_primPlusNat0(yv44, Zero), ba)
16.69/6.19	
16.69/6.19	The TRS R consists of the following rules:
16.69/6.19	
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, app(ty_Maybe, fa)) -> new_esEs20(yv100, yv1100, fa)
16.69/6.19	   new_primEqInt(Pos(Zero), Pos(Zero)) -> True
16.69/6.19	   new_esEs23(yv100, yv1100, app(ty_[], bbg)) -> new_esEs17(yv100, yv1100, bbg)
16.69/6.19	   new_esEs4(yv10, yv110, app(ty_[], ca)) -> new_esEs17(yv10, yv110, ca)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), ty_Float, cc) -> new_esEs11(yv100, yv1100)
16.69/6.19	   new_esEs22(yv101, yv1101, app(app(ty_Either, baf), bag)) -> new_esEs19(yv101, yv1101, baf, bag)
16.69/6.19	   new_esEs4(yv10, yv110, ty_Float) -> new_esEs11(yv10, yv110)
16.69/6.19	   new_esEs26(yv100, yv1100, app(app(app(ty_@3, beg), beh), bfa)) -> new_esEs15(yv100, yv1100, beg, beh, bfa)
16.69/6.19	   new_esEs4(yv10, yv110, ty_Integer) -> new_esEs9(yv10, yv110)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), app(app(ty_Either, de), df), cc) -> new_esEs19(yv100, yv1100, de, df)
16.69/6.19	   new_esEs23(yv100, yv1100, ty_Integer) -> new_esEs9(yv100, yv1100)
16.69/6.19	   new_esEs5(:%(yv100, yv101), :%(yv1100, yv1101), bc) -> new_asAs(new_esEs6(yv100, yv1100, bc), new_esEs7(yv101, yv1101, bc))
16.69/6.19	   new_esEs26(yv100, yv1100, ty_Double) -> new_esEs13(yv100, yv1100)
16.69/6.19	   new_esEs22(yv101, yv1101, app(ty_Ratio, bad)) -> new_esEs5(yv101, yv1101, bad)
16.69/6.19	   new_esEs14(Char(yv100), Char(yv1100)) -> new_primEqNat0(yv100, yv1100)
16.69/6.19	   new_esEs25(yv102, yv1102, ty_Float) -> new_esEs11(yv102, yv1102)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), app(ty_Maybe, dg), cc) -> new_esEs20(yv100, yv1100, dg)
16.69/6.19	   new_esEs22(yv101, yv1101, ty_Int) -> new_esEs8(yv101, yv1101)
16.69/6.19	   new_esEs26(yv100, yv1100, ty_@0) -> new_esEs10(yv100, yv1100)
16.69/6.19	   new_esEs21(yv100, yv1100, ty_Integer) -> new_esEs9(yv100, yv1100)
16.69/6.19	   new_esEs6(yv100, yv1100, ty_Integer) -> new_esEs9(yv100, yv1100)
16.69/6.19	   new_esEs20(Nothing, Just(yv1100), cd) -> False
16.69/6.19	   new_esEs20(Just(yv100), Nothing, cd) -> False
16.69/6.19	   new_asAs(True, yv63) -> yv63
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, ty_Integer) -> new_esEs9(yv100, yv1100)
16.69/6.19	   new_esEs21(yv100, yv1100, ty_@0) -> new_esEs10(yv100, yv1100)
16.69/6.19	   new_esEs20(Nothing, Nothing, cd) -> True
16.69/6.19	   new_esEs25(yv102, yv1102, app(ty_[], bec)) -> new_esEs17(yv102, yv1102, bec)
16.69/6.19	   new_esEs26(yv100, yv1100, ty_Char) -> new_esEs14(yv100, yv1100)
16.69/6.19	   new_esEs24(yv101, yv1101, app(app(app(ty_@3, bcc), bcd), bce)) -> new_esEs15(yv101, yv1101, bcc, bcd, bce)
16.69/6.19	   new_primEqInt(Pos(Succ(yv1000)), Pos(Zero)) -> False
16.69/6.19	   new_primEqInt(Pos(Zero), Pos(Succ(yv11000))) -> False
16.69/6.19	   new_esEs21(yv100, yv1100, app(ty_Maybe, hf)) -> new_esEs20(yv100, yv1100, hf)
16.69/6.19	   new_esEs21(yv100, yv1100, ty_Bool) -> new_esEs12(yv100, yv1100)
16.69/6.19	   new_esEs24(yv101, yv1101, ty_@0) -> new_esEs10(yv101, yv1101)
16.69/6.19	   new_esEs21(yv100, yv1100, app(app(app(ty_@3, ge), gf), gg)) -> new_esEs15(yv100, yv1100, ge, gf, gg)
16.69/6.19	   new_esEs26(yv100, yv1100, ty_Bool) -> new_esEs12(yv100, yv1100)
16.69/6.19	   new_esEs24(yv101, yv1101, ty_Double) -> new_esEs13(yv101, yv1101)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), ty_Int) -> new_esEs8(yv100, yv1100)
16.69/6.19	   new_primEqNat0(Succ(yv1000), Succ(yv11000)) -> new_primEqNat0(yv1000, yv11000)
16.69/6.19	   new_esEs21(yv100, yv1100, ty_Double) -> new_esEs13(yv100, yv1100)
16.69/6.19	   new_esEs26(yv100, yv1100, app(ty_Maybe, bfh)) -> new_esEs20(yv100, yv1100, bfh)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), app(app(ty_@2, ff), fg)) -> new_esEs16(yv100, yv1100, ff, fg)
16.69/6.19	   new_esEs24(yv101, yv1101, ty_Int) -> new_esEs8(yv101, yv1101)
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, app(app(app(ty_@3, dh), ea), eb)) -> new_esEs15(yv100, yv1100, dh, ea, eb)
16.69/6.19	   new_esEs18(GT, GT) -> True
16.69/6.19	   new_esEs12(False, True) -> False
16.69/6.19	   new_esEs12(True, False) -> False
16.69/6.19	   new_esEs4(yv10, yv110, ty_Ordering) -> new_esEs18(yv10, yv110)
16.69/6.19	   new_esEs24(yv101, yv1101, app(ty_Maybe, bdd)) -> new_esEs20(yv101, yv1101, bdd)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), app(ty_[], dd), cc) -> new_esEs17(yv100, yv1100, dd)
16.69/6.19	   new_primMulNat0(Zero, Zero) -> Zero
16.69/6.19	   new_esEs23(yv100, yv1100, ty_@0) -> new_esEs10(yv100, yv1100)
16.69/6.19	   new_esEs12(True, True) -> True
16.69/6.19	   new_esEs23(yv100, yv1100, ty_Char) -> new_esEs14(yv100, yv1100)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), ty_Ordering, cc) -> new_esEs18(yv100, yv1100)
16.69/6.19	   new_esEs17(:(yv100, yv101), :(yv1100, yv1101), ca) -> new_asAs(new_esEs26(yv100, yv1100, ca), new_esEs17(yv101, yv1101, ca))
16.69/6.19	   new_esEs23(yv100, yv1100, ty_Bool) -> new_esEs12(yv100, yv1100)
16.69/6.19	   new_esEs4(yv10, yv110, app(app(ty_@2, bg), bh)) -> new_esEs16(yv10, yv110, bg, bh)
16.69/6.19	   new_esEs4(yv10, yv110, ty_Bool) -> new_esEs12(yv10, yv110)
16.69/6.19	   new_esEs23(yv100, yv1100, app(app(ty_@2, bbd), bbe)) -> new_esEs16(yv100, yv1100, bbd, bbe)
16.69/6.19	   new_esEs18(EQ, GT) -> False
16.69/6.19	   new_esEs18(GT, EQ) -> False
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, app(ty_[], ef)) -> new_esEs17(yv100, yv1100, ef)
16.69/6.19	   new_primEqNat0(Succ(yv1000), Zero) -> False
16.69/6.19	   new_primEqNat0(Zero, Succ(yv11000)) -> False
16.69/6.19	   new_esEs22(yv101, yv1101, ty_@0) -> new_esEs10(yv101, yv1101)
16.69/6.19	   new_esEs21(yv100, yv1100, ty_Float) -> new_esEs11(yv100, yv1100)
16.69/6.19	   new_esEs9(Integer(yv100), Integer(yv1100)) -> new_primEqInt(yv100, yv1100)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), ty_Double, cc) -> new_esEs13(yv100, yv1100)
16.69/6.19	   new_esEs22(yv101, yv1101, ty_Ordering) -> new_esEs18(yv101, yv1101)
16.69/6.19	   new_esEs25(yv102, yv1102, app(ty_Ratio, beb)) -> new_esEs5(yv102, yv1102, beb)
16.69/6.19	   new_esEs22(yv101, yv1101, app(app(ty_@2, bab), bac)) -> new_esEs16(yv101, yv1101, bab, bac)
16.69/6.19	   new_esEs25(yv102, yv1102, ty_Double) -> new_esEs13(yv102, yv1102)
16.69/6.19	   new_esEs26(yv100, yv1100, ty_Ordering) -> new_esEs18(yv100, yv1100)
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, ty_Ordering) -> new_esEs18(yv100, yv1100)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), app(app(ty_Either, gb), gc)) -> new_esEs19(yv100, yv1100, gb, gc)
16.69/6.19	   new_esEs21(yv100, yv1100, ty_Ordering) -> new_esEs18(yv100, yv1100)
16.69/6.19	   new_esEs26(yv100, yv1100, ty_Float) -> new_esEs11(yv100, yv1100)
16.69/6.19	   new_esEs24(yv101, yv1101, app(app(ty_Either, bdb), bdc)) -> new_esEs19(yv101, yv1101, bdb, bdc)
16.69/6.19	   new_esEs21(yv100, yv1100, app(ty_[], hc)) -> new_esEs17(yv100, yv1100, hc)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), app(ty_Ratio, fh)) -> new_esEs5(yv100, yv1100, fh)
16.69/6.19	   new_esEs18(LT, GT) -> False
16.69/6.19	   new_esEs18(GT, LT) -> False
16.69/6.19	   new_esEs24(yv101, yv1101, app(ty_Ratio, bch)) -> new_esEs5(yv101, yv1101, bch)
16.69/6.19	   new_primEqInt(Neg(Succ(yv1000)), Neg(Zero)) -> False
16.69/6.19	   new_primEqInt(Neg(Zero), Neg(Succ(yv11000))) -> False
16.69/6.19	   new_primEqInt(Pos(Succ(yv1000)), Pos(Succ(yv11000))) -> new_primEqNat0(yv1000, yv11000)
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, ty_Float) -> new_esEs11(yv100, yv1100)
16.69/6.19	   new_sr(Pos(yv1010), Neg(yv11000)) -> Neg(new_primMulNat0(yv1010, yv11000))
16.69/6.19	   new_sr(Neg(yv1010), Pos(yv11000)) -> Neg(new_primMulNat0(yv1010, yv11000))
16.69/6.19	   new_esEs4(yv10, yv110, ty_@0) -> new_esEs10(yv10, yv110)
16.69/6.19	   new_esEs24(yv101, yv1101, ty_Char) -> new_esEs14(yv101, yv1101)
16.69/6.19	   new_esEs25(yv102, yv1102, app(ty_Maybe, bef)) -> new_esEs20(yv102, yv1102, bef)
16.69/6.19	   new_primPlusNat1(Succ(yv6400), Succ(yv1100000)) -> Succ(Succ(new_primPlusNat1(yv6400, yv1100000)))
16.69/6.19	   new_primEqInt(Pos(Succ(yv1000)), Neg(yv1100)) -> False
16.69/6.19	   new_primEqInt(Neg(Succ(yv1000)), Pos(yv1100)) -> False
16.69/6.19	   new_esEs25(yv102, yv1102, app(app(app(ty_@3, bde), bdf), bdg)) -> new_esEs15(yv102, yv1102, bde, bdf, bdg)
16.69/6.19	   new_esEs26(yv100, yv1100, app(ty_[], bfe)) -> new_esEs17(yv100, yv1100, bfe)
16.69/6.19	   new_esEs22(yv101, yv1101, ty_Bool) -> new_esEs12(yv101, yv1101)
16.69/6.19	   new_esEs18(LT, LT) -> True
16.69/6.19	   new_esEs21(yv100, yv1100, app(ty_Ratio, hb)) -> new_esEs5(yv100, yv1100, hb)
16.69/6.19	   new_esEs8(yv10, yv110) -> new_primEqInt(yv10, yv110)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), app(app(app(ty_@3, ce), cf), cg), cc) -> new_esEs15(yv100, yv1100, ce, cf, cg)
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, app(app(ty_Either, eg), eh)) -> new_esEs19(yv100, yv1100, eg, eh)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), app(ty_Maybe, gd)) -> new_esEs20(yv100, yv1100, gd)
16.69/6.19	   new_esEs24(yv101, yv1101, ty_Float) -> new_esEs11(yv101, yv1101)
16.69/6.19	   new_esEs21(yv100, yv1100, app(app(ty_Either, hd), he)) -> new_esEs19(yv100, yv1100, hd, he)
16.69/6.19	   new_esEs12(False, False) -> True
16.69/6.19	   new_esEs23(yv100, yv1100, ty_Int) -> new_esEs8(yv100, yv1100)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), ty_Char) -> new_esEs14(yv100, yv1100)
16.69/6.19	   new_sr(Neg(yv1010), Neg(yv11000)) -> Pos(new_primMulNat0(yv1010, yv11000))
16.69/6.19	   new_esEs4(yv10, yv110, ty_Int) -> new_esEs8(yv10, yv110)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), ty_Bool) -> new_esEs12(yv100, yv1100)
16.69/6.19	   new_esEs17([], [], ca) -> True
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, app(ty_Ratio, ee)) -> new_esEs5(yv100, yv1100, ee)
16.69/6.19	   new_esEs24(yv101, yv1101, app(ty_[], bda)) -> new_esEs17(yv101, yv1101, bda)
16.69/6.19	   new_esEs23(yv100, yv1100, app(app(ty_Either, bbh), bca)) -> new_esEs19(yv100, yv1100, bbh, bca)
16.69/6.19	   new_primEqInt(Pos(Zero), Neg(Succ(yv11000))) -> False
16.69/6.19	   new_primEqInt(Neg(Zero), Pos(Succ(yv11000))) -> False
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, ty_Char) -> new_esEs14(yv100, yv1100)
16.69/6.19	   new_esEs26(yv100, yv1100, app(app(ty_@2, bfb), bfc)) -> new_esEs16(yv100, yv1100, bfb, bfc)
16.69/6.19	   new_esEs22(yv101, yv1101, ty_Integer) -> new_esEs9(yv101, yv1101)
16.69/6.19	   new_esEs10(@0, @0) -> True
16.69/6.19	   new_esEs4(yv10, yv110, app(ty_Ratio, bc)) -> new_esEs5(yv10, yv110, bc)
16.69/6.19	   new_esEs23(yv100, yv1100, app(ty_Ratio, bbf)) -> new_esEs5(yv100, yv1100, bbf)
16.69/6.19	   new_esEs4(yv10, yv110, app(app(ty_Either, cb), cc)) -> new_esEs19(yv10, yv110, cb, cc)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), app(ty_Ratio, dc), cc) -> new_esEs5(yv100, yv1100, dc)
16.69/6.19	   new_esEs22(yv101, yv1101, ty_Float) -> new_esEs11(yv101, yv1101)
16.69/6.19	   new_esEs25(yv102, yv1102, ty_Char) -> new_esEs14(yv102, yv1102)
16.69/6.19	   new_primEqInt(Neg(Succ(yv1000)), Neg(Succ(yv11000))) -> new_primEqNat0(yv1000, yv11000)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), app(app(app(ty_@3, fb), fc), fd)) -> new_esEs15(yv100, yv1100, fb, fc, fd)
16.69/6.19	   new_primPlusNat0(Succ(yv640), yv110000) -> Succ(Succ(new_primPlusNat1(yv640, yv110000)))
16.69/6.19	   new_esEs6(yv100, yv1100, ty_Int) -> new_esEs8(yv100, yv1100)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), ty_Bool, cc) -> new_esEs12(yv100, yv1100)
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, ty_@0) -> new_esEs10(yv100, yv1100)
16.69/6.19	   new_esEs21(yv100, yv1100, ty_Int) -> new_esEs8(yv100, yv1100)
16.69/6.19	   new_esEs21(yv100, yv1100, app(app(ty_@2, gh), ha)) -> new_esEs16(yv100, yv1100, gh, ha)
16.69/6.19	   new_esEs25(yv102, yv1102, app(app(ty_Either, bed), bee)) -> new_esEs19(yv102, yv1102, bed, bee)
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, ty_Double) -> new_esEs13(yv100, yv1100)
16.69/6.19	   new_esEs15(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), bd, be, bf) -> new_asAs(new_esEs23(yv100, yv1100, bd), new_asAs(new_esEs24(yv101, yv1101, be), new_esEs25(yv102, yv1102, bf)))
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), ty_Char, cc) -> new_esEs14(yv100, yv1100)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), ty_@0) -> new_esEs10(yv100, yv1100)
16.69/6.19	   new_esEs25(yv102, yv1102, ty_Ordering) -> new_esEs18(yv102, yv1102)
16.69/6.19	   new_primPlusNat1(Zero, Zero) -> Zero
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, ty_Bool) -> new_esEs12(yv100, yv1100)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), ty_Double) -> new_esEs13(yv100, yv1100)
16.69/6.19	   new_primMulNat0(Succ(yv10100), Zero) -> Zero
16.69/6.19	   new_primMulNat0(Zero, Succ(yv110000)) -> Zero
16.69/6.19	   new_sr(Pos(yv1010), Pos(yv11000)) -> Pos(new_primMulNat0(yv1010, yv11000))
16.69/6.19	   new_esEs22(yv101, yv1101, app(ty_[], bae)) -> new_esEs17(yv101, yv1101, bae)
16.69/6.19	   new_primPlusNat0(Zero, yv110000) -> Succ(yv110000)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), ty_Integer) -> new_esEs9(yv100, yv1100)
16.69/6.19	   new_esEs24(yv101, yv1101, app(app(ty_@2, bcf), bcg)) -> new_esEs16(yv101, yv1101, bcf, bcg)
16.69/6.19	   new_esEs24(yv101, yv1101, ty_Integer) -> new_esEs9(yv101, yv1101)
16.69/6.19	   new_esEs11(Float(yv100, yv101), Float(yv1100, yv1101)) -> new_esEs8(new_sr(yv100, yv1101), new_sr(yv101, yv1100))
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), ty_Float) -> new_esEs11(yv100, yv1100)
16.69/6.19	   new_esEs22(yv101, yv1101, app(app(app(ty_@3, hg), hh), baa)) -> new_esEs15(yv101, yv1101, hg, hh, baa)
16.69/6.19	   new_esEs26(yv100, yv1100, app(ty_Ratio, bfd)) -> new_esEs5(yv100, yv1100, bfd)
16.69/6.19	   new_primEqInt(Neg(Zero), Neg(Zero)) -> True
16.69/6.19	   new_esEs26(yv100, yv1100, app(app(ty_Either, bff), bfg)) -> new_esEs19(yv100, yv1100, bff, bfg)
16.69/6.19	   new_primMulNat0(Succ(yv10100), Succ(yv110000)) -> new_primPlusNat0(new_primMulNat0(yv10100, Succ(yv110000)), yv110000)
16.69/6.19	   new_esEs23(yv100, yv1100, ty_Ordering) -> new_esEs18(yv100, yv1100)
16.69/6.19	   new_esEs22(yv101, yv1101, ty_Double) -> new_esEs13(yv101, yv1101)
16.69/6.19	   new_esEs16(@2(yv100, yv101), @2(yv1100, yv1101), bg, bh) -> new_asAs(new_esEs21(yv100, yv1100, bg), new_esEs22(yv101, yv1101, bh))
16.69/6.19	   new_esEs4(yv10, yv110, app(ty_Maybe, cd)) -> new_esEs20(yv10, yv110, cd)
16.69/6.19	   new_esEs18(EQ, EQ) -> True
16.69/6.19	   new_esEs23(yv100, yv1100, app(ty_Maybe, bcb)) -> new_esEs20(yv100, yv1100, bcb)
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, ty_Int) -> new_esEs8(yv100, yv1100)
16.69/6.19	   new_esEs24(yv101, yv1101, ty_Bool) -> new_esEs12(yv101, yv1101)
16.69/6.19	   new_primPlusNat1(Succ(yv6400), Zero) -> Succ(yv6400)
16.69/6.19	   new_primPlusNat1(Zero, Succ(yv1100000)) -> Succ(yv1100000)
16.69/6.19	   new_esEs26(yv100, yv1100, ty_Int) -> new_esEs8(yv100, yv1100)
16.69/6.19	   new_esEs23(yv100, yv1100, app(app(app(ty_@3, bba), bbb), bbc)) -> new_esEs15(yv100, yv1100, bba, bbb, bbc)
16.69/6.19	   new_esEs22(yv101, yv1101, ty_Char) -> new_esEs14(yv101, yv1101)
16.69/6.19	   new_esEs4(yv10, yv110, ty_Char) -> new_esEs14(yv10, yv110)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), app(ty_[], ga)) -> new_esEs17(yv100, yv1100, ga)
16.69/6.19	   new_primEqInt(Pos(Zero), Neg(Zero)) -> True
16.69/6.19	   new_primEqInt(Neg(Zero), Pos(Zero)) -> True
16.69/6.19	   new_esEs23(yv100, yv1100, ty_Double) -> new_esEs13(yv100, yv1100)
16.69/6.19	   new_esEs26(yv100, yv1100, ty_Integer) -> new_esEs9(yv100, yv1100)
16.69/6.19	   new_esEs25(yv102, yv1102, ty_Bool) -> new_esEs12(yv102, yv1102)
16.69/6.19	   new_esEs19(Right(yv100), Right(yv1100), cb, app(app(ty_@2, ec), ed)) -> new_esEs16(yv100, yv1100, ec, ed)
16.69/6.19	   new_esEs25(yv102, yv1102, ty_@0) -> new_esEs10(yv102, yv1102)
16.69/6.19	   new_primEqNat0(Zero, Zero) -> True
16.69/6.19	   new_esEs25(yv102, yv1102, ty_Int) -> new_esEs8(yv102, yv1102)
16.69/6.19	   new_esEs21(yv100, yv1100, ty_Char) -> new_esEs14(yv100, yv1100)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), ty_Int, cc) -> new_esEs8(yv100, yv1100)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), ty_@0, cc) -> new_esEs10(yv100, yv1100)
16.69/6.19	   new_asAs(False, yv63) -> False
16.69/6.19	   new_esEs25(yv102, yv1102, app(app(ty_@2, bdh), bea)) -> new_esEs16(yv102, yv1102, bdh, bea)
16.69/6.19	   new_esEs17(:(yv100, yv101), [], ca) -> False
16.69/6.19	   new_esEs17([], :(yv1100, yv1101), ca) -> False
16.69/6.19	   new_esEs25(yv102, yv1102, ty_Integer) -> new_esEs9(yv102, yv1102)
16.69/6.19	   new_esEs19(Left(yv100), Right(yv1100), cb, cc) -> False
16.69/6.19	   new_esEs19(Right(yv100), Left(yv1100), cb, cc) -> False
16.69/6.19	   new_esEs4(yv10, yv110, ty_Double) -> new_esEs13(yv10, yv110)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), ty_Integer, cc) -> new_esEs9(yv100, yv1100)
16.69/6.19	   new_esEs23(yv100, yv1100, ty_Float) -> new_esEs11(yv100, yv1100)
16.69/6.19	   new_esEs19(Left(yv100), Left(yv1100), app(app(ty_@2, da), db), cc) -> new_esEs16(yv100, yv1100, da, db)
16.69/6.19	   new_esEs7(yv101, yv1101, ty_Int) -> new_esEs8(yv101, yv1101)
16.69/6.19	   new_esEs18(LT, EQ) -> False
16.69/6.19	   new_esEs18(EQ, LT) -> False
16.69/6.19	   new_esEs24(yv101, yv1101, ty_Ordering) -> new_esEs18(yv101, yv1101)
16.69/6.19	   new_esEs4(yv10, yv110, app(app(app(ty_@3, bd), be), bf)) -> new_esEs15(yv10, yv110, bd, be, bf)
16.69/6.19	   new_esEs20(Just(yv100), Just(yv1100), ty_Ordering) -> new_esEs18(yv100, yv1100)
16.69/6.19	   new_esEs7(yv101, yv1101, ty_Integer) -> new_esEs9(yv101, yv1101)
16.69/6.19	   new_esEs22(yv101, yv1101, app(ty_Maybe, bah)) -> new_esEs20(yv101, yv1101, bah)
16.69/6.19	   new_esEs13(Double(yv100, yv101), Double(yv1100, yv1101)) -> new_esEs8(new_sr(yv100, yv1101), new_sr(yv101, yv1100))
16.69/6.19	
16.69/6.19	The set Q consists of the following terms:
16.69/6.19	
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, ty_Char)
16.69/6.19	   new_esEs26(x0, x1, ty_Float)
16.69/6.19	   new_esEs23(x0, x1, app(app(ty_Either, x2), x3))
16.69/6.19	   new_esEs23(x0, x1, app(ty_Maybe, x2))
16.69/6.19	   new_primEqNat0(Succ(x0), Succ(x1))
16.69/6.19	   new_esEs19(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
16.69/6.19	   new_esEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.69/6.19	   new_esEs26(x0, x1, ty_Ordering)
16.69/6.19	   new_esEs26(x0, x1, ty_Double)
16.69/6.19	   new_esEs24(x0, x1, app(ty_Maybe, x2))
16.69/6.19	   new_esEs22(x0, x1, ty_Char)
16.69/6.19	   new_esEs4(x0, x1, ty_Float)
16.69/6.19	   new_primMulNat0(Zero, Zero)
16.69/6.19	   new_esEs19(Left(x0), Left(x1), ty_Bool, x2)
16.69/6.19	   new_esEs23(x0, x1, ty_Float)
16.69/6.19	   new_primPlusNat1(Zero, Zero)
16.69/6.19	   new_esEs5(:%(x0, x1), :%(x2, x3), x4)
16.69/6.19	   new_esEs21(x0, x1, app(ty_Maybe, x2))
16.69/6.19	   new_esEs4(x0, x1, ty_Ordering)
16.69/6.19	   new_esEs19(Left(x0), Left(x1), ty_Integer, x2)
16.69/6.19	   new_primEqInt(Neg(Succ(x0)), Neg(Zero))
16.69/6.19	   new_esEs23(x0, x1, ty_Double)
16.69/6.19	   new_esEs4(x0, x1, app(ty_[], x2))
16.69/6.19	   new_esEs21(x0, x1, ty_Float)
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, ty_Int)
16.69/6.19	   new_esEs24(x0, x1, ty_Char)
16.69/6.19	   new_esEs21(x0, x1, app(ty_Ratio, x2))
16.69/6.19	   new_esEs23(x0, x1, app(ty_Ratio, x2))
16.69/6.19	   new_esEs4(x0, x1, app(ty_Ratio, x2))
16.69/6.19	   new_esEs26(x0, x1, app(ty_[], x2))
16.69/6.19	   new_esEs19(Left(x0), Left(x1), ty_@0, x2)
16.69/6.19	   new_primEqInt(Pos(Zero), Pos(Zero))
16.69/6.19	   new_esEs19(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
16.69/6.19	   new_esEs25(x0, x1, ty_@0)
16.69/6.19	   new_esEs24(x0, x1, ty_Int)
16.69/6.19	   new_esEs18(EQ, GT)
16.69/6.19	   new_esEs18(GT, EQ)
16.69/6.19	   new_primEqInt(Pos(Succ(x0)), Pos(Zero))
16.69/6.19	   new_esEs23(x0, x1, ty_Int)
16.69/6.19	   new_esEs20(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
16.69/6.19	   new_esEs23(x0, x1, app(ty_[], x2))
16.69/6.19	   new_esEs24(x0, x1, app(ty_Ratio, x2))
16.69/6.19	   new_esEs22(x0, x1, app(app(ty_Either, x2), x3))
16.69/6.19	   new_esEs24(x0, x1, ty_Ordering)
16.69/6.19	   new_esEs23(x0, x1, ty_Ordering)
16.69/6.19	   new_primEqInt(Neg(Zero), Neg(Zero))
16.69/6.19	   new_esEs20(Just(x0), Just(x1), ty_Double)
16.69/6.19	   new_esEs26(x0, x1, ty_Int)
16.69/6.19	   new_esEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.69/6.19	   new_esEs12(False, True)
16.69/6.19	   new_esEs12(True, False)
16.69/6.19	   new_sr(Pos(x0), Neg(x1))
16.69/6.19	   new_sr(Neg(x0), Pos(x1))
16.69/6.19	   new_esEs22(x0, x1, ty_Bool)
16.69/6.19	   new_esEs22(x0, x1, ty_Float)
16.69/6.19	   new_asAs(False, x0)
16.69/6.19	   new_esEs11(Float(x0, x1), Float(x2, x3))
16.69/6.19	   new_esEs20(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
16.69/6.19	   new_esEs19(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
16.69/6.19	   new_esEs24(x0, x1, ty_Float)
16.69/6.19	   new_esEs20(Just(x0), Just(x1), ty_Float)
16.69/6.19	   new_esEs22(x0, x1, ty_Double)
16.69/6.19	   new_esEs25(x0, x1, ty_Int)
16.69/6.19	   new_sr(Pos(x0), Pos(x1))
16.69/6.19	   new_esEs12(False, False)
16.69/6.19	   new_esEs4(x0, x1, app(app(ty_Either, x2), x3))
16.69/6.19	   new_esEs4(x0, x1, ty_Integer)
16.69/6.19	   new_esEs26(x0, x1, ty_Char)
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, ty_Ordering)
16.69/6.19	   new_esEs20(Just(x0), Just(x1), ty_@0)
16.69/6.19	   new_esEs19(Left(x0), Left(x1), app(ty_[], x2), x3)
16.69/6.19	   new_esEs7(x0, x1, ty_Integer)
16.69/6.19	   new_esEs19(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
16.69/6.19	   new_esEs8(x0, x1)
16.69/6.19	   new_esEs23(x0, x1, ty_Char)
16.69/6.19	   new_esEs21(x0, x1, app(app(ty_Either, x2), x3))
16.69/6.19	   new_esEs25(x0, x1, ty_Char)
16.69/6.19	   new_esEs26(x0, x1, ty_Integer)
16.69/6.19	   new_esEs16(@2(x0, x1), @2(x2, x3), x4, x5)
16.69/6.19	   new_esEs19(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
16.69/6.19	   new_esEs25(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.69/6.19	   new_esEs26(x0, x1, app(app(ty_Either, x2), x3))
16.69/6.19	   new_esEs15(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
16.69/6.19	   new_esEs25(x0, x1, app(ty_Ratio, x2))
16.69/6.19	   new_esEs14(Char(x0), Char(x1))
16.69/6.19	   new_primEqInt(Pos(Zero), Neg(Zero))
16.69/6.19	   new_primEqInt(Neg(Zero), Pos(Zero))
16.69/6.19	   new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1)))
16.69/6.19	   new_esEs25(x0, x1, ty_Double)
16.69/6.19	   new_primMulNat0(Zero, Succ(x0))
16.69/6.19	   new_esEs25(x0, x1, app(app(ty_Either, x2), x3))
16.69/6.19	   new_esEs21(x0, x1, ty_Ordering)
16.69/6.19	   new_esEs25(x0, x1, app(ty_Maybe, x2))
16.69/6.19	   new_esEs25(x0, x1, app(ty_[], x2))
16.69/6.19	   new_esEs6(x0, x1, ty_Int)
16.69/6.19	   new_esEs20(Just(x0), Nothing, x1)
16.69/6.19	   new_esEs23(x0, x1, ty_Bool)
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, ty_Integer)
16.69/6.19	   new_primEqInt(Pos(Succ(x0)), Neg(x1))
16.69/6.19	   new_primEqInt(Neg(Succ(x0)), Pos(x1))
16.69/6.19	   new_esEs22(x0, x1, ty_@0)
16.69/6.19	   new_esEs18(LT, LT)
16.69/6.19	   new_esEs26(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.69/6.19	   new_esEs25(x0, x1, ty_Bool)
16.69/6.19	   new_esEs22(x0, x1, ty_Int)
16.69/6.19	   new_esEs18(LT, GT)
16.69/6.19	   new_esEs18(GT, LT)
16.69/6.19	   new_esEs24(x0, x1, app(ty_[], x2))
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
16.69/6.19	   new_esEs26(x0, x1, ty_Bool)
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
16.69/6.19	   new_esEs19(Left(x0), Left(x1), ty_Ordering, x2)
16.69/6.19	   new_primEqInt(Neg(Zero), Neg(Succ(x0)))
16.69/6.19	   new_esEs26(x0, x1, ty_@0)
16.69/6.19	   new_esEs24(x0, x1, ty_Integer)
16.69/6.19	   new_esEs4(x0, x1, app(app(ty_@2, x2), x3))
16.69/6.19	   new_esEs4(x0, x1, app(ty_Maybe, x2))
16.69/6.19	   new_esEs17([], :(x0, x1), x2)
16.69/6.19	   new_esEs19(Left(x0), Left(x1), ty_Float, x2)
16.69/6.19	   new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1)))
16.69/6.19	   new_esEs25(x0, x1, app(app(ty_@2, x2), x3))
16.69/6.19	   new_primEqInt(Pos(Zero), Neg(Succ(x0)))
16.69/6.19	   new_primEqInt(Neg(Zero), Pos(Succ(x0)))
16.69/6.19	   new_esEs13(Double(x0, x1), Double(x2, x3))
16.69/6.19	   new_primEqInt(Pos(Zero), Pos(Succ(x0)))
16.69/6.19	   new_esEs4(x0, x1, ty_Bool)
16.69/6.19	   new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.69/6.19	   new_esEs21(x0, x1, ty_Bool)
16.69/6.19	   new_esEs17(:(x0, x1), :(x2, x3), x4)
16.69/6.19	   new_esEs4(x0, x1, ty_@0)
16.69/6.19	   new_esEs22(x0, x1, ty_Integer)
16.69/6.19	   new_esEs26(x0, x1, app(ty_Ratio, x2))
16.69/6.19	   new_esEs21(x0, x1, ty_Integer)
16.69/6.19	   new_primMulNat0(Succ(x0), Succ(x1))
16.69/6.19	   new_esEs20(Just(x0), Just(x1), ty_Int)
16.69/6.19	   new_esEs20(Nothing, Nothing, x0)
16.69/6.19	   new_primEqNat0(Zero, Succ(x0))
16.69/6.19	   new_esEs25(x0, x1, ty_Float)
16.69/6.19	   new_esEs17(:(x0, x1), [], x2)
16.69/6.19	   new_esEs19(Left(x0), Left(x1), ty_Char, x2)
16.69/6.19	   new_esEs19(Left(x0), Left(x1), ty_Double, x2)
16.69/6.19	   new_esEs23(x0, x1, ty_Integer)
16.69/6.19	   new_esEs24(x0, x1, app(app(ty_@2, x2), x3))
16.69/6.19	   new_primPlusNat1(Succ(x0), Succ(x1))
16.69/6.19	   new_esEs21(x0, x1, app(app(ty_@2, x2), x3))
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
16.69/6.19	   new_esEs19(Left(x0), Left(x1), ty_Int, x2)
16.69/6.19	   new_esEs26(x0, x1, app(ty_Maybe, x2))
16.69/6.19	   new_esEs21(x0, x1, app(ty_[], x2))
16.69/6.19	   new_esEs18(GT, GT)
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
16.69/6.19	   new_esEs25(x0, x1, ty_Ordering)
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, ty_Bool)
16.69/6.19	   new_esEs25(x0, x1, ty_Integer)
16.69/6.19	   new_esEs20(Just(x0), Just(x1), ty_Char)
16.69/6.19	   new_esEs18(LT, EQ)
16.69/6.19	   new_esEs18(EQ, LT)
16.69/6.19	   new_esEs9(Integer(x0), Integer(x1))
16.69/6.19	   new_esEs23(x0, x1, ty_@0)
16.69/6.19	   new_primPlusNat0(Succ(x0), x1)
16.69/6.19	   new_primPlusNat0(Zero, x0)
16.69/6.19	   new_primMulNat0(Succ(x0), Zero)
16.69/6.19	   new_primPlusNat1(Succ(x0), Zero)
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, app(ty_[], x3))
16.69/6.19	   new_primEqNat0(Zero, Zero)
16.69/6.19	   new_esEs17([], [], x0)
16.69/6.19	   new_esEs24(x0, x1, ty_@0)
16.69/6.19	   new_esEs20(Just(x0), Just(x1), app(ty_Maybe, x2))
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, ty_Double)
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, ty_@0)
16.69/6.19	   new_esEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.69/6.19	   new_esEs22(x0, x1, ty_Ordering)
16.69/6.19	   new_esEs12(True, True)
16.69/6.19	   new_sr(Neg(x0), Neg(x1))
16.69/6.19	   new_asAs(True, x0)
16.69/6.19	   new_esEs4(x0, x1, ty_Int)
16.69/6.19	   new_esEs20(Just(x0), Just(x1), ty_Bool)
16.69/6.19	   new_esEs22(x0, x1, app(ty_Ratio, x2))
16.69/6.19	   new_primPlusNat1(Zero, Succ(x0))
16.69/6.19	   new_esEs19(Left(x0), Right(x1), x2, x3)
16.69/6.19	   new_esEs19(Right(x0), Left(x1), x2, x3)
16.69/6.19	   new_esEs24(x0, x1, app(app(ty_Either, x2), x3))
16.69/6.19	   new_esEs6(x0, x1, ty_Integer)
16.69/6.19	   new_esEs22(x0, x1, app(app(ty_@2, x2), x3))
16.69/6.19	   new_esEs24(x0, x1, ty_Double)
16.69/6.19	   new_esEs20(Just(x0), Just(x1), ty_Ordering)
16.69/6.19	   new_esEs20(Nothing, Just(x0), x1)
16.69/6.19	   new_esEs20(Just(x0), Just(x1), app(ty_Ratio, x2))
16.69/6.19	   new_esEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.69/6.19	   new_esEs20(Just(x0), Just(x1), ty_Integer)
16.69/6.19	   new_esEs18(EQ, EQ)
16.69/6.19	   new_esEs26(x0, x1, app(app(ty_@2, x2), x3))
16.69/6.19	   new_esEs21(x0, x1, ty_@0)
16.69/6.19	   new_primEqNat0(Succ(x0), Zero)
16.69/6.19	   new_esEs23(x0, x1, app(app(ty_@2, x2), x3))
16.69/6.19	   new_esEs21(x0, x1, ty_Char)
16.69/6.19	   new_esEs10(@0, @0)
16.69/6.19	   new_esEs22(x0, x1, app(ty_[], x2))
16.69/6.19	   new_esEs21(x0, x1, ty_Double)
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
16.69/6.19	   new_esEs20(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
16.69/6.19	   new_esEs20(Just(x0), Just(x1), app(ty_[], x2))
16.69/6.19	   new_esEs24(x0, x1, ty_Bool)
16.69/6.19	   new_esEs7(x0, x1, ty_Int)
16.69/6.19	   new_esEs22(x0, x1, app(ty_Maybe, x2))
16.69/6.19	   new_esEs19(Right(x0), Right(x1), x2, ty_Float)
16.69/6.19	   new_esEs21(x0, x1, ty_Int)
16.69/6.19	   new_esEs4(x0, x1, ty_Double)
16.69/6.19	   new_esEs4(x0, x1, ty_Char)
16.69/6.19	
16.69/6.19	We have to consider all minimal (P,Q,R)-chains.
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(19) QDPSizeChangeProof (EQUIVALENT)
16.69/6.19	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. 
16.69/6.19	
16.69/6.19	From the DPs we obtained the following set of size-change graphs:
16.69/6.19	*new_listToMaybe(yv40, False, yv42, :(yv430, yv431), yv44, ba) -> new_listToMaybe0(yv42, yv430, new_primPlusNat0(yv44, Zero), yv431, new_primPlusNat0(yv44, Zero), ba)
16.69/6.19	The graph contains the following edges 3 >= 1, 4 > 2, 4 > 4, 6 >= 6
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_listToMaybe0(yv10, yv110, yv32, yv111, yv33, bb) -> new_listToMaybe(yv32, new_esEs4(yv10, yv110, bb), yv10, yv111, yv33, bb)
16.69/6.19	The graph contains the following edges 3 >= 1, 1 >= 3, 4 >= 4, 5 >= 5, 6 >= 6
16.69/6.19	
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(20)
16.69/6.19	YES
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(21)
16.69/6.19	Obligation:
16.69/6.19	Q DP problem:
16.69/6.19	The TRS P consists of the following rules:
16.69/6.19	
16.69/6.19	   new_primEqNat(Succ(yv1000), Succ(yv11000)) -> new_primEqNat(yv1000, yv11000)
16.69/6.19	
16.69/6.19	R is empty.
16.69/6.19	Q is empty.
16.69/6.19	We have to consider all minimal (P,Q,R)-chains.
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(22) QDPSizeChangeProof (EQUIVALENT)
16.69/6.19	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. 
16.69/6.19	
16.69/6.19	From the DPs we obtained the following set of size-change graphs:
16.69/6.19	*new_primEqNat(Succ(yv1000), Succ(yv11000)) -> new_primEqNat(yv1000, yv11000)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2
16.69/6.19	
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(23)
16.69/6.19	YES
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(24)
16.69/6.19	Obligation:
16.69/6.19	Q DP problem:
16.69/6.19	The TRS P consists of the following rules:
16.69/6.19	
16.69/6.19	   new_primPlusNat(Succ(yv6400), Succ(yv1100000)) -> new_primPlusNat(yv6400, yv1100000)
16.69/6.19	
16.69/6.19	R is empty.
16.69/6.19	Q is empty.
16.69/6.19	We have to consider all minimal (P,Q,R)-chains.
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(25) QDPSizeChangeProof (EQUIVALENT)
16.69/6.19	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. 
16.69/6.19	
16.69/6.19	From the DPs we obtained the following set of size-change graphs:
16.69/6.19	*new_primPlusNat(Succ(yv6400), Succ(yv1100000)) -> new_primPlusNat(yv6400, yv1100000)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2
16.69/6.19	
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(26)
16.69/6.19	YES
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(27)
16.69/6.19	Obligation:
16.69/6.19	Q DP problem:
16.69/6.19	The TRS P consists of the following rules:
16.69/6.19	
16.69/6.19	   new_esEs2(Left(yv100), Left(yv1100), app(ty_Maybe, bbh), bbb) -> new_esEs3(yv100, yv1100, bbh)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(ty_[], ed)) -> new_esEs1(yv102, yv1102, ed)
16.69/6.19	   new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(ty_Maybe, bae)) -> new_esEs3(yv100, yv1100, bae)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(app(app(ty_@3, dg), dh), ea)) -> new_esEs(yv102, yv1102, dg, dh, ea)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(ty_Maybe, gb), fc) -> new_esEs3(yv100, yv1100, gb)
16.69/6.19	   new_esEs2(Right(yv100), Right(yv1100), bca, app(app(ty_@2, bce), bcf)) -> new_esEs0(yv100, yv1100, bce, bcf)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(app(ty_@2, da), db), be) -> new_esEs0(yv101, yv1101, da, db)
16.69/6.19	   new_esEs2(Right(yv100), Right(yv1100), bca, app(app(ty_Either, bch), bda)) -> new_esEs2(yv100, yv1100, bch, bda)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(ty_[], bh), bd, be) -> new_esEs1(yv100, yv1100, bh)
16.69/6.19	   new_esEs3(Just(yv100), Just(yv1100), app(app(ty_Either, bea), beb)) -> new_esEs2(yv100, yv1100, bea, beb)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(app(app(ty_@3, eh), fa), fb), fc) -> new_esEs(yv100, yv1100, eh, fa, fb)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(app(ty_@2, gg), gh)) -> new_esEs0(yv101, yv1101, gg, gh)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(ty_Maybe, hd)) -> new_esEs3(yv101, yv1101, hd)
16.69/6.19	   new_esEs2(Left(yv100), Left(yv1100), app(ty_[], bbe), bbb) -> new_esEs1(yv100, yv1100, bbe)
16.69/6.19	   new_esEs2(Right(yv100), Right(yv1100), bca, app(app(app(ty_@3, bcb), bcc), bcd)) -> new_esEs(yv100, yv1100, bcb, bcc, bcd)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(ty_[], dc), be) -> new_esEs1(yv101, yv1101, dc)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(app(ty_Either, hb), hc)) -> new_esEs2(yv101, yv1101, hb, hc)
16.69/6.19	   new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(app(app(ty_@3, he), hf), hg)) -> new_esEs(yv100, yv1100, he, hf, hg)
16.69/6.19	   new_esEs3(Just(yv100), Just(yv1100), app(ty_Maybe, bec)) -> new_esEs3(yv100, yv1100, bec)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(ty_[], fg), fc) -> new_esEs1(yv100, yv1100, fg)
16.69/6.19	   new_esEs3(Just(yv100), Just(yv1100), app(app(app(ty_@3, bdc), bdd), bde)) -> new_esEs(yv100, yv1100, bdc, bdd, bde)
16.69/6.19	   new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(app(ty_Either, bac), bad)) -> new_esEs2(yv100, yv1100, bac, bad)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(app(app(ty_@3, ce), cf), cg), be) -> new_esEs(yv101, yv1101, ce, cf, cg)
16.69/6.19	   new_esEs3(Just(yv100), Just(yv1100), app(ty_[], bdh)) -> new_esEs1(yv100, yv1100, bdh)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(app(ty_Either, ee), ef)) -> new_esEs2(yv102, yv1102, ee, ef)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(ty_[], ha)) -> new_esEs1(yv101, yv1101, ha)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(app(ty_@2, eb), ec)) -> new_esEs0(yv102, yv1102, eb, ec)
16.69/6.19	   new_esEs2(Left(yv100), Left(yv1100), app(app(ty_Either, bbf), bbg), bbb) -> new_esEs2(yv100, yv1100, bbf, bbg)
16.69/6.19	   new_esEs2(Right(yv100), Right(yv1100), bca, app(ty_[], bcg)) -> new_esEs1(yv100, yv1100, bcg)
16.69/6.19	   new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(app(ty_@2, hh), baa)) -> new_esEs0(yv100, yv1100, hh, baa)
16.69/6.19	   new_esEs3(Just(yv100), Just(yv1100), app(app(ty_@2, bdf), bdg)) -> new_esEs0(yv100, yv1100, bdf, bdg)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(app(ty_Either, dd), de), be) -> new_esEs2(yv101, yv1101, dd, de)
16.69/6.19	   new_esEs2(Right(yv100), Right(yv1100), bca, app(ty_Maybe, bdb)) -> new_esEs3(yv100, yv1100, bdb)
16.69/6.19	   new_esEs1(:(yv100, yv101), :(yv1100, yv1101), baf) -> new_esEs1(yv101, yv1101, baf)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(app(ty_@3, ba), bb), bc), bd, be) -> new_esEs(yv100, yv1100, ba, bb, bc)
16.69/6.19	   new_esEs2(Left(yv100), Left(yv1100), app(app(ty_@2, bbc), bbd), bbb) -> new_esEs0(yv100, yv1100, bbc, bbd)
16.69/6.19	   new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(ty_[], bab)) -> new_esEs1(yv100, yv1100, bab)
16.69/6.19	   new_esEs2(Left(yv100), Left(yv1100), app(app(app(ty_@3, bag), bah), bba), bbb) -> new_esEs(yv100, yv1100, bag, bah, bba)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(ty_Maybe, eg)) -> new_esEs3(yv102, yv1102, eg)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(ty_Either, ca), cb), bd, be) -> new_esEs2(yv100, yv1100, ca, cb)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(ty_Maybe, df), be) -> new_esEs3(yv101, yv1101, df)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(app(ty_@2, fd), ff), fc) -> new_esEs0(yv100, yv1100, fd, ff)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(app(ty_Either, fh), ga), fc) -> new_esEs2(yv100, yv1100, fh, ga)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(ty_@2, bf), bg), bd, be) -> new_esEs0(yv100, yv1100, bf, bg)
16.69/6.19	   new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(app(app(ty_@3, gd), ge), gf)) -> new_esEs(yv101, yv1101, gd, ge, gf)
16.69/6.19	   new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(ty_Maybe, cc), bd, be) -> new_esEs3(yv100, yv1100, cc)
16.69/6.19	
16.69/6.19	R is empty.
16.69/6.19	Q is empty.
16.69/6.19	We have to consider all minimal (P,Q,R)-chains.
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(28) QDPSizeChangeProof (EQUIVALENT)
16.69/6.19	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. 
16.69/6.19	
16.69/6.19	From the DPs we obtained the following set of size-change graphs:
16.69/6.19	*new_esEs3(Just(yv100), Just(yv1100), app(app(ty_Either, bea), beb)) -> new_esEs2(yv100, yv1100, bea, beb)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs3(Just(yv100), Just(yv1100), app(app(app(ty_@3, bdc), bdd), bde)) -> new_esEs(yv100, yv1100, bdc, bdd, bde)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(app(ty_Either, bac), bad)) -> new_esEs2(yv100, yv1100, bac, bad)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(app(app(ty_@3, he), hf), hg)) -> new_esEs(yv100, yv1100, he, hf, hg)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs3(Just(yv100), Just(yv1100), app(ty_[], bdh)) -> new_esEs1(yv100, yv1100, bdh)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs3(Just(yv100), Just(yv1100), app(app(ty_@2, bdf), bdg)) -> new_esEs0(yv100, yv1100, bdf, bdg)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs3(Just(yv100), Just(yv1100), app(ty_Maybe, bec)) -> new_esEs3(yv100, yv1100, bec)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(app(ty_@2, hh), baa)) -> new_esEs0(yv100, yv1100, hh, baa)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(ty_Maybe, bae)) -> new_esEs3(yv100, yv1100, bae)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(app(ty_Either, ee), ef)) -> new_esEs2(yv102, yv1102, ee, ef)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(app(ty_Either, dd), de), be) -> new_esEs2(yv101, yv1101, dd, de)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(ty_Either, ca), cb), bd, be) -> new_esEs2(yv100, yv1100, ca, cb)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(app(ty_Either, hb), hc)) -> new_esEs2(yv101, yv1101, hb, hc)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(app(ty_Either, fh), ga), fc) -> new_esEs2(yv100, yv1100, fh, ga)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Right(yv100), Right(yv1100), bca, app(app(ty_Either, bch), bda)) -> new_esEs2(yv100, yv1100, bch, bda)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Left(yv100), Left(yv1100), app(app(ty_Either, bbf), bbg), bbb) -> new_esEs2(yv100, yv1100, bbf, bbg)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs1(:(yv100, yv101), :(yv1100, yv1101), baf) -> new_esEs1(yv101, yv1101, baf)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs1(:(yv100, yv101), :(yv1100, yv1101), app(ty_[], bab)) -> new_esEs1(yv100, yv1100, bab)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(app(app(ty_@3, dg), dh), ea)) -> new_esEs(yv102, yv1102, dg, dh, ea)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(app(app(ty_@3, ce), cf), cg), be) -> new_esEs(yv101, yv1101, ce, cf, cg)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(app(ty_@3, ba), bb), bc), bd, be) -> new_esEs(yv100, yv1100, ba, bb, bc)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(app(app(ty_@3, eh), fa), fb), fc) -> new_esEs(yv100, yv1100, eh, fa, fb)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(app(app(ty_@3, gd), ge), gf)) -> new_esEs(yv101, yv1101, gd, ge, gf)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Right(yv100), Right(yv1100), bca, app(app(app(ty_@3, bcb), bcc), bcd)) -> new_esEs(yv100, yv1100, bcb, bcc, bcd)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Left(yv100), Left(yv1100), app(app(app(ty_@3, bag), bah), bba), bbb) -> new_esEs(yv100, yv1100, bag, bah, bba)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(ty_[], ed)) -> new_esEs1(yv102, yv1102, ed)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(ty_[], bh), bd, be) -> new_esEs1(yv100, yv1100, bh)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(ty_[], dc), be) -> new_esEs1(yv101, yv1101, dc)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(ty_[], fg), fc) -> new_esEs1(yv100, yv1100, fg)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(ty_[], ha)) -> new_esEs1(yv101, yv1101, ha)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Left(yv100), Left(yv1100), app(ty_[], bbe), bbb) -> new_esEs1(yv100, yv1100, bbe)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Right(yv100), Right(yv1100), bca, app(ty_[], bcg)) -> new_esEs1(yv100, yv1100, bcg)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(app(ty_@2, da), db), be) -> new_esEs0(yv101, yv1101, da, db)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(app(ty_@2, eb), ec)) -> new_esEs0(yv102, yv1102, eb, ec)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(ty_@2, bf), bg), bd, be) -> new_esEs0(yv100, yv1100, bf, bg)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, bd, app(ty_Maybe, eg)) -> new_esEs3(yv102, yv1102, eg)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), cd, app(ty_Maybe, df), be) -> new_esEs3(yv101, yv1101, df)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(ty_Maybe, cc), bd, be) -> new_esEs3(yv100, yv1100, cc)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(app(ty_@2, gg), gh)) -> new_esEs0(yv101, yv1101, gg, gh)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(app(ty_@2, fd), ff), fc) -> new_esEs0(yv100, yv1100, fd, ff)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Right(yv100), Right(yv1100), bca, app(app(ty_@2, bce), bcf)) -> new_esEs0(yv100, yv1100, bce, bcf)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Left(yv100), Left(yv1100), app(app(ty_@2, bbc), bbd), bbb) -> new_esEs0(yv100, yv1100, bbc, bbd)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), app(ty_Maybe, gb), fc) -> new_esEs3(yv100, yv1100, gb)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs0(@2(yv100, yv101), @2(yv1100, yv1101), gc, app(ty_Maybe, hd)) -> new_esEs3(yv101, yv1101, hd)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Left(yv100), Left(yv1100), app(ty_Maybe, bbh), bbb) -> new_esEs3(yv100, yv1100, bbh)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	*new_esEs2(Right(yv100), Right(yv1100), bca, app(ty_Maybe, bdb)) -> new_esEs3(yv100, yv1100, bdb)
16.69/6.19	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.69/6.19	
16.69/6.19	
16.69/6.19	----------------------------------------
16.69/6.19	
16.69/6.19	(29)
16.69/6.19	YES
16.75/11.56	EOF