12.76/5.18	YES
14.84/5.88	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
14.84/5.88	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
14.84/5.88	
14.84/5.88	
14.84/5.88	H-Termination with start terms of the given HASKELL could be proven:
14.84/5.88	
14.84/5.88	(0) HASKELL
14.84/5.88	(1) LR [EQUIVALENT, 0 ms]
14.84/5.88	(2) HASKELL
14.84/5.88	(3) CR [EQUIVALENT, 0 ms]
14.84/5.88	(4) HASKELL
14.84/5.88	(5) IFR [EQUIVALENT, 0 ms]
14.84/5.88	(6) HASKELL
14.84/5.88	(7) BR [EQUIVALENT, 0 ms]
14.84/5.88	(8) HASKELL
14.84/5.88	(9) COR [EQUIVALENT, 11 ms]
14.84/5.88	(10) HASKELL
14.84/5.88	(11) NumRed [SOUND, 0 ms]
14.84/5.88	(12) HASKELL
14.84/5.88	(13) Narrow [SOUND, 0 ms]
14.84/5.88	(14) AND
14.84/5.88	    (15) QDP
14.84/5.88	        (16) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.84/5.88	        (17) YES
14.84/5.88	    (18) QDP
14.84/5.88	        (19) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.84/5.88	        (20) YES
14.84/5.88	    (21) QDP
14.84/5.88	        (22) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.84/5.88	        (23) YES
14.84/5.88	    (24) QDP
14.84/5.88	        (25) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.84/5.88	        (26) YES
14.84/5.88	    (27) QDP
14.84/5.88	        (28) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.84/5.88	        (29) YES
14.84/5.88	
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(0)
14.84/5.88	Obligation:
14.84/5.88	mainModule Main 
14.84/5.88	module Maybe where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	module List where {
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	elemIndices :: Eq a => a  ->  [a]  ->  [Int];
14.84/5.88	elemIndices x = findIndices (== x);
14.84/5.88	
14.84/5.88	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
14.84/5.88	findIndices p xs = concatMap (\vv1 ->case vv1 of { 
14.84/5.88	(x,i)->  if p x then i : [] else []; 
14.84/5.88	_-> []; 
14.84/5.88	 } ) (zip xs (enumFrom 0));
14.84/5.88	
14.84/5.88	}
14.84/5.88	module Main where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(1) LR (EQUIVALENT)
14.84/5.88	Lambda Reductions:
14.84/5.88	The following Lambda expression
14.84/5.88	"\ab->(a,b)"
14.84/5.88	is transformed to
14.84/5.88	"zip0 a b = (a,b);
14.84/5.88	"
14.84/5.88	The following Lambda expression
14.84/5.88	"\vv1->case vv1 of {
14.84/5.88	(x,i)  -> if p x then i : [] else [];
14.84/5.88	_  -> []}
14.84/5.88	"
14.84/5.88	is transformed to
14.84/5.88	"findIndices0 p vv1 = case vv1 of {
14.84/5.88	(x,i)  -> if p x then i : [] else [];
14.84/5.88	_  -> []}
14.84/5.88	;
14.84/5.88	"
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(2)
14.84/5.88	Obligation:
14.84/5.88	mainModule Main 
14.84/5.88	module Maybe where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	module List where {
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	elemIndices :: Eq a => a  ->  [a]  ->  [Int];
14.84/5.88	elemIndices x = findIndices (== x);
14.84/5.88	
14.84/5.88	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
14.84/5.88	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
14.84/5.88	
14.84/5.88	findIndices0 p vv1 = case vv1 of { 
14.84/5.88	(x,i)->  if p x then i : [] else []; 
14.84/5.88	_-> []; 
14.84/5.88	 } ;
14.84/5.88	
14.84/5.88	}
14.84/5.88	module Main where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(3) CR (EQUIVALENT)
14.84/5.88	Case Reductions:
14.84/5.88	The following Case expression
14.84/5.88	"case vv1 of {
14.84/5.88	(x,i)  -> if p x then i : [] else [];
14.84/5.88	_  -> []}
14.84/5.88	"
14.84/5.88	is transformed to
14.84/5.88	"findIndices00 p (x,i) = if p x then i : [] else [];
14.84/5.88	findIndices00 p _ = [];
14.84/5.88	"
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(4)
14.84/5.88	Obligation:
14.84/5.88	mainModule Main 
14.84/5.88	module Maybe where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	module List where {
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	elemIndices :: Eq a => a  ->  [a]  ->  [Int];
14.84/5.88	elemIndices x = findIndices (== x);
14.84/5.88	
14.84/5.88	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
14.84/5.88	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
14.84/5.88	
14.84/5.88	findIndices0 p vv1 = findIndices00 p vv1;
14.84/5.88	
14.84/5.88	findIndices00 p (x,i) =  if p x then i : [] else [];
14.84/5.88	findIndices00 p _ = [];
14.84/5.88	
14.84/5.88	}
14.84/5.88	module Main where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(5) IFR (EQUIVALENT)
14.84/5.88	If Reductions:
14.84/5.88	The following If expression
14.84/5.88	"if p x then i : [] else []"
14.84/5.88	is transformed to
14.84/5.88	"findIndices000 i True = i : [];
14.84/5.88	findIndices000 i False = [];
14.84/5.88	"
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(6)
14.84/5.88	Obligation:
14.84/5.88	mainModule Main 
14.84/5.88	module Maybe where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	module List where {
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	elemIndices :: Eq a => a  ->  [a]  ->  [Int];
14.84/5.88	elemIndices x = findIndices (== x);
14.84/5.88	
14.84/5.88	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
14.84/5.88	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
14.84/5.88	
14.84/5.88	findIndices0 p vv1 = findIndices00 p vv1;
14.84/5.88	
14.84/5.88	findIndices00 p (x,i) = findIndices000 i (p x);
14.84/5.88	findIndices00 p _ = [];
14.84/5.88	
14.84/5.88	findIndices000 i True = i : [];
14.84/5.88	findIndices000 i False = [];
14.84/5.88	
14.84/5.88	}
14.84/5.88	module Main where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(7) BR (EQUIVALENT)
14.84/5.88	Replaced joker patterns by fresh variables and removed binding patterns.
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(8)
14.84/5.88	Obligation:
14.84/5.88	mainModule Main 
14.84/5.88	module Maybe where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	module List where {
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	elemIndices :: Eq a => a  ->  [a]  ->  [Int];
14.84/5.88	elemIndices x = findIndices (== x);
14.84/5.88	
14.84/5.88	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
14.84/5.88	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
14.84/5.88	
14.84/5.88	findIndices0 p vv1 = findIndices00 p vv1;
14.84/5.88	
14.84/5.88	findIndices00 p (x,i) = findIndices000 i (p x);
14.84/5.88	findIndices00 p xz = [];
14.84/5.88	
14.84/5.88	findIndices000 i True = i : [];
14.84/5.88	findIndices000 i False = [];
14.84/5.88	
14.84/5.88	}
14.84/5.88	module Main where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(9) COR (EQUIVALENT)
14.84/5.88	Cond Reductions:
14.84/5.88	The following Function with conditions
14.84/5.88	"undefined |Falseundefined;
14.84/5.88	"
14.84/5.88	is transformed to
14.84/5.88	"undefined  = undefined1;
14.84/5.88	"
14.84/5.88	"undefined0 True = undefined;
14.84/5.88	"
14.84/5.88	"undefined1  = undefined0 False;
14.84/5.88	"
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(10)
14.84/5.88	Obligation:
14.84/5.88	mainModule Main 
14.84/5.88	module Maybe where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	module List where {
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	elemIndices :: Eq a => a  ->  [a]  ->  [Int];
14.84/5.88	elemIndices x = findIndices (== x);
14.84/5.88	
14.84/5.88	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
14.84/5.88	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));
14.84/5.88	
14.84/5.88	findIndices0 p vv1 = findIndices00 p vv1;
14.84/5.88	
14.84/5.88	findIndices00 p (x,i) = findIndices000 i (p x);
14.84/5.88	findIndices00 p xz = [];
14.84/5.88	
14.84/5.88	findIndices000 i True = i : [];
14.84/5.88	findIndices000 i False = [];
14.84/5.88	
14.84/5.88	}
14.84/5.88	module Main where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(11) NumRed (SOUND)
14.84/5.88	Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(12)
14.84/5.88	Obligation:
14.84/5.88	mainModule Main 
14.84/5.88	module Maybe where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	module List where {
14.84/5.88	import qualified Main;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	elemIndices :: Eq a => a  ->  [a]  ->  [Int];
14.84/5.88	elemIndices x = findIndices (== x);
14.84/5.88	
14.84/5.88	findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
14.84/5.88	findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero)));
14.84/5.88	
14.84/5.88	findIndices0 p vv1 = findIndices00 p vv1;
14.84/5.88	
14.84/5.88	findIndices00 p (x,i) = findIndices000 i (p x);
14.84/5.88	findIndices00 p xz = [];
14.84/5.88	
14.84/5.88	findIndices000 i True = i : [];
14.84/5.88	findIndices000 i False = [];
14.84/5.88	
14.84/5.88	}
14.84/5.88	module Main where {
14.84/5.88	import qualified List;
14.84/5.88	import qualified Maybe;
14.84/5.88	import qualified Prelude;
14.84/5.88	}
14.84/5.88	
14.84/5.88	----------------------------------------
14.84/5.88	
14.84/5.88	(13) Narrow (SOUND)
14.84/5.88	Haskell To QDPs
14.84/5.88	
14.84/5.88	digraph dp_graph {
14.84/5.88	node [outthreshold=100, inthreshold=100];1[label="List.elemIndices",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
14.84/5.88	3[label="List.elemIndices yu3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
14.84/5.88	4[label="List.elemIndices yu3 yu4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
14.84/5.88	5[label="List.findIndices (yu3 ==) yu4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
14.84/5.88	6[label="concatMap (List.findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero)))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
14.84/5.88	7[label="concat . map (List.findIndices0 (yu3 ==))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
14.84/5.88	8[label="concat (map (List.findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
14.84/5.88	9[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
14.84/5.88	10[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4 (enumFrom (Pos Zero))))",fontsize=16,color="burlywood",shape="box"];1577[label="yu4/yu40 : yu41",fontsize=10,color="white",style="solid",shape="box"];10 -> 1577[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1577 -> 11[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1578[label="yu4/[]",fontsize=10,color="white",style="solid",shape="box"];10 -> 1578[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1578 -> 12[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	11[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3];
14.84/5.88	12[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 [] (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];12 -> 14[label="",style="solid", color="black", weight=3];
14.84/5.88	13[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (numericEnumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3];
14.84/5.88	14[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) [])",fontsize=16,color="black",shape="triangle"];14 -> 16[label="",style="solid", color="black", weight=3];
14.84/5.88	15[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (Pos Zero : (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3];
14.84/5.88	16[label="foldr (++) [] []",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3];
14.84/5.88	17[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zip0 yu40 (Pos Zero) : zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
14.84/5.88	18[label="[]",fontsize=16,color="green",shape="box"];19[label="foldr (++) [] (List.findIndices0 (yu3 ==) (zip0 yu40 (Pos Zero)) : map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
14.84/5.88	20 -> 795[label="",style="dashed", color="red", weight=0];
14.84/5.88	20[label="(++) List.findIndices0 (yu3 ==) (zip0 yu40 (Pos Zero)) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];20 -> 796[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	20 -> 797[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	20 -> 798[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	796[label="yu40",fontsize=16,color="green",shape="box"];797[label="Zero",fontsize=16,color="green",shape="box"];798 -> 957[label="",style="dashed", color="red", weight=0];
14.84/5.88	798[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];798 -> 958[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	798 -> 959[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	795[label="(++) List.findIndices0 (yu3 ==) (zip0 yu4110 (Pos yu27)) yu29",fontsize=16,color="black",shape="triangle"];795 -> 802[label="",style="solid", color="black", weight=3];
14.84/5.88	958[label="yu41",fontsize=16,color="green",shape="box"];959[label="Zero",fontsize=16,color="green",shape="box"];957[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu411 (numericEnumFrom $! Pos yu48 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="triangle"];1579[label="yu411/yu4110 : yu4111",fontsize=10,color="white",style="solid",shape="box"];957 -> 1579[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1579 -> 961[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1580[label="yu411/[]",fontsize=10,color="white",style="solid",shape="box"];957 -> 1580[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1580 -> 962[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	802[label="(++) List.findIndices00 (yu3 ==) (zip0 yu4110 (Pos yu27)) yu29",fontsize=16,color="black",shape="box"];802 -> 805[label="",style="solid", color="black", weight=3];
14.84/5.88	961[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (numericEnumFrom $! Pos yu48 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];961 -> 965[label="",style="solid", color="black", weight=3];
14.84/5.88	962[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yu48 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];962 -> 966[label="",style="solid", color="black", weight=3];
14.84/5.88	805[label="(++) List.findIndices00 (yu3 ==) (yu4110,Pos yu27) yu29",fontsize=16,color="black",shape="box"];805 -> 807[label="",style="solid", color="black", weight=3];
14.84/5.88	965[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos yu48 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yu48 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];965 -> 975[label="",style="solid", color="black", weight=3];
14.84/5.88	966 -> 14[label="",style="dashed", color="red", weight=0];
14.84/5.88	966[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) [])",fontsize=16,color="magenta"];807 -> 911[label="",style="dashed", color="red", weight=0];
14.84/5.88	807[label="(++) List.findIndices000 (Pos yu27) (yu3 == yu4110) yu29",fontsize=16,color="magenta"];807 -> 912[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	807 -> 913[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	807 -> 914[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	975[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos yu48 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yu48 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];975 -> 994[label="",style="solid", color="black", weight=3];
14.84/5.88	912[label="yu3 == yu4110",fontsize=16,color="burlywood",shape="triangle"];1581[label="yu3/yu30 : yu31",fontsize=10,color="white",style="solid",shape="box"];912 -> 1581[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1581 -> 936[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1582[label="yu3/[]",fontsize=10,color="white",style="solid",shape="box"];912 -> 1582[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1582 -> 937[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	913[label="yu29",fontsize=16,color="green",shape="box"];914[label="yu27",fontsize=16,color="green",shape="box"];911[label="(++) List.findIndices000 (Pos yu45) yu46 yu47",fontsize=16,color="burlywood",shape="triangle"];1583[label="yu46/False",fontsize=10,color="white",style="solid",shape="box"];911 -> 1583[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1583 -> 938[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1584[label="yu46/True",fontsize=10,color="white",style="solid",shape="box"];911 -> 1584[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1584 -> 939[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	994[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu48) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yu48) (fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];994 -> 1017[label="",style="solid", color="black", weight=3];
14.84/5.88	936[label="yu30 : yu31 == yu4110",fontsize=16,color="burlywood",shape="box"];1585[label="yu4110/yu41100 : yu41101",fontsize=10,color="white",style="solid",shape="box"];936 -> 1585[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1585 -> 941[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1586[label="yu4110/[]",fontsize=10,color="white",style="solid",shape="box"];936 -> 1586[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1586 -> 942[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	937[label="[] == yu4110",fontsize=16,color="burlywood",shape="box"];1587[label="yu4110/yu41100 : yu41101",fontsize=10,color="white",style="solid",shape="box"];937 -> 1587[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1587 -> 943[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1588[label="yu4110/[]",fontsize=10,color="white",style="solid",shape="box"];937 -> 1588[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1588 -> 944[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	938[label="(++) List.findIndices000 (Pos yu45) False yu47",fontsize=16,color="black",shape="box"];938 -> 945[label="",style="solid", color="black", weight=3];
14.84/5.88	939[label="(++) List.findIndices000 (Pos yu45) True yu47",fontsize=16,color="black",shape="box"];939 -> 946[label="",style="solid", color="black", weight=3];
14.84/5.88	1017[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu48) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yu48) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1017 -> 1049[label="",style="solid", color="black", weight=3];
14.84/5.88	941[label="yu30 : yu31 == yu41100 : yu41101",fontsize=16,color="black",shape="box"];941 -> 950[label="",style="solid", color="black", weight=3];
14.84/5.88	942[label="yu30 : yu31 == []",fontsize=16,color="black",shape="box"];942 -> 951[label="",style="solid", color="black", weight=3];
14.84/5.88	943[label="[] == yu41100 : yu41101",fontsize=16,color="black",shape="box"];943 -> 952[label="",style="solid", color="black", weight=3];
14.84/5.88	944[label="[] == []",fontsize=16,color="black",shape="box"];944 -> 953[label="",style="solid", color="black", weight=3];
14.84/5.88	945[label="(++) [] yu47",fontsize=16,color="black",shape="triangle"];945 -> 954[label="",style="solid", color="black", weight=3];
14.84/5.88	946[label="(++) (Pos yu45 : []) yu47",fontsize=16,color="black",shape="box"];946 -> 955[label="",style="solid", color="black", weight=3];
14.84/5.88	1049[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos (primPlusNat yu48 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yu48 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1049 -> 1083[label="",style="solid", color="black", weight=3];
14.84/5.88	950 -> 970[label="",style="dashed", color="red", weight=0];
14.84/5.88	950[label="yu30 == yu41100 && yu31 == yu41101",fontsize=16,color="magenta"];950 -> 971[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	950 -> 972[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	951[label="False",fontsize=16,color="green",shape="box"];952[label="False",fontsize=16,color="green",shape="box"];953[label="True",fontsize=16,color="green",shape="box"];954[label="yu47",fontsize=16,color="green",shape="box"];955[label="Pos yu45 : [] ++ yu47",fontsize=16,color="green",shape="box"];955 -> 967[label="",style="dashed", color="green", weight=3];
14.84/5.88	1083[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (numericEnumFrom (Pos (primPlusNat yu48 (Succ Zero))))))",fontsize=16,color="black",shape="box"];1083 -> 1145[label="",style="solid", color="black", weight=3];
14.84/5.88	971[label="yu30 == yu41100",fontsize=16,color="blue",shape="box"];1589[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1589[label="",style="solid", color="blue", weight=9];
14.84/5.88	1589 -> 976[label="",style="solid", color="blue", weight=3];
14.84/5.88	1590[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1590[label="",style="solid", color="blue", weight=9];
14.84/5.88	1590 -> 977[label="",style="solid", color="blue", weight=3];
14.84/5.88	1591[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1591[label="",style="solid", color="blue", weight=9];
14.84/5.88	1591 -> 978[label="",style="solid", color="blue", weight=3];
14.84/5.88	1592[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1592[label="",style="solid", color="blue", weight=9];
14.84/5.88	1592 -> 979[label="",style="solid", color="blue", weight=3];
14.84/5.88	1593[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1593[label="",style="solid", color="blue", weight=9];
14.84/5.88	1593 -> 980[label="",style="solid", color="blue", weight=3];
14.84/5.88	1594[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1594[label="",style="solid", color="blue", weight=9];
14.84/5.88	1594 -> 981[label="",style="solid", color="blue", weight=3];
14.84/5.88	1595[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1595[label="",style="solid", color="blue", weight=9];
14.84/5.88	1595 -> 982[label="",style="solid", color="blue", weight=3];
14.84/5.88	1596[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1596[label="",style="solid", color="blue", weight=9];
14.84/5.88	1596 -> 983[label="",style="solid", color="blue", weight=3];
14.84/5.88	1597[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1597[label="",style="solid", color="blue", weight=9];
14.84/5.88	1597 -> 984[label="",style="solid", color="blue", weight=3];
14.84/5.88	1598[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1598[label="",style="solid", color="blue", weight=9];
14.84/5.88	1598 -> 985[label="",style="solid", color="blue", weight=3];
14.84/5.88	1599[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1599[label="",style="solid", color="blue", weight=9];
14.84/5.88	1599 -> 986[label="",style="solid", color="blue", weight=3];
14.84/5.88	1600[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1600[label="",style="solid", color="blue", weight=9];
14.84/5.88	1600 -> 987[label="",style="solid", color="blue", weight=3];
14.84/5.88	1601[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1601[label="",style="solid", color="blue", weight=9];
14.84/5.88	1601 -> 988[label="",style="solid", color="blue", weight=3];
14.84/5.88	1602[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];971 -> 1602[label="",style="solid", color="blue", weight=9];
14.84/5.88	1602 -> 989[label="",style="solid", color="blue", weight=3];
14.84/5.88	972 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.88	972[label="yu31 == yu41101",fontsize=16,color="magenta"];972 -> 990[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	972 -> 991[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	970[label="yu53 && yu54",fontsize=16,color="burlywood",shape="triangle"];1603[label="yu53/False",fontsize=10,color="white",style="solid",shape="box"];970 -> 1603[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1603 -> 992[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1604[label="yu53/True",fontsize=10,color="white",style="solid",shape="box"];970 -> 1604[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1604 -> 993[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	967 -> 945[label="",style="dashed", color="red", weight=0];
14.84/5.88	967[label="[] ++ yu47",fontsize=16,color="magenta"];1145[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos (primPlusNat yu48 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yu48 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1145 -> 1298[label="",style="solid", color="black", weight=3];
14.84/5.88	976[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1605[label="yu30/Integer yu300",fontsize=10,color="white",style="solid",shape="box"];976 -> 1605[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1605 -> 995[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	977[label="yu30 == yu41100",fontsize=16,color="black",shape="triangle"];977 -> 996[label="",style="solid", color="black", weight=3];
14.84/5.88	978[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1606[label="yu30/yu300 :% yu301",fontsize=10,color="white",style="solid",shape="box"];978 -> 1606[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1606 -> 997[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	979[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1607[label="yu30/Left yu300",fontsize=10,color="white",style="solid",shape="box"];979 -> 1607[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1607 -> 998[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1608[label="yu30/Right yu300",fontsize=10,color="white",style="solid",shape="box"];979 -> 1608[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1608 -> 999[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	980[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1609[label="yu30/()",fontsize=10,color="white",style="solid",shape="box"];980 -> 1609[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1609 -> 1000[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	981[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1610[label="yu30/(yu300,yu301,yu302)",fontsize=10,color="white",style="solid",shape="box"];981 -> 1610[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1610 -> 1001[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	982[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1611[label="yu30/Nothing",fontsize=10,color="white",style="solid",shape="box"];982 -> 1611[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1611 -> 1002[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1612[label="yu30/Just yu300",fontsize=10,color="white",style="solid",shape="box"];982 -> 1612[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1612 -> 1003[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	983 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.88	983[label="yu30 == yu41100",fontsize=16,color="magenta"];983 -> 1004[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	983 -> 1005[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	984[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1613[label="yu30/LT",fontsize=10,color="white",style="solid",shape="box"];984 -> 1613[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1613 -> 1006[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1614[label="yu30/EQ",fontsize=10,color="white",style="solid",shape="box"];984 -> 1614[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1614 -> 1007[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1615[label="yu30/GT",fontsize=10,color="white",style="solid",shape="box"];984 -> 1615[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1615 -> 1008[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	985[label="yu30 == yu41100",fontsize=16,color="black",shape="triangle"];985 -> 1009[label="",style="solid", color="black", weight=3];
14.84/5.88	986[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1616[label="yu30/(yu300,yu301)",fontsize=10,color="white",style="solid",shape="box"];986 -> 1616[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1616 -> 1010[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	987[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1617[label="yu30/False",fontsize=10,color="white",style="solid",shape="box"];987 -> 1617[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1617 -> 1011[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1618[label="yu30/True",fontsize=10,color="white",style="solid",shape="box"];987 -> 1618[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1618 -> 1012[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	988[label="yu30 == yu41100",fontsize=16,color="black",shape="triangle"];988 -> 1013[label="",style="solid", color="black", weight=3];
14.84/5.88	989[label="yu30 == yu41100",fontsize=16,color="black",shape="triangle"];989 -> 1014[label="",style="solid", color="black", weight=3];
14.84/5.88	990[label="yu41101",fontsize=16,color="green",shape="box"];991[label="yu31",fontsize=16,color="green",shape="box"];992[label="False && yu54",fontsize=16,color="black",shape="box"];992 -> 1015[label="",style="solid", color="black", weight=3];
14.84/5.88	993[label="True && yu54",fontsize=16,color="black",shape="box"];993 -> 1016[label="",style="solid", color="black", weight=3];
14.84/5.88	1298[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zip0 yu4110 (Pos (primPlusNat yu48 (Succ Zero))) : zipWith zip0 yu4111 (numericEnumFrom $! Pos (primPlusNat yu48 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];1298 -> 1442[label="",style="solid", color="black", weight=3];
14.84/5.88	995[label="Integer yu300 == yu41100",fontsize=16,color="burlywood",shape="box"];1619[label="yu41100/Integer yu411000",fontsize=10,color="white",style="solid",shape="box"];995 -> 1619[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1619 -> 1018[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	996[label="primEqChar yu30 yu41100",fontsize=16,color="burlywood",shape="box"];1620[label="yu30/Char yu300",fontsize=10,color="white",style="solid",shape="box"];996 -> 1620[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1620 -> 1019[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	997[label="yu300 :% yu301 == yu41100",fontsize=16,color="burlywood",shape="box"];1621[label="yu41100/yu411000 :% yu411001",fontsize=10,color="white",style="solid",shape="box"];997 -> 1621[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1621 -> 1020[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	998[label="Left yu300 == yu41100",fontsize=16,color="burlywood",shape="box"];1622[label="yu41100/Left yu411000",fontsize=10,color="white",style="solid",shape="box"];998 -> 1622[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1622 -> 1021[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1623[label="yu41100/Right yu411000",fontsize=10,color="white",style="solid",shape="box"];998 -> 1623[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1623 -> 1022[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	999[label="Right yu300 == yu41100",fontsize=16,color="burlywood",shape="box"];1624[label="yu41100/Left yu411000",fontsize=10,color="white",style="solid",shape="box"];999 -> 1624[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1624 -> 1023[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1625[label="yu41100/Right yu411000",fontsize=10,color="white",style="solid",shape="box"];999 -> 1625[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1625 -> 1024[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1000[label="() == yu41100",fontsize=16,color="burlywood",shape="box"];1626[label="yu41100/()",fontsize=10,color="white",style="solid",shape="box"];1000 -> 1626[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1626 -> 1025[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1001[label="(yu300,yu301,yu302) == yu41100",fontsize=16,color="burlywood",shape="box"];1627[label="yu41100/(yu411000,yu411001,yu411002)",fontsize=10,color="white",style="solid",shape="box"];1001 -> 1627[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1627 -> 1026[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1002[label="Nothing == yu41100",fontsize=16,color="burlywood",shape="box"];1628[label="yu41100/Nothing",fontsize=10,color="white",style="solid",shape="box"];1002 -> 1628[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1628 -> 1027[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1629[label="yu41100/Just yu411000",fontsize=10,color="white",style="solid",shape="box"];1002 -> 1629[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1629 -> 1028[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1003[label="Just yu300 == yu41100",fontsize=16,color="burlywood",shape="box"];1630[label="yu41100/Nothing",fontsize=10,color="white",style="solid",shape="box"];1003 -> 1630[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1630 -> 1029[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1631[label="yu41100/Just yu411000",fontsize=10,color="white",style="solid",shape="box"];1003 -> 1631[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1631 -> 1030[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1004[label="yu41100",fontsize=16,color="green",shape="box"];1005[label="yu30",fontsize=16,color="green",shape="box"];1006[label="LT == yu41100",fontsize=16,color="burlywood",shape="box"];1632[label="yu41100/LT",fontsize=10,color="white",style="solid",shape="box"];1006 -> 1632[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1632 -> 1031[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1633[label="yu41100/EQ",fontsize=10,color="white",style="solid",shape="box"];1006 -> 1633[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1633 -> 1032[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1634[label="yu41100/GT",fontsize=10,color="white",style="solid",shape="box"];1006 -> 1634[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1634 -> 1033[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1007[label="EQ == yu41100",fontsize=16,color="burlywood",shape="box"];1635[label="yu41100/LT",fontsize=10,color="white",style="solid",shape="box"];1007 -> 1635[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1635 -> 1034[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1636[label="yu41100/EQ",fontsize=10,color="white",style="solid",shape="box"];1007 -> 1636[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1636 -> 1035[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1637[label="yu41100/GT",fontsize=10,color="white",style="solid",shape="box"];1007 -> 1637[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1637 -> 1036[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1008[label="GT == yu41100",fontsize=16,color="burlywood",shape="box"];1638[label="yu41100/LT",fontsize=10,color="white",style="solid",shape="box"];1008 -> 1638[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1638 -> 1037[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1639[label="yu41100/EQ",fontsize=10,color="white",style="solid",shape="box"];1008 -> 1639[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1639 -> 1038[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1640[label="yu41100/GT",fontsize=10,color="white",style="solid",shape="box"];1008 -> 1640[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1640 -> 1039[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1009[label="primEqDouble yu30 yu41100",fontsize=16,color="burlywood",shape="box"];1641[label="yu30/Double yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];1009 -> 1641[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1641 -> 1040[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1010[label="(yu300,yu301) == yu41100",fontsize=16,color="burlywood",shape="box"];1642[label="yu41100/(yu411000,yu411001)",fontsize=10,color="white",style="solid",shape="box"];1010 -> 1642[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1642 -> 1041[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1011[label="False == yu41100",fontsize=16,color="burlywood",shape="box"];1643[label="yu41100/False",fontsize=10,color="white",style="solid",shape="box"];1011 -> 1643[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1643 -> 1042[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1644[label="yu41100/True",fontsize=10,color="white",style="solid",shape="box"];1011 -> 1644[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1644 -> 1043[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1012[label="True == yu41100",fontsize=16,color="burlywood",shape="box"];1645[label="yu41100/False",fontsize=10,color="white",style="solid",shape="box"];1012 -> 1645[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1645 -> 1044[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1646[label="yu41100/True",fontsize=10,color="white",style="solid",shape="box"];1012 -> 1646[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1646 -> 1045[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1013[label="primEqFloat yu30 yu41100",fontsize=16,color="burlywood",shape="box"];1647[label="yu30/Float yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];1013 -> 1647[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1647 -> 1046[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1014[label="primEqInt yu30 yu41100",fontsize=16,color="burlywood",shape="triangle"];1648[label="yu30/Pos yu300",fontsize=10,color="white",style="solid",shape="box"];1014 -> 1648[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1648 -> 1047[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1649[label="yu30/Neg yu300",fontsize=10,color="white",style="solid",shape="box"];1014 -> 1649[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1649 -> 1048[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1015[label="False",fontsize=16,color="green",shape="box"];1016[label="yu54",fontsize=16,color="green",shape="box"];1442[label="foldr (++) [] (List.findIndices0 (yu3 ==) (zip0 yu4110 (Pos (primPlusNat yu48 (Succ Zero)))) : map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos (primPlusNat yu48 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];1442 -> 1509[label="",style="solid", color="black", weight=3];
14.84/5.88	1018[label="Integer yu300 == Integer yu411000",fontsize=16,color="black",shape="box"];1018 -> 1050[label="",style="solid", color="black", weight=3];
14.84/5.88	1019[label="primEqChar (Char yu300) yu41100",fontsize=16,color="burlywood",shape="box"];1650[label="yu41100/Char yu411000",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1650[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1650 -> 1051[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1020[label="yu300 :% yu301 == yu411000 :% yu411001",fontsize=16,color="black",shape="box"];1020 -> 1052[label="",style="solid", color="black", weight=3];
14.84/5.88	1021[label="Left yu300 == Left yu411000",fontsize=16,color="black",shape="box"];1021 -> 1053[label="",style="solid", color="black", weight=3];
14.84/5.88	1022[label="Left yu300 == Right yu411000",fontsize=16,color="black",shape="box"];1022 -> 1054[label="",style="solid", color="black", weight=3];
14.84/5.88	1023[label="Right yu300 == Left yu411000",fontsize=16,color="black",shape="box"];1023 -> 1055[label="",style="solid", color="black", weight=3];
14.84/5.88	1024[label="Right yu300 == Right yu411000",fontsize=16,color="black",shape="box"];1024 -> 1056[label="",style="solid", color="black", weight=3];
14.84/5.88	1025[label="() == ()",fontsize=16,color="black",shape="box"];1025 -> 1057[label="",style="solid", color="black", weight=3];
14.84/5.88	1026[label="(yu300,yu301,yu302) == (yu411000,yu411001,yu411002)",fontsize=16,color="black",shape="box"];1026 -> 1058[label="",style="solid", color="black", weight=3];
14.84/5.88	1027[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];1027 -> 1059[label="",style="solid", color="black", weight=3];
14.84/5.88	1028[label="Nothing == Just yu411000",fontsize=16,color="black",shape="box"];1028 -> 1060[label="",style="solid", color="black", weight=3];
14.84/5.88	1029[label="Just yu300 == Nothing",fontsize=16,color="black",shape="box"];1029 -> 1061[label="",style="solid", color="black", weight=3];
14.84/5.88	1030[label="Just yu300 == Just yu411000",fontsize=16,color="black",shape="box"];1030 -> 1062[label="",style="solid", color="black", weight=3];
14.84/5.88	1031[label="LT == LT",fontsize=16,color="black",shape="box"];1031 -> 1063[label="",style="solid", color="black", weight=3];
14.84/5.88	1032[label="LT == EQ",fontsize=16,color="black",shape="box"];1032 -> 1064[label="",style="solid", color="black", weight=3];
14.84/5.88	1033[label="LT == GT",fontsize=16,color="black",shape="box"];1033 -> 1065[label="",style="solid", color="black", weight=3];
14.84/5.88	1034[label="EQ == LT",fontsize=16,color="black",shape="box"];1034 -> 1066[label="",style="solid", color="black", weight=3];
14.84/5.88	1035[label="EQ == EQ",fontsize=16,color="black",shape="box"];1035 -> 1067[label="",style="solid", color="black", weight=3];
14.84/5.88	1036[label="EQ == GT",fontsize=16,color="black",shape="box"];1036 -> 1068[label="",style="solid", color="black", weight=3];
14.84/5.88	1037[label="GT == LT",fontsize=16,color="black",shape="box"];1037 -> 1069[label="",style="solid", color="black", weight=3];
14.84/5.88	1038[label="GT == EQ",fontsize=16,color="black",shape="box"];1038 -> 1070[label="",style="solid", color="black", weight=3];
14.84/5.88	1039[label="GT == GT",fontsize=16,color="black",shape="box"];1039 -> 1071[label="",style="solid", color="black", weight=3];
14.84/5.88	1040[label="primEqDouble (Double yu300 yu301) yu41100",fontsize=16,color="burlywood",shape="box"];1651[label="yu41100/Double yu411000 yu411001",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1651[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1651 -> 1072[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1041[label="(yu300,yu301) == (yu411000,yu411001)",fontsize=16,color="black",shape="box"];1041 -> 1073[label="",style="solid", color="black", weight=3];
14.84/5.88	1042[label="False == False",fontsize=16,color="black",shape="box"];1042 -> 1074[label="",style="solid", color="black", weight=3];
14.84/5.88	1043[label="False == True",fontsize=16,color="black",shape="box"];1043 -> 1075[label="",style="solid", color="black", weight=3];
14.84/5.88	1044[label="True == False",fontsize=16,color="black",shape="box"];1044 -> 1076[label="",style="solid", color="black", weight=3];
14.84/5.88	1045[label="True == True",fontsize=16,color="black",shape="box"];1045 -> 1077[label="",style="solid", color="black", weight=3];
14.84/5.88	1046[label="primEqFloat (Float yu300 yu301) yu41100",fontsize=16,color="burlywood",shape="box"];1652[label="yu41100/Float yu411000 yu411001",fontsize=10,color="white",style="solid",shape="box"];1046 -> 1652[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1652 -> 1078[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1047[label="primEqInt (Pos yu300) yu41100",fontsize=16,color="burlywood",shape="box"];1653[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1047 -> 1653[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1653 -> 1079[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1654[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1047 -> 1654[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1654 -> 1080[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1048[label="primEqInt (Neg yu300) yu41100",fontsize=16,color="burlywood",shape="box"];1655[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1048 -> 1655[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1655 -> 1081[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1656[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1048 -> 1656[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1656 -> 1082[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1509 -> 795[label="",style="dashed", color="red", weight=0];
14.84/5.88	1509[label="(++) List.findIndices0 (yu3 ==) (zip0 yu4110 (Pos (primPlusNat yu48 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos (primPlusNat yu48 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];1509 -> 1516[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1509 -> 1517[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1050 -> 1014[label="",style="dashed", color="red", weight=0];
14.84/5.88	1050[label="primEqInt yu300 yu411000",fontsize=16,color="magenta"];1050 -> 1084[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1050 -> 1085[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1051[label="primEqChar (Char yu300) (Char yu411000)",fontsize=16,color="black",shape="box"];1051 -> 1086[label="",style="solid", color="black", weight=3];
14.84/5.88	1052 -> 970[label="",style="dashed", color="red", weight=0];
14.84/5.88	1052[label="yu300 == yu411000 && yu301 == yu411001",fontsize=16,color="magenta"];1052 -> 1087[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1052 -> 1088[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1053[label="yu300 == yu411000",fontsize=16,color="blue",shape="box"];1657[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1657[label="",style="solid", color="blue", weight=9];
14.84/5.88	1657 -> 1089[label="",style="solid", color="blue", weight=3];
14.84/5.88	1658[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1658[label="",style="solid", color="blue", weight=9];
14.84/5.88	1658 -> 1090[label="",style="solid", color="blue", weight=3];
14.84/5.88	1659[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1659[label="",style="solid", color="blue", weight=9];
14.84/5.88	1659 -> 1091[label="",style="solid", color="blue", weight=3];
14.84/5.88	1660[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1660[label="",style="solid", color="blue", weight=9];
14.84/5.88	1660 -> 1092[label="",style="solid", color="blue", weight=3];
14.84/5.88	1661[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1661[label="",style="solid", color="blue", weight=9];
14.84/5.88	1661 -> 1093[label="",style="solid", color="blue", weight=3];
14.84/5.88	1662[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1662[label="",style="solid", color="blue", weight=9];
14.84/5.88	1662 -> 1094[label="",style="solid", color="blue", weight=3];
14.84/5.88	1663[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1663[label="",style="solid", color="blue", weight=9];
14.84/5.88	1663 -> 1095[label="",style="solid", color="blue", weight=3];
14.84/5.88	1664[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1664[label="",style="solid", color="blue", weight=9];
14.84/5.88	1664 -> 1096[label="",style="solid", color="blue", weight=3];
14.84/5.88	1665[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1665[label="",style="solid", color="blue", weight=9];
14.84/5.88	1665 -> 1097[label="",style="solid", color="blue", weight=3];
14.84/5.88	1666[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1666[label="",style="solid", color="blue", weight=9];
14.84/5.88	1666 -> 1098[label="",style="solid", color="blue", weight=3];
14.84/5.88	1667[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1667[label="",style="solid", color="blue", weight=9];
14.84/5.88	1667 -> 1099[label="",style="solid", color="blue", weight=3];
14.84/5.88	1668[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1668[label="",style="solid", color="blue", weight=9];
14.84/5.88	1668 -> 1100[label="",style="solid", color="blue", weight=3];
14.84/5.88	1669[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1669[label="",style="solid", color="blue", weight=9];
14.84/5.88	1669 -> 1101[label="",style="solid", color="blue", weight=3];
14.84/5.88	1670[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1670[label="",style="solid", color="blue", weight=9];
14.84/5.88	1670 -> 1102[label="",style="solid", color="blue", weight=3];
14.84/5.88	1054[label="False",fontsize=16,color="green",shape="box"];1055[label="False",fontsize=16,color="green",shape="box"];1056[label="yu300 == yu411000",fontsize=16,color="blue",shape="box"];1671[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1671[label="",style="solid", color="blue", weight=9];
14.84/5.88	1671 -> 1103[label="",style="solid", color="blue", weight=3];
14.84/5.88	1672[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1672[label="",style="solid", color="blue", weight=9];
14.84/5.88	1672 -> 1104[label="",style="solid", color="blue", weight=3];
14.84/5.88	1673[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1673[label="",style="solid", color="blue", weight=9];
14.84/5.88	1673 -> 1105[label="",style="solid", color="blue", weight=3];
14.84/5.88	1674[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1674[label="",style="solid", color="blue", weight=9];
14.84/5.88	1674 -> 1106[label="",style="solid", color="blue", weight=3];
14.84/5.88	1675[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1675[label="",style="solid", color="blue", weight=9];
14.84/5.88	1675 -> 1107[label="",style="solid", color="blue", weight=3];
14.84/5.88	1676[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1676[label="",style="solid", color="blue", weight=9];
14.84/5.88	1676 -> 1108[label="",style="solid", color="blue", weight=3];
14.84/5.88	1677[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1677[label="",style="solid", color="blue", weight=9];
14.84/5.88	1677 -> 1109[label="",style="solid", color="blue", weight=3];
14.84/5.88	1678[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1678[label="",style="solid", color="blue", weight=9];
14.84/5.88	1678 -> 1110[label="",style="solid", color="blue", weight=3];
14.84/5.88	1679[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1679[label="",style="solid", color="blue", weight=9];
14.84/5.88	1679 -> 1111[label="",style="solid", color="blue", weight=3];
14.84/5.88	1680[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1680[label="",style="solid", color="blue", weight=9];
14.84/5.88	1680 -> 1112[label="",style="solid", color="blue", weight=3];
14.84/5.88	1681[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1681[label="",style="solid", color="blue", weight=9];
14.84/5.88	1681 -> 1113[label="",style="solid", color="blue", weight=3];
14.84/5.88	1682[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1682[label="",style="solid", color="blue", weight=9];
14.84/5.88	1682 -> 1114[label="",style="solid", color="blue", weight=3];
14.84/5.88	1683[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1683[label="",style="solid", color="blue", weight=9];
14.84/5.88	1683 -> 1115[label="",style="solid", color="blue", weight=3];
14.84/5.88	1684[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1056 -> 1684[label="",style="solid", color="blue", weight=9];
14.84/5.88	1684 -> 1116[label="",style="solid", color="blue", weight=3];
14.84/5.88	1057[label="True",fontsize=16,color="green",shape="box"];1058 -> 970[label="",style="dashed", color="red", weight=0];
14.84/5.88	1058[label="yu300 == yu411000 && yu301 == yu411001 && yu302 == yu411002",fontsize=16,color="magenta"];1058 -> 1117[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1058 -> 1118[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1059[label="True",fontsize=16,color="green",shape="box"];1060[label="False",fontsize=16,color="green",shape="box"];1061[label="False",fontsize=16,color="green",shape="box"];1062[label="yu300 == yu411000",fontsize=16,color="blue",shape="box"];1685[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1685[label="",style="solid", color="blue", weight=9];
14.84/5.88	1685 -> 1119[label="",style="solid", color="blue", weight=3];
14.84/5.88	1686[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1686[label="",style="solid", color="blue", weight=9];
14.84/5.88	1686 -> 1120[label="",style="solid", color="blue", weight=3];
14.84/5.88	1687[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1687[label="",style="solid", color="blue", weight=9];
14.84/5.88	1687 -> 1121[label="",style="solid", color="blue", weight=3];
14.84/5.88	1688[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1688[label="",style="solid", color="blue", weight=9];
14.84/5.88	1688 -> 1122[label="",style="solid", color="blue", weight=3];
14.84/5.88	1689[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1689[label="",style="solid", color="blue", weight=9];
14.84/5.88	1689 -> 1123[label="",style="solid", color="blue", weight=3];
14.84/5.88	1690[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1690[label="",style="solid", color="blue", weight=9];
14.84/5.88	1690 -> 1124[label="",style="solid", color="blue", weight=3];
14.84/5.88	1691[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1691[label="",style="solid", color="blue", weight=9];
14.84/5.88	1691 -> 1125[label="",style="solid", color="blue", weight=3];
14.84/5.88	1692[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1692[label="",style="solid", color="blue", weight=9];
14.84/5.88	1692 -> 1126[label="",style="solid", color="blue", weight=3];
14.84/5.88	1693[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1693[label="",style="solid", color="blue", weight=9];
14.84/5.88	1693 -> 1127[label="",style="solid", color="blue", weight=3];
14.84/5.88	1694[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1694[label="",style="solid", color="blue", weight=9];
14.84/5.88	1694 -> 1128[label="",style="solid", color="blue", weight=3];
14.84/5.88	1695[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1695[label="",style="solid", color="blue", weight=9];
14.84/5.88	1695 -> 1129[label="",style="solid", color="blue", weight=3];
14.84/5.88	1696[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1696[label="",style="solid", color="blue", weight=9];
14.84/5.88	1696 -> 1130[label="",style="solid", color="blue", weight=3];
14.84/5.88	1697[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1697[label="",style="solid", color="blue", weight=9];
14.84/5.88	1697 -> 1131[label="",style="solid", color="blue", weight=3];
14.84/5.88	1698[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1062 -> 1698[label="",style="solid", color="blue", weight=9];
14.84/5.88	1698 -> 1132[label="",style="solid", color="blue", weight=3];
14.84/5.88	1063[label="True",fontsize=16,color="green",shape="box"];1064[label="False",fontsize=16,color="green",shape="box"];1065[label="False",fontsize=16,color="green",shape="box"];1066[label="False",fontsize=16,color="green",shape="box"];1067[label="True",fontsize=16,color="green",shape="box"];1068[label="False",fontsize=16,color="green",shape="box"];1069[label="False",fontsize=16,color="green",shape="box"];1070[label="False",fontsize=16,color="green",shape="box"];1071[label="True",fontsize=16,color="green",shape="box"];1072[label="primEqDouble (Double yu300 yu301) (Double yu411000 yu411001)",fontsize=16,color="black",shape="box"];1072 -> 1133[label="",style="solid", color="black", weight=3];
14.84/5.88	1073 -> 970[label="",style="dashed", color="red", weight=0];
14.84/5.88	1073[label="yu300 == yu411000 && yu301 == yu411001",fontsize=16,color="magenta"];1073 -> 1134[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1073 -> 1135[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1074[label="True",fontsize=16,color="green",shape="box"];1075[label="False",fontsize=16,color="green",shape="box"];1076[label="False",fontsize=16,color="green",shape="box"];1077[label="True",fontsize=16,color="green",shape="box"];1078[label="primEqFloat (Float yu300 yu301) (Float yu411000 yu411001)",fontsize=16,color="black",shape="box"];1078 -> 1136[label="",style="solid", color="black", weight=3];
14.84/5.88	1079[label="primEqInt (Pos (Succ yu3000)) yu41100",fontsize=16,color="burlywood",shape="box"];1699[label="yu41100/Pos yu411000",fontsize=10,color="white",style="solid",shape="box"];1079 -> 1699[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1699 -> 1137[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1700[label="yu41100/Neg yu411000",fontsize=10,color="white",style="solid",shape="box"];1079 -> 1700[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1700 -> 1138[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1080[label="primEqInt (Pos Zero) yu41100",fontsize=16,color="burlywood",shape="box"];1701[label="yu41100/Pos yu411000",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1701[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1701 -> 1139[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1702[label="yu41100/Neg yu411000",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1702[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1702 -> 1140[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1081[label="primEqInt (Neg (Succ yu3000)) yu41100",fontsize=16,color="burlywood",shape="box"];1703[label="yu41100/Pos yu411000",fontsize=10,color="white",style="solid",shape="box"];1081 -> 1703[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1703 -> 1141[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1704[label="yu41100/Neg yu411000",fontsize=10,color="white",style="solid",shape="box"];1081 -> 1704[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1704 -> 1142[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1082[label="primEqInt (Neg Zero) yu41100",fontsize=16,color="burlywood",shape="box"];1705[label="yu41100/Pos yu411000",fontsize=10,color="white",style="solid",shape="box"];1082 -> 1705[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1705 -> 1143[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1706[label="yu41100/Neg yu411000",fontsize=10,color="white",style="solid",shape="box"];1082 -> 1706[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1706 -> 1144[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1516 -> 1551[label="",style="dashed", color="red", weight=0];
14.84/5.88	1516[label="primPlusNat yu48 (Succ Zero)",fontsize=16,color="magenta"];1516 -> 1552[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1516 -> 1553[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1517 -> 957[label="",style="dashed", color="red", weight=0];
14.84/5.88	1517[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos (primPlusNat yu48 (Succ Zero)) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];1517 -> 1524[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1517 -> 1525[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1084[label="yu300",fontsize=16,color="green",shape="box"];1085[label="yu411000",fontsize=16,color="green",shape="box"];1086[label="primEqNat yu300 yu411000",fontsize=16,color="burlywood",shape="triangle"];1707[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1707[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1707 -> 1146[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1708[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1708[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1708 -> 1147[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1087[label="yu300 == yu411000",fontsize=16,color="blue",shape="box"];1709[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1709[label="",style="solid", color="blue", weight=9];
14.84/5.88	1709 -> 1148[label="",style="solid", color="blue", weight=3];
14.84/5.88	1710[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1710[label="",style="solid", color="blue", weight=9];
14.84/5.88	1710 -> 1149[label="",style="solid", color="blue", weight=3];
14.84/5.88	1088[label="yu301 == yu411001",fontsize=16,color="blue",shape="box"];1711[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1088 -> 1711[label="",style="solid", color="blue", weight=9];
14.84/5.88	1711 -> 1150[label="",style="solid", color="blue", weight=3];
14.84/5.88	1712[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1088 -> 1712[label="",style="solid", color="blue", weight=9];
14.84/5.88	1712 -> 1151[label="",style="solid", color="blue", weight=3];
14.84/5.88	1089 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.88	1089[label="yu300 == yu411000",fontsize=16,color="magenta"];1089 -> 1152[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1089 -> 1153[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1090 -> 977[label="",style="dashed", color="red", weight=0];
14.84/5.88	1090[label="yu300 == yu411000",fontsize=16,color="magenta"];1090 -> 1154[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1090 -> 1155[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1091 -> 978[label="",style="dashed", color="red", weight=0];
14.84/5.88	1091[label="yu300 == yu411000",fontsize=16,color="magenta"];1091 -> 1156[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1091 -> 1157[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1092 -> 979[label="",style="dashed", color="red", weight=0];
14.84/5.88	1092[label="yu300 == yu411000",fontsize=16,color="magenta"];1092 -> 1158[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1092 -> 1159[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1093 -> 980[label="",style="dashed", color="red", weight=0];
14.84/5.88	1093[label="yu300 == yu411000",fontsize=16,color="magenta"];1093 -> 1160[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1093 -> 1161[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1094 -> 981[label="",style="dashed", color="red", weight=0];
14.84/5.88	1094[label="yu300 == yu411000",fontsize=16,color="magenta"];1094 -> 1162[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1094 -> 1163[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1095 -> 982[label="",style="dashed", color="red", weight=0];
14.84/5.88	1095[label="yu300 == yu411000",fontsize=16,color="magenta"];1095 -> 1164[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1095 -> 1165[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1096 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.88	1096[label="yu300 == yu411000",fontsize=16,color="magenta"];1096 -> 1166[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1096 -> 1167[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1097 -> 984[label="",style="dashed", color="red", weight=0];
14.84/5.88	1097[label="yu300 == yu411000",fontsize=16,color="magenta"];1097 -> 1168[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1097 -> 1169[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1098 -> 985[label="",style="dashed", color="red", weight=0];
14.84/5.88	1098[label="yu300 == yu411000",fontsize=16,color="magenta"];1098 -> 1170[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1098 -> 1171[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1099 -> 986[label="",style="dashed", color="red", weight=0];
14.84/5.88	1099[label="yu300 == yu411000",fontsize=16,color="magenta"];1099 -> 1172[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1099 -> 1173[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1100 -> 987[label="",style="dashed", color="red", weight=0];
14.84/5.88	1100[label="yu300 == yu411000",fontsize=16,color="magenta"];1100 -> 1174[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1100 -> 1175[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1101 -> 988[label="",style="dashed", color="red", weight=0];
14.84/5.88	1101[label="yu300 == yu411000",fontsize=16,color="magenta"];1101 -> 1176[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1101 -> 1177[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1102 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.88	1102[label="yu300 == yu411000",fontsize=16,color="magenta"];1102 -> 1178[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1102 -> 1179[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1103 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.88	1103[label="yu300 == yu411000",fontsize=16,color="magenta"];1103 -> 1180[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1103 -> 1181[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1104 -> 977[label="",style="dashed", color="red", weight=0];
14.84/5.88	1104[label="yu300 == yu411000",fontsize=16,color="magenta"];1104 -> 1182[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1104 -> 1183[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1105 -> 978[label="",style="dashed", color="red", weight=0];
14.84/5.88	1105[label="yu300 == yu411000",fontsize=16,color="magenta"];1105 -> 1184[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1105 -> 1185[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1106 -> 979[label="",style="dashed", color="red", weight=0];
14.84/5.88	1106[label="yu300 == yu411000",fontsize=16,color="magenta"];1106 -> 1186[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1106 -> 1187[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1107 -> 980[label="",style="dashed", color="red", weight=0];
14.84/5.88	1107[label="yu300 == yu411000",fontsize=16,color="magenta"];1107 -> 1188[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1107 -> 1189[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1108 -> 981[label="",style="dashed", color="red", weight=0];
14.84/5.88	1108[label="yu300 == yu411000",fontsize=16,color="magenta"];1108 -> 1190[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1108 -> 1191[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1109 -> 982[label="",style="dashed", color="red", weight=0];
14.84/5.88	1109[label="yu300 == yu411000",fontsize=16,color="magenta"];1109 -> 1192[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1109 -> 1193[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1110 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.88	1110[label="yu300 == yu411000",fontsize=16,color="magenta"];1110 -> 1194[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1110 -> 1195[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1111 -> 984[label="",style="dashed", color="red", weight=0];
14.84/5.88	1111[label="yu300 == yu411000",fontsize=16,color="magenta"];1111 -> 1196[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1111 -> 1197[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1112 -> 985[label="",style="dashed", color="red", weight=0];
14.84/5.88	1112[label="yu300 == yu411000",fontsize=16,color="magenta"];1112 -> 1198[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1112 -> 1199[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1113 -> 986[label="",style="dashed", color="red", weight=0];
14.84/5.88	1113[label="yu300 == yu411000",fontsize=16,color="magenta"];1113 -> 1200[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1113 -> 1201[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1114 -> 987[label="",style="dashed", color="red", weight=0];
14.84/5.88	1114[label="yu300 == yu411000",fontsize=16,color="magenta"];1114 -> 1202[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1114 -> 1203[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1115 -> 988[label="",style="dashed", color="red", weight=0];
14.84/5.88	1115[label="yu300 == yu411000",fontsize=16,color="magenta"];1115 -> 1204[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1115 -> 1205[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1116 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.88	1116[label="yu300 == yu411000",fontsize=16,color="magenta"];1116 -> 1206[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1116 -> 1207[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1117[label="yu300 == yu411000",fontsize=16,color="blue",shape="box"];1713[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1713[label="",style="solid", color="blue", weight=9];
14.84/5.88	1713 -> 1208[label="",style="solid", color="blue", weight=3];
14.84/5.88	1714[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1714[label="",style="solid", color="blue", weight=9];
14.84/5.88	1714 -> 1209[label="",style="solid", color="blue", weight=3];
14.84/5.88	1715[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1715[label="",style="solid", color="blue", weight=9];
14.84/5.88	1715 -> 1210[label="",style="solid", color="blue", weight=3];
14.84/5.88	1716[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1716[label="",style="solid", color="blue", weight=9];
14.84/5.88	1716 -> 1211[label="",style="solid", color="blue", weight=3];
14.84/5.88	1717[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1717[label="",style="solid", color="blue", weight=9];
14.84/5.88	1717 -> 1212[label="",style="solid", color="blue", weight=3];
14.84/5.88	1718[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1718[label="",style="solid", color="blue", weight=9];
14.84/5.88	1718 -> 1213[label="",style="solid", color="blue", weight=3];
14.84/5.88	1719[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1719[label="",style="solid", color="blue", weight=9];
14.84/5.88	1719 -> 1214[label="",style="solid", color="blue", weight=3];
14.84/5.88	1720[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1720[label="",style="solid", color="blue", weight=9];
14.84/5.88	1720 -> 1215[label="",style="solid", color="blue", weight=3];
14.84/5.88	1721[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1721[label="",style="solid", color="blue", weight=9];
14.84/5.88	1721 -> 1216[label="",style="solid", color="blue", weight=3];
14.84/5.88	1722[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1722[label="",style="solid", color="blue", weight=9];
14.84/5.88	1722 -> 1217[label="",style="solid", color="blue", weight=3];
14.84/5.88	1723[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1723[label="",style="solid", color="blue", weight=9];
14.84/5.88	1723 -> 1218[label="",style="solid", color="blue", weight=3];
14.84/5.88	1724[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1724[label="",style="solid", color="blue", weight=9];
14.84/5.88	1724 -> 1219[label="",style="solid", color="blue", weight=3];
14.84/5.88	1725[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1725[label="",style="solid", color="blue", weight=9];
14.84/5.88	1725 -> 1220[label="",style="solid", color="blue", weight=3];
14.84/5.88	1726[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1117 -> 1726[label="",style="solid", color="blue", weight=9];
14.84/5.88	1726 -> 1221[label="",style="solid", color="blue", weight=3];
14.84/5.88	1118 -> 970[label="",style="dashed", color="red", weight=0];
14.84/5.88	1118[label="yu301 == yu411001 && yu302 == yu411002",fontsize=16,color="magenta"];1118 -> 1222[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1118 -> 1223[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1119 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.88	1119[label="yu300 == yu411000",fontsize=16,color="magenta"];1119 -> 1224[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1119 -> 1225[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1120 -> 977[label="",style="dashed", color="red", weight=0];
14.84/5.88	1120[label="yu300 == yu411000",fontsize=16,color="magenta"];1120 -> 1226[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1120 -> 1227[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1121 -> 978[label="",style="dashed", color="red", weight=0];
14.84/5.88	1121[label="yu300 == yu411000",fontsize=16,color="magenta"];1121 -> 1228[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1121 -> 1229[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1122 -> 979[label="",style="dashed", color="red", weight=0];
14.84/5.88	1122[label="yu300 == yu411000",fontsize=16,color="magenta"];1122 -> 1230[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1122 -> 1231[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1123 -> 980[label="",style="dashed", color="red", weight=0];
14.84/5.88	1123[label="yu300 == yu411000",fontsize=16,color="magenta"];1123 -> 1232[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1123 -> 1233[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1124 -> 981[label="",style="dashed", color="red", weight=0];
14.84/5.88	1124[label="yu300 == yu411000",fontsize=16,color="magenta"];1124 -> 1234[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1124 -> 1235[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1125 -> 982[label="",style="dashed", color="red", weight=0];
14.84/5.88	1125[label="yu300 == yu411000",fontsize=16,color="magenta"];1125 -> 1236[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1125 -> 1237[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1126 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.88	1126[label="yu300 == yu411000",fontsize=16,color="magenta"];1126 -> 1238[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1126 -> 1239[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1127 -> 984[label="",style="dashed", color="red", weight=0];
14.84/5.88	1127[label="yu300 == yu411000",fontsize=16,color="magenta"];1127 -> 1240[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1127 -> 1241[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1128 -> 985[label="",style="dashed", color="red", weight=0];
14.84/5.88	1128[label="yu300 == yu411000",fontsize=16,color="magenta"];1128 -> 1242[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1128 -> 1243[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1129 -> 986[label="",style="dashed", color="red", weight=0];
14.84/5.88	1129[label="yu300 == yu411000",fontsize=16,color="magenta"];1129 -> 1244[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1129 -> 1245[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1130 -> 987[label="",style="dashed", color="red", weight=0];
14.84/5.88	1130[label="yu300 == yu411000",fontsize=16,color="magenta"];1130 -> 1246[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1130 -> 1247[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1131 -> 988[label="",style="dashed", color="red", weight=0];
14.84/5.88	1131[label="yu300 == yu411000",fontsize=16,color="magenta"];1131 -> 1248[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1131 -> 1249[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1132 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.88	1132[label="yu300 == yu411000",fontsize=16,color="magenta"];1132 -> 1250[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1132 -> 1251[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1133 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.88	1133[label="yu300 * yu411001 == yu301 * yu411000",fontsize=16,color="magenta"];1133 -> 1252[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1133 -> 1253[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1134[label="yu300 == yu411000",fontsize=16,color="blue",shape="box"];1727[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1727[label="",style="solid", color="blue", weight=9];
14.84/5.88	1727 -> 1254[label="",style="solid", color="blue", weight=3];
14.84/5.88	1728[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1728[label="",style="solid", color="blue", weight=9];
14.84/5.88	1728 -> 1255[label="",style="solid", color="blue", weight=3];
14.84/5.88	1729[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1729[label="",style="solid", color="blue", weight=9];
14.84/5.88	1729 -> 1256[label="",style="solid", color="blue", weight=3];
14.84/5.88	1730[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1730[label="",style="solid", color="blue", weight=9];
14.84/5.88	1730 -> 1257[label="",style="solid", color="blue", weight=3];
14.84/5.88	1731[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1731[label="",style="solid", color="blue", weight=9];
14.84/5.88	1731 -> 1258[label="",style="solid", color="blue", weight=3];
14.84/5.88	1732[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1732[label="",style="solid", color="blue", weight=9];
14.84/5.88	1732 -> 1259[label="",style="solid", color="blue", weight=3];
14.84/5.88	1733[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1733[label="",style="solid", color="blue", weight=9];
14.84/5.88	1733 -> 1260[label="",style="solid", color="blue", weight=3];
14.84/5.88	1734[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1734[label="",style="solid", color="blue", weight=9];
14.84/5.88	1734 -> 1261[label="",style="solid", color="blue", weight=3];
14.84/5.88	1735[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1735[label="",style="solid", color="blue", weight=9];
14.84/5.88	1735 -> 1262[label="",style="solid", color="blue", weight=3];
14.84/5.88	1736[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1736[label="",style="solid", color="blue", weight=9];
14.84/5.88	1736 -> 1263[label="",style="solid", color="blue", weight=3];
14.84/5.88	1737[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1737[label="",style="solid", color="blue", weight=9];
14.84/5.88	1737 -> 1264[label="",style="solid", color="blue", weight=3];
14.84/5.88	1738[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1738[label="",style="solid", color="blue", weight=9];
14.84/5.88	1738 -> 1265[label="",style="solid", color="blue", weight=3];
14.84/5.88	1739[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1739[label="",style="solid", color="blue", weight=9];
14.84/5.88	1739 -> 1266[label="",style="solid", color="blue", weight=3];
14.84/5.88	1740[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1134 -> 1740[label="",style="solid", color="blue", weight=9];
14.84/5.88	1740 -> 1267[label="",style="solid", color="blue", weight=3];
14.84/5.88	1135[label="yu301 == yu411001",fontsize=16,color="blue",shape="box"];1741[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1741[label="",style="solid", color="blue", weight=9];
14.84/5.88	1741 -> 1268[label="",style="solid", color="blue", weight=3];
14.84/5.88	1742[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1742[label="",style="solid", color="blue", weight=9];
14.84/5.88	1742 -> 1269[label="",style="solid", color="blue", weight=3];
14.84/5.88	1743[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1743[label="",style="solid", color="blue", weight=9];
14.84/5.88	1743 -> 1270[label="",style="solid", color="blue", weight=3];
14.84/5.88	1744[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1744[label="",style="solid", color="blue", weight=9];
14.84/5.88	1744 -> 1271[label="",style="solid", color="blue", weight=3];
14.84/5.88	1745[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1745[label="",style="solid", color="blue", weight=9];
14.84/5.88	1745 -> 1272[label="",style="solid", color="blue", weight=3];
14.84/5.88	1746[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1746[label="",style="solid", color="blue", weight=9];
14.84/5.88	1746 -> 1273[label="",style="solid", color="blue", weight=3];
14.84/5.88	1747[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1747[label="",style="solid", color="blue", weight=9];
14.84/5.88	1747 -> 1274[label="",style="solid", color="blue", weight=3];
14.84/5.88	1748[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1748[label="",style="solid", color="blue", weight=9];
14.84/5.88	1748 -> 1275[label="",style="solid", color="blue", weight=3];
14.84/5.88	1749[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1749[label="",style="solid", color="blue", weight=9];
14.84/5.88	1749 -> 1276[label="",style="solid", color="blue", weight=3];
14.84/5.88	1750[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1750[label="",style="solid", color="blue", weight=9];
14.84/5.88	1750 -> 1277[label="",style="solid", color="blue", weight=3];
14.84/5.88	1751[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1751[label="",style="solid", color="blue", weight=9];
14.84/5.88	1751 -> 1278[label="",style="solid", color="blue", weight=3];
14.84/5.88	1752[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1752[label="",style="solid", color="blue", weight=9];
14.84/5.88	1752 -> 1279[label="",style="solid", color="blue", weight=3];
14.84/5.88	1753[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1753[label="",style="solid", color="blue", weight=9];
14.84/5.88	1753 -> 1280[label="",style="solid", color="blue", weight=3];
14.84/5.88	1754[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1135 -> 1754[label="",style="solid", color="blue", weight=9];
14.84/5.88	1754 -> 1281[label="",style="solid", color="blue", weight=3];
14.84/5.88	1136 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.88	1136[label="yu300 * yu411001 == yu301 * yu411000",fontsize=16,color="magenta"];1136 -> 1282[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1136 -> 1283[label="",style="dashed", color="magenta", weight=3];
14.84/5.88	1137[label="primEqInt (Pos (Succ yu3000)) (Pos yu411000)",fontsize=16,color="burlywood",shape="box"];1755[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1137 -> 1755[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1755 -> 1284[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1756[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1137 -> 1756[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1756 -> 1285[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1138[label="primEqInt (Pos (Succ yu3000)) (Neg yu411000)",fontsize=16,color="black",shape="box"];1138 -> 1286[label="",style="solid", color="black", weight=3];
14.84/5.88	1139[label="primEqInt (Pos Zero) (Pos yu411000)",fontsize=16,color="burlywood",shape="box"];1757[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1139 -> 1757[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1757 -> 1287[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1758[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1139 -> 1758[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1758 -> 1288[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1140[label="primEqInt (Pos Zero) (Neg yu411000)",fontsize=16,color="burlywood",shape="box"];1759[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1140 -> 1759[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1759 -> 1289[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1760[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1140 -> 1760[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1760 -> 1290[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1141[label="primEqInt (Neg (Succ yu3000)) (Pos yu411000)",fontsize=16,color="black",shape="box"];1141 -> 1291[label="",style="solid", color="black", weight=3];
14.84/5.88	1142[label="primEqInt (Neg (Succ yu3000)) (Neg yu411000)",fontsize=16,color="burlywood",shape="box"];1761[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1142 -> 1761[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1761 -> 1292[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1762[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1142 -> 1762[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1762 -> 1293[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1143[label="primEqInt (Neg Zero) (Pos yu411000)",fontsize=16,color="burlywood",shape="box"];1763[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1143 -> 1763[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1763 -> 1294[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1764[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1143 -> 1764[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1764 -> 1295[label="",style="solid", color="burlywood", weight=3];
14.84/5.88	1144[label="primEqInt (Neg Zero) (Neg yu411000)",fontsize=16,color="burlywood",shape="box"];1765[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1144 -> 1765[label="",style="solid", color="burlywood", weight=9];
14.84/5.88	1765 -> 1296[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1766[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1144 -> 1766[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1766 -> 1297[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1552[label="Zero",fontsize=16,color="green",shape="box"];1553[label="yu48",fontsize=16,color="green",shape="box"];1551[label="primPlusNat yu55 (Succ yu41100100)",fontsize=16,color="burlywood",shape="triangle"];1767[label="yu55/Succ yu550",fontsize=10,color="white",style="solid",shape="box"];1551 -> 1767[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1767 -> 1557[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1768[label="yu55/Zero",fontsize=10,color="white",style="solid",shape="box"];1551 -> 1768[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1768 -> 1558[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1524[label="yu4111",fontsize=16,color="green",shape="box"];1525 -> 1551[label="",style="dashed", color="red", weight=0];
14.84/5.89	1525[label="primPlusNat yu48 (Succ Zero)",fontsize=16,color="magenta"];1525 -> 1554[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1525 -> 1555[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1146[label="primEqNat (Succ yu3000) yu411000",fontsize=16,color="burlywood",shape="box"];1769[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1146 -> 1769[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1769 -> 1299[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1770[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1146 -> 1770[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1770 -> 1300[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1147[label="primEqNat Zero yu411000",fontsize=16,color="burlywood",shape="box"];1771[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1147 -> 1771[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1771 -> 1301[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1772[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1147 -> 1772[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1772 -> 1302[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1148 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.89	1148[label="yu300 == yu411000",fontsize=16,color="magenta"];1148 -> 1303[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1148 -> 1304[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1149 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.89	1149[label="yu300 == yu411000",fontsize=16,color="magenta"];1149 -> 1305[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1149 -> 1306[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1150 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.89	1150[label="yu301 == yu411001",fontsize=16,color="magenta"];1150 -> 1307[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1150 -> 1308[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1151 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.89	1151[label="yu301 == yu411001",fontsize=16,color="magenta"];1151 -> 1309[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1151 -> 1310[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1152[label="yu300",fontsize=16,color="green",shape="box"];1153[label="yu411000",fontsize=16,color="green",shape="box"];1154[label="yu300",fontsize=16,color="green",shape="box"];1155[label="yu411000",fontsize=16,color="green",shape="box"];1156[label="yu300",fontsize=16,color="green",shape="box"];1157[label="yu411000",fontsize=16,color="green",shape="box"];1158[label="yu300",fontsize=16,color="green",shape="box"];1159[label="yu411000",fontsize=16,color="green",shape="box"];1160[label="yu300",fontsize=16,color="green",shape="box"];1161[label="yu411000",fontsize=16,color="green",shape="box"];1162[label="yu300",fontsize=16,color="green",shape="box"];1163[label="yu411000",fontsize=16,color="green",shape="box"];1164[label="yu300",fontsize=16,color="green",shape="box"];1165[label="yu411000",fontsize=16,color="green",shape="box"];1166[label="yu411000",fontsize=16,color="green",shape="box"];1167[label="yu300",fontsize=16,color="green",shape="box"];1168[label="yu300",fontsize=16,color="green",shape="box"];1169[label="yu411000",fontsize=16,color="green",shape="box"];1170[label="yu300",fontsize=16,color="green",shape="box"];1171[label="yu411000",fontsize=16,color="green",shape="box"];1172[label="yu300",fontsize=16,color="green",shape="box"];1173[label="yu411000",fontsize=16,color="green",shape="box"];1174[label="yu300",fontsize=16,color="green",shape="box"];1175[label="yu411000",fontsize=16,color="green",shape="box"];1176[label="yu300",fontsize=16,color="green",shape="box"];1177[label="yu411000",fontsize=16,color="green",shape="box"];1178[label="yu300",fontsize=16,color="green",shape="box"];1179[label="yu411000",fontsize=16,color="green",shape="box"];1180[label="yu300",fontsize=16,color="green",shape="box"];1181[label="yu411000",fontsize=16,color="green",shape="box"];1182[label="yu300",fontsize=16,color="green",shape="box"];1183[label="yu411000",fontsize=16,color="green",shape="box"];1184[label="yu300",fontsize=16,color="green",shape="box"];1185[label="yu411000",fontsize=16,color="green",shape="box"];1186[label="yu300",fontsize=16,color="green",shape="box"];1187[label="yu411000",fontsize=16,color="green",shape="box"];1188[label="yu300",fontsize=16,color="green",shape="box"];1189[label="yu411000",fontsize=16,color="green",shape="box"];1190[label="yu300",fontsize=16,color="green",shape="box"];1191[label="yu411000",fontsize=16,color="green",shape="box"];1192[label="yu300",fontsize=16,color="green",shape="box"];1193[label="yu411000",fontsize=16,color="green",shape="box"];1194[label="yu411000",fontsize=16,color="green",shape="box"];1195[label="yu300",fontsize=16,color="green",shape="box"];1196[label="yu300",fontsize=16,color="green",shape="box"];1197[label="yu411000",fontsize=16,color="green",shape="box"];1198[label="yu300",fontsize=16,color="green",shape="box"];1199[label="yu411000",fontsize=16,color="green",shape="box"];1200[label="yu300",fontsize=16,color="green",shape="box"];1201[label="yu411000",fontsize=16,color="green",shape="box"];1202[label="yu300",fontsize=16,color="green",shape="box"];1203[label="yu411000",fontsize=16,color="green",shape="box"];1204[label="yu300",fontsize=16,color="green",shape="box"];1205[label="yu411000",fontsize=16,color="green",shape="box"];1206[label="yu300",fontsize=16,color="green",shape="box"];1207[label="yu411000",fontsize=16,color="green",shape="box"];1208 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.89	1208[label="yu300 == yu411000",fontsize=16,color="magenta"];1208 -> 1311[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1208 -> 1312[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1209 -> 977[label="",style="dashed", color="red", weight=0];
14.84/5.89	1209[label="yu300 == yu411000",fontsize=16,color="magenta"];1209 -> 1313[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1209 -> 1314[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1210 -> 978[label="",style="dashed", color="red", weight=0];
14.84/5.89	1210[label="yu300 == yu411000",fontsize=16,color="magenta"];1210 -> 1315[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1210 -> 1316[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1211 -> 979[label="",style="dashed", color="red", weight=0];
14.84/5.89	1211[label="yu300 == yu411000",fontsize=16,color="magenta"];1211 -> 1317[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1211 -> 1318[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1212 -> 980[label="",style="dashed", color="red", weight=0];
14.84/5.89	1212[label="yu300 == yu411000",fontsize=16,color="magenta"];1212 -> 1319[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1212 -> 1320[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1213 -> 981[label="",style="dashed", color="red", weight=0];
14.84/5.89	1213[label="yu300 == yu411000",fontsize=16,color="magenta"];1213 -> 1321[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1213 -> 1322[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1214 -> 982[label="",style="dashed", color="red", weight=0];
14.84/5.89	1214[label="yu300 == yu411000",fontsize=16,color="magenta"];1214 -> 1323[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1214 -> 1324[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1215 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.89	1215[label="yu300 == yu411000",fontsize=16,color="magenta"];1215 -> 1325[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1215 -> 1326[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1216 -> 984[label="",style="dashed", color="red", weight=0];
14.84/5.89	1216[label="yu300 == yu411000",fontsize=16,color="magenta"];1216 -> 1327[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1216 -> 1328[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1217 -> 985[label="",style="dashed", color="red", weight=0];
14.84/5.89	1217[label="yu300 == yu411000",fontsize=16,color="magenta"];1217 -> 1329[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1217 -> 1330[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1218 -> 986[label="",style="dashed", color="red", weight=0];
14.84/5.89	1218[label="yu300 == yu411000",fontsize=16,color="magenta"];1218 -> 1331[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1218 -> 1332[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1219 -> 987[label="",style="dashed", color="red", weight=0];
14.84/5.89	1219[label="yu300 == yu411000",fontsize=16,color="magenta"];1219 -> 1333[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1219 -> 1334[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1220 -> 988[label="",style="dashed", color="red", weight=0];
14.84/5.89	1220[label="yu300 == yu411000",fontsize=16,color="magenta"];1220 -> 1335[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1220 -> 1336[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1221 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.89	1221[label="yu300 == yu411000",fontsize=16,color="magenta"];1221 -> 1337[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1221 -> 1338[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1222[label="yu301 == yu411001",fontsize=16,color="blue",shape="box"];1773[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1773[label="",style="solid", color="blue", weight=9];
14.84/5.89	1773 -> 1339[label="",style="solid", color="blue", weight=3];
14.84/5.89	1774[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1774[label="",style="solid", color="blue", weight=9];
14.84/5.89	1774 -> 1340[label="",style="solid", color="blue", weight=3];
14.84/5.89	1775[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1775[label="",style="solid", color="blue", weight=9];
14.84/5.89	1775 -> 1341[label="",style="solid", color="blue", weight=3];
14.84/5.89	1776[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1776[label="",style="solid", color="blue", weight=9];
14.84/5.89	1776 -> 1342[label="",style="solid", color="blue", weight=3];
14.84/5.89	1777[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1777[label="",style="solid", color="blue", weight=9];
14.84/5.89	1777 -> 1343[label="",style="solid", color="blue", weight=3];
14.84/5.89	1778[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1778[label="",style="solid", color="blue", weight=9];
14.84/5.89	1778 -> 1344[label="",style="solid", color="blue", weight=3];
14.84/5.89	1779[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1779[label="",style="solid", color="blue", weight=9];
14.84/5.89	1779 -> 1345[label="",style="solid", color="blue", weight=3];
14.84/5.89	1780[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1780[label="",style="solid", color="blue", weight=9];
14.84/5.89	1780 -> 1346[label="",style="solid", color="blue", weight=3];
14.84/5.89	1781[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1781[label="",style="solid", color="blue", weight=9];
14.84/5.89	1781 -> 1347[label="",style="solid", color="blue", weight=3];
14.84/5.89	1782[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1782[label="",style="solid", color="blue", weight=9];
14.84/5.89	1782 -> 1348[label="",style="solid", color="blue", weight=3];
14.84/5.89	1783[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1783[label="",style="solid", color="blue", weight=9];
14.84/5.89	1783 -> 1349[label="",style="solid", color="blue", weight=3];
14.84/5.89	1784[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1784[label="",style="solid", color="blue", weight=9];
14.84/5.89	1784 -> 1350[label="",style="solid", color="blue", weight=3];
14.84/5.89	1785[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1785[label="",style="solid", color="blue", weight=9];
14.84/5.89	1785 -> 1351[label="",style="solid", color="blue", weight=3];
14.84/5.89	1786[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1786[label="",style="solid", color="blue", weight=9];
14.84/5.89	1786 -> 1352[label="",style="solid", color="blue", weight=3];
14.84/5.89	1223[label="yu302 == yu411002",fontsize=16,color="blue",shape="box"];1787[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1787[label="",style="solid", color="blue", weight=9];
14.84/5.89	1787 -> 1353[label="",style="solid", color="blue", weight=3];
14.84/5.89	1788[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1788[label="",style="solid", color="blue", weight=9];
14.84/5.89	1788 -> 1354[label="",style="solid", color="blue", weight=3];
14.84/5.89	1789[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1789[label="",style="solid", color="blue", weight=9];
14.84/5.89	1789 -> 1355[label="",style="solid", color="blue", weight=3];
14.84/5.89	1790[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1790[label="",style="solid", color="blue", weight=9];
14.84/5.89	1790 -> 1356[label="",style="solid", color="blue", weight=3];
14.84/5.89	1791[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1791[label="",style="solid", color="blue", weight=9];
14.84/5.89	1791 -> 1357[label="",style="solid", color="blue", weight=3];
14.84/5.89	1792[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1792[label="",style="solid", color="blue", weight=9];
14.84/5.89	1792 -> 1358[label="",style="solid", color="blue", weight=3];
14.84/5.89	1793[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1793[label="",style="solid", color="blue", weight=9];
14.84/5.89	1793 -> 1359[label="",style="solid", color="blue", weight=3];
14.84/5.89	1794[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1794[label="",style="solid", color="blue", weight=9];
14.84/5.89	1794 -> 1360[label="",style="solid", color="blue", weight=3];
14.84/5.89	1795[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1795[label="",style="solid", color="blue", weight=9];
14.84/5.89	1795 -> 1361[label="",style="solid", color="blue", weight=3];
14.84/5.89	1796[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1796[label="",style="solid", color="blue", weight=9];
14.84/5.89	1796 -> 1362[label="",style="solid", color="blue", weight=3];
14.84/5.89	1797[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1797[label="",style="solid", color="blue", weight=9];
14.84/5.89	1797 -> 1363[label="",style="solid", color="blue", weight=3];
14.84/5.89	1798[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1798[label="",style="solid", color="blue", weight=9];
14.84/5.89	1798 -> 1364[label="",style="solid", color="blue", weight=3];
14.84/5.89	1799[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1799[label="",style="solid", color="blue", weight=9];
14.84/5.89	1799 -> 1365[label="",style="solid", color="blue", weight=3];
14.84/5.89	1800[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1800[label="",style="solid", color="blue", weight=9];
14.84/5.89	1800 -> 1366[label="",style="solid", color="blue", weight=3];
14.84/5.89	1224[label="yu300",fontsize=16,color="green",shape="box"];1225[label="yu411000",fontsize=16,color="green",shape="box"];1226[label="yu300",fontsize=16,color="green",shape="box"];1227[label="yu411000",fontsize=16,color="green",shape="box"];1228[label="yu300",fontsize=16,color="green",shape="box"];1229[label="yu411000",fontsize=16,color="green",shape="box"];1230[label="yu300",fontsize=16,color="green",shape="box"];1231[label="yu411000",fontsize=16,color="green",shape="box"];1232[label="yu300",fontsize=16,color="green",shape="box"];1233[label="yu411000",fontsize=16,color="green",shape="box"];1234[label="yu300",fontsize=16,color="green",shape="box"];1235[label="yu411000",fontsize=16,color="green",shape="box"];1236[label="yu300",fontsize=16,color="green",shape="box"];1237[label="yu411000",fontsize=16,color="green",shape="box"];1238[label="yu411000",fontsize=16,color="green",shape="box"];1239[label="yu300",fontsize=16,color="green",shape="box"];1240[label="yu300",fontsize=16,color="green",shape="box"];1241[label="yu411000",fontsize=16,color="green",shape="box"];1242[label="yu300",fontsize=16,color="green",shape="box"];1243[label="yu411000",fontsize=16,color="green",shape="box"];1244[label="yu300",fontsize=16,color="green",shape="box"];1245[label="yu411000",fontsize=16,color="green",shape="box"];1246[label="yu300",fontsize=16,color="green",shape="box"];1247[label="yu411000",fontsize=16,color="green",shape="box"];1248[label="yu300",fontsize=16,color="green",shape="box"];1249[label="yu411000",fontsize=16,color="green",shape="box"];1250[label="yu300",fontsize=16,color="green",shape="box"];1251[label="yu411000",fontsize=16,color="green",shape="box"];1252[label="yu300 * yu411001",fontsize=16,color="black",shape="triangle"];1252 -> 1367[label="",style="solid", color="black", weight=3];
14.84/5.89	1253 -> 1252[label="",style="dashed", color="red", weight=0];
14.84/5.89	1253[label="yu301 * yu411000",fontsize=16,color="magenta"];1253 -> 1368[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1253 -> 1369[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1254 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.89	1254[label="yu300 == yu411000",fontsize=16,color="magenta"];1254 -> 1370[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1254 -> 1371[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1255 -> 977[label="",style="dashed", color="red", weight=0];
14.84/5.89	1255[label="yu300 == yu411000",fontsize=16,color="magenta"];1255 -> 1372[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1255 -> 1373[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1256 -> 978[label="",style="dashed", color="red", weight=0];
14.84/5.89	1256[label="yu300 == yu411000",fontsize=16,color="magenta"];1256 -> 1374[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1256 -> 1375[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1257 -> 979[label="",style="dashed", color="red", weight=0];
14.84/5.89	1257[label="yu300 == yu411000",fontsize=16,color="magenta"];1257 -> 1376[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1257 -> 1377[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1258 -> 980[label="",style="dashed", color="red", weight=0];
14.84/5.89	1258[label="yu300 == yu411000",fontsize=16,color="magenta"];1258 -> 1378[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1258 -> 1379[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1259 -> 981[label="",style="dashed", color="red", weight=0];
14.84/5.89	1259[label="yu300 == yu411000",fontsize=16,color="magenta"];1259 -> 1380[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1259 -> 1381[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1260 -> 982[label="",style="dashed", color="red", weight=0];
14.84/5.89	1260[label="yu300 == yu411000",fontsize=16,color="magenta"];1260 -> 1382[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1260 -> 1383[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1261 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.89	1261[label="yu300 == yu411000",fontsize=16,color="magenta"];1261 -> 1384[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1261 -> 1385[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1262 -> 984[label="",style="dashed", color="red", weight=0];
14.84/5.89	1262[label="yu300 == yu411000",fontsize=16,color="magenta"];1262 -> 1386[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1262 -> 1387[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1263 -> 985[label="",style="dashed", color="red", weight=0];
14.84/5.89	1263[label="yu300 == yu411000",fontsize=16,color="magenta"];1263 -> 1388[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1263 -> 1389[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1264 -> 986[label="",style="dashed", color="red", weight=0];
14.84/5.89	1264[label="yu300 == yu411000",fontsize=16,color="magenta"];1264 -> 1390[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1264 -> 1391[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1265 -> 987[label="",style="dashed", color="red", weight=0];
14.84/5.89	1265[label="yu300 == yu411000",fontsize=16,color="magenta"];1265 -> 1392[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1265 -> 1393[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1266 -> 988[label="",style="dashed", color="red", weight=0];
14.84/5.89	1266[label="yu300 == yu411000",fontsize=16,color="magenta"];1266 -> 1394[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1266 -> 1395[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1267 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.89	1267[label="yu300 == yu411000",fontsize=16,color="magenta"];1267 -> 1396[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1267 -> 1397[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1268 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.89	1268[label="yu301 == yu411001",fontsize=16,color="magenta"];1268 -> 1398[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1268 -> 1399[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1269 -> 977[label="",style="dashed", color="red", weight=0];
14.84/5.89	1269[label="yu301 == yu411001",fontsize=16,color="magenta"];1269 -> 1400[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1269 -> 1401[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1270 -> 978[label="",style="dashed", color="red", weight=0];
14.84/5.89	1270[label="yu301 == yu411001",fontsize=16,color="magenta"];1270 -> 1402[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1270 -> 1403[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1271 -> 979[label="",style="dashed", color="red", weight=0];
14.84/5.89	1271[label="yu301 == yu411001",fontsize=16,color="magenta"];1271 -> 1404[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1271 -> 1405[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1272 -> 980[label="",style="dashed", color="red", weight=0];
14.84/5.89	1272[label="yu301 == yu411001",fontsize=16,color="magenta"];1272 -> 1406[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1272 -> 1407[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1273 -> 981[label="",style="dashed", color="red", weight=0];
14.84/5.89	1273[label="yu301 == yu411001",fontsize=16,color="magenta"];1273 -> 1408[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1273 -> 1409[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1274 -> 982[label="",style="dashed", color="red", weight=0];
14.84/5.89	1274[label="yu301 == yu411001",fontsize=16,color="magenta"];1274 -> 1410[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1274 -> 1411[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1275 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.89	1275[label="yu301 == yu411001",fontsize=16,color="magenta"];1275 -> 1412[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1275 -> 1413[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1276 -> 984[label="",style="dashed", color="red", weight=0];
14.84/5.89	1276[label="yu301 == yu411001",fontsize=16,color="magenta"];1276 -> 1414[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1276 -> 1415[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1277 -> 985[label="",style="dashed", color="red", weight=0];
14.84/5.89	1277[label="yu301 == yu411001",fontsize=16,color="magenta"];1277 -> 1416[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1277 -> 1417[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1278 -> 986[label="",style="dashed", color="red", weight=0];
14.84/5.89	1278[label="yu301 == yu411001",fontsize=16,color="magenta"];1278 -> 1418[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1278 -> 1419[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1279 -> 987[label="",style="dashed", color="red", weight=0];
14.84/5.89	1279[label="yu301 == yu411001",fontsize=16,color="magenta"];1279 -> 1420[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1279 -> 1421[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1280 -> 988[label="",style="dashed", color="red", weight=0];
14.84/5.89	1280[label="yu301 == yu411001",fontsize=16,color="magenta"];1280 -> 1422[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1280 -> 1423[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1281 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.89	1281[label="yu301 == yu411001",fontsize=16,color="magenta"];1281 -> 1424[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1281 -> 1425[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1282 -> 1252[label="",style="dashed", color="red", weight=0];
14.84/5.89	1282[label="yu300 * yu411001",fontsize=16,color="magenta"];1282 -> 1426[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1282 -> 1427[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1283 -> 1252[label="",style="dashed", color="red", weight=0];
14.84/5.89	1283[label="yu301 * yu411000",fontsize=16,color="magenta"];1283 -> 1428[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1283 -> 1429[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1284[label="primEqInt (Pos (Succ yu3000)) (Pos (Succ yu4110000))",fontsize=16,color="black",shape="box"];1284 -> 1430[label="",style="solid", color="black", weight=3];
14.84/5.89	1285[label="primEqInt (Pos (Succ yu3000)) (Pos Zero)",fontsize=16,color="black",shape="box"];1285 -> 1431[label="",style="solid", color="black", weight=3];
14.84/5.89	1286[label="False",fontsize=16,color="green",shape="box"];1287[label="primEqInt (Pos Zero) (Pos (Succ yu4110000))",fontsize=16,color="black",shape="box"];1287 -> 1432[label="",style="solid", color="black", weight=3];
14.84/5.89	1288[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1288 -> 1433[label="",style="solid", color="black", weight=3];
14.84/5.89	1289[label="primEqInt (Pos Zero) (Neg (Succ yu4110000))",fontsize=16,color="black",shape="box"];1289 -> 1434[label="",style="solid", color="black", weight=3];
14.84/5.89	1290[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1290 -> 1435[label="",style="solid", color="black", weight=3];
14.84/5.89	1291[label="False",fontsize=16,color="green",shape="box"];1292[label="primEqInt (Neg (Succ yu3000)) (Neg (Succ yu4110000))",fontsize=16,color="black",shape="box"];1292 -> 1436[label="",style="solid", color="black", weight=3];
14.84/5.89	1293[label="primEqInt (Neg (Succ yu3000)) (Neg Zero)",fontsize=16,color="black",shape="box"];1293 -> 1437[label="",style="solid", color="black", weight=3];
14.84/5.89	1294[label="primEqInt (Neg Zero) (Pos (Succ yu4110000))",fontsize=16,color="black",shape="box"];1294 -> 1438[label="",style="solid", color="black", weight=3];
14.84/5.89	1295[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1295 -> 1439[label="",style="solid", color="black", weight=3];
14.84/5.89	1296[label="primEqInt (Neg Zero) (Neg (Succ yu4110000))",fontsize=16,color="black",shape="box"];1296 -> 1440[label="",style="solid", color="black", weight=3];
14.84/5.89	1297[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1297 -> 1441[label="",style="solid", color="black", weight=3];
14.84/5.89	1557[label="primPlusNat (Succ yu550) (Succ yu41100100)",fontsize=16,color="black",shape="box"];1557 -> 1561[label="",style="solid", color="black", weight=3];
14.84/5.89	1558[label="primPlusNat Zero (Succ yu41100100)",fontsize=16,color="black",shape="box"];1558 -> 1562[label="",style="solid", color="black", weight=3];
14.84/5.89	1554[label="Zero",fontsize=16,color="green",shape="box"];1555[label="yu48",fontsize=16,color="green",shape="box"];1299[label="primEqNat (Succ yu3000) (Succ yu4110000)",fontsize=16,color="black",shape="box"];1299 -> 1443[label="",style="solid", color="black", weight=3];
14.84/5.89	1300[label="primEqNat (Succ yu3000) Zero",fontsize=16,color="black",shape="box"];1300 -> 1444[label="",style="solid", color="black", weight=3];
14.84/5.89	1301[label="primEqNat Zero (Succ yu4110000)",fontsize=16,color="black",shape="box"];1301 -> 1445[label="",style="solid", color="black", weight=3];
14.84/5.89	1302[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1302 -> 1446[label="",style="solid", color="black", weight=3];
14.84/5.89	1303[label="yu300",fontsize=16,color="green",shape="box"];1304[label="yu411000",fontsize=16,color="green",shape="box"];1305[label="yu300",fontsize=16,color="green",shape="box"];1306[label="yu411000",fontsize=16,color="green",shape="box"];1307[label="yu301",fontsize=16,color="green",shape="box"];1308[label="yu411001",fontsize=16,color="green",shape="box"];1309[label="yu301",fontsize=16,color="green",shape="box"];1310[label="yu411001",fontsize=16,color="green",shape="box"];1311[label="yu300",fontsize=16,color="green",shape="box"];1312[label="yu411000",fontsize=16,color="green",shape="box"];1313[label="yu300",fontsize=16,color="green",shape="box"];1314[label="yu411000",fontsize=16,color="green",shape="box"];1315[label="yu300",fontsize=16,color="green",shape="box"];1316[label="yu411000",fontsize=16,color="green",shape="box"];1317[label="yu300",fontsize=16,color="green",shape="box"];1318[label="yu411000",fontsize=16,color="green",shape="box"];1319[label="yu300",fontsize=16,color="green",shape="box"];1320[label="yu411000",fontsize=16,color="green",shape="box"];1321[label="yu300",fontsize=16,color="green",shape="box"];1322[label="yu411000",fontsize=16,color="green",shape="box"];1323[label="yu300",fontsize=16,color="green",shape="box"];1324[label="yu411000",fontsize=16,color="green",shape="box"];1325[label="yu411000",fontsize=16,color="green",shape="box"];1326[label="yu300",fontsize=16,color="green",shape="box"];1327[label="yu300",fontsize=16,color="green",shape="box"];1328[label="yu411000",fontsize=16,color="green",shape="box"];1329[label="yu300",fontsize=16,color="green",shape="box"];1330[label="yu411000",fontsize=16,color="green",shape="box"];1331[label="yu300",fontsize=16,color="green",shape="box"];1332[label="yu411000",fontsize=16,color="green",shape="box"];1333[label="yu300",fontsize=16,color="green",shape="box"];1334[label="yu411000",fontsize=16,color="green",shape="box"];1335[label="yu300",fontsize=16,color="green",shape="box"];1336[label="yu411000",fontsize=16,color="green",shape="box"];1337[label="yu300",fontsize=16,color="green",shape="box"];1338[label="yu411000",fontsize=16,color="green",shape="box"];1339 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.89	1339[label="yu301 == yu411001",fontsize=16,color="magenta"];1339 -> 1447[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1339 -> 1448[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1340 -> 977[label="",style="dashed", color="red", weight=0];
14.84/5.89	1340[label="yu301 == yu411001",fontsize=16,color="magenta"];1340 -> 1449[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1340 -> 1450[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1341 -> 978[label="",style="dashed", color="red", weight=0];
14.84/5.89	1341[label="yu301 == yu411001",fontsize=16,color="magenta"];1341 -> 1451[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1341 -> 1452[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1342 -> 979[label="",style="dashed", color="red", weight=0];
14.84/5.89	1342[label="yu301 == yu411001",fontsize=16,color="magenta"];1342 -> 1453[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1342 -> 1454[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1343 -> 980[label="",style="dashed", color="red", weight=0];
14.84/5.89	1343[label="yu301 == yu411001",fontsize=16,color="magenta"];1343 -> 1455[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1343 -> 1456[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1344 -> 981[label="",style="dashed", color="red", weight=0];
14.84/5.89	1344[label="yu301 == yu411001",fontsize=16,color="magenta"];1344 -> 1457[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1344 -> 1458[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1345 -> 982[label="",style="dashed", color="red", weight=0];
14.84/5.89	1345[label="yu301 == yu411001",fontsize=16,color="magenta"];1345 -> 1459[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1345 -> 1460[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1346 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.89	1346[label="yu301 == yu411001",fontsize=16,color="magenta"];1346 -> 1461[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1346 -> 1462[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1347 -> 984[label="",style="dashed", color="red", weight=0];
14.84/5.89	1347[label="yu301 == yu411001",fontsize=16,color="magenta"];1347 -> 1463[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1347 -> 1464[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1348 -> 985[label="",style="dashed", color="red", weight=0];
14.84/5.89	1348[label="yu301 == yu411001",fontsize=16,color="magenta"];1348 -> 1465[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1348 -> 1466[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1349 -> 986[label="",style="dashed", color="red", weight=0];
14.84/5.89	1349[label="yu301 == yu411001",fontsize=16,color="magenta"];1349 -> 1467[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1349 -> 1468[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1350 -> 987[label="",style="dashed", color="red", weight=0];
14.84/5.89	1350[label="yu301 == yu411001",fontsize=16,color="magenta"];1350 -> 1469[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1350 -> 1470[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1351 -> 988[label="",style="dashed", color="red", weight=0];
14.84/5.89	1351[label="yu301 == yu411001",fontsize=16,color="magenta"];1351 -> 1471[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1351 -> 1472[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1352 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.89	1352[label="yu301 == yu411001",fontsize=16,color="magenta"];1352 -> 1473[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1352 -> 1474[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1353 -> 976[label="",style="dashed", color="red", weight=0];
14.84/5.89	1353[label="yu302 == yu411002",fontsize=16,color="magenta"];1353 -> 1475[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1353 -> 1476[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1354 -> 977[label="",style="dashed", color="red", weight=0];
14.84/5.89	1354[label="yu302 == yu411002",fontsize=16,color="magenta"];1354 -> 1477[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1354 -> 1478[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1355 -> 978[label="",style="dashed", color="red", weight=0];
14.84/5.89	1355[label="yu302 == yu411002",fontsize=16,color="magenta"];1355 -> 1479[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1355 -> 1480[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1356 -> 979[label="",style="dashed", color="red", weight=0];
14.84/5.89	1356[label="yu302 == yu411002",fontsize=16,color="magenta"];1356 -> 1481[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1356 -> 1482[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1357 -> 980[label="",style="dashed", color="red", weight=0];
14.84/5.89	1357[label="yu302 == yu411002",fontsize=16,color="magenta"];1357 -> 1483[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1357 -> 1484[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1358 -> 981[label="",style="dashed", color="red", weight=0];
14.84/5.89	1358[label="yu302 == yu411002",fontsize=16,color="magenta"];1358 -> 1485[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1358 -> 1486[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1359 -> 982[label="",style="dashed", color="red", weight=0];
14.84/5.89	1359[label="yu302 == yu411002",fontsize=16,color="magenta"];1359 -> 1487[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1359 -> 1488[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1360 -> 912[label="",style="dashed", color="red", weight=0];
14.84/5.89	1360[label="yu302 == yu411002",fontsize=16,color="magenta"];1360 -> 1489[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1360 -> 1490[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1361 -> 984[label="",style="dashed", color="red", weight=0];
14.84/5.89	1361[label="yu302 == yu411002",fontsize=16,color="magenta"];1361 -> 1491[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1361 -> 1492[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1362 -> 985[label="",style="dashed", color="red", weight=0];
14.84/5.89	1362[label="yu302 == yu411002",fontsize=16,color="magenta"];1362 -> 1493[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1362 -> 1494[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1363 -> 986[label="",style="dashed", color="red", weight=0];
14.84/5.89	1363[label="yu302 == yu411002",fontsize=16,color="magenta"];1363 -> 1495[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1363 -> 1496[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1364 -> 987[label="",style="dashed", color="red", weight=0];
14.84/5.89	1364[label="yu302 == yu411002",fontsize=16,color="magenta"];1364 -> 1497[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1364 -> 1498[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1365 -> 988[label="",style="dashed", color="red", weight=0];
14.84/5.89	1365[label="yu302 == yu411002",fontsize=16,color="magenta"];1365 -> 1499[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1365 -> 1500[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1366 -> 989[label="",style="dashed", color="red", weight=0];
14.84/5.89	1366[label="yu302 == yu411002",fontsize=16,color="magenta"];1366 -> 1501[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1366 -> 1502[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1367[label="primMulInt yu300 yu411001",fontsize=16,color="burlywood",shape="box"];1801[label="yu300/Pos yu3000",fontsize=10,color="white",style="solid",shape="box"];1367 -> 1801[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1801 -> 1503[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1802[label="yu300/Neg yu3000",fontsize=10,color="white",style="solid",shape="box"];1367 -> 1802[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1802 -> 1504[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1368[label="yu301",fontsize=16,color="green",shape="box"];1369[label="yu411000",fontsize=16,color="green",shape="box"];1370[label="yu300",fontsize=16,color="green",shape="box"];1371[label="yu411000",fontsize=16,color="green",shape="box"];1372[label="yu300",fontsize=16,color="green",shape="box"];1373[label="yu411000",fontsize=16,color="green",shape="box"];1374[label="yu300",fontsize=16,color="green",shape="box"];1375[label="yu411000",fontsize=16,color="green",shape="box"];1376[label="yu300",fontsize=16,color="green",shape="box"];1377[label="yu411000",fontsize=16,color="green",shape="box"];1378[label="yu300",fontsize=16,color="green",shape="box"];1379[label="yu411000",fontsize=16,color="green",shape="box"];1380[label="yu300",fontsize=16,color="green",shape="box"];1381[label="yu411000",fontsize=16,color="green",shape="box"];1382[label="yu300",fontsize=16,color="green",shape="box"];1383[label="yu411000",fontsize=16,color="green",shape="box"];1384[label="yu411000",fontsize=16,color="green",shape="box"];1385[label="yu300",fontsize=16,color="green",shape="box"];1386[label="yu300",fontsize=16,color="green",shape="box"];1387[label="yu411000",fontsize=16,color="green",shape="box"];1388[label="yu300",fontsize=16,color="green",shape="box"];1389[label="yu411000",fontsize=16,color="green",shape="box"];1390[label="yu300",fontsize=16,color="green",shape="box"];1391[label="yu411000",fontsize=16,color="green",shape="box"];1392[label="yu300",fontsize=16,color="green",shape="box"];1393[label="yu411000",fontsize=16,color="green",shape="box"];1394[label="yu300",fontsize=16,color="green",shape="box"];1395[label="yu411000",fontsize=16,color="green",shape="box"];1396[label="yu300",fontsize=16,color="green",shape="box"];1397[label="yu411000",fontsize=16,color="green",shape="box"];1398[label="yu301",fontsize=16,color="green",shape="box"];1399[label="yu411001",fontsize=16,color="green",shape="box"];1400[label="yu301",fontsize=16,color="green",shape="box"];1401[label="yu411001",fontsize=16,color="green",shape="box"];1402[label="yu301",fontsize=16,color="green",shape="box"];1403[label="yu411001",fontsize=16,color="green",shape="box"];1404[label="yu301",fontsize=16,color="green",shape="box"];1405[label="yu411001",fontsize=16,color="green",shape="box"];1406[label="yu301",fontsize=16,color="green",shape="box"];1407[label="yu411001",fontsize=16,color="green",shape="box"];1408[label="yu301",fontsize=16,color="green",shape="box"];1409[label="yu411001",fontsize=16,color="green",shape="box"];1410[label="yu301",fontsize=16,color="green",shape="box"];1411[label="yu411001",fontsize=16,color="green",shape="box"];1412[label="yu411001",fontsize=16,color="green",shape="box"];1413[label="yu301",fontsize=16,color="green",shape="box"];1414[label="yu301",fontsize=16,color="green",shape="box"];1415[label="yu411001",fontsize=16,color="green",shape="box"];1416[label="yu301",fontsize=16,color="green",shape="box"];1417[label="yu411001",fontsize=16,color="green",shape="box"];1418[label="yu301",fontsize=16,color="green",shape="box"];1419[label="yu411001",fontsize=16,color="green",shape="box"];1420[label="yu301",fontsize=16,color="green",shape="box"];1421[label="yu411001",fontsize=16,color="green",shape="box"];1422[label="yu301",fontsize=16,color="green",shape="box"];1423[label="yu411001",fontsize=16,color="green",shape="box"];1424[label="yu301",fontsize=16,color="green",shape="box"];1425[label="yu411001",fontsize=16,color="green",shape="box"];1426[label="yu300",fontsize=16,color="green",shape="box"];1427[label="yu411001",fontsize=16,color="green",shape="box"];1428[label="yu301",fontsize=16,color="green",shape="box"];1429[label="yu411000",fontsize=16,color="green",shape="box"];1430 -> 1086[label="",style="dashed", color="red", weight=0];
14.84/5.89	1430[label="primEqNat yu3000 yu4110000",fontsize=16,color="magenta"];1430 -> 1505[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1430 -> 1506[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1431[label="False",fontsize=16,color="green",shape="box"];1432[label="False",fontsize=16,color="green",shape="box"];1433[label="True",fontsize=16,color="green",shape="box"];1434[label="False",fontsize=16,color="green",shape="box"];1435[label="True",fontsize=16,color="green",shape="box"];1436 -> 1086[label="",style="dashed", color="red", weight=0];
14.84/5.89	1436[label="primEqNat yu3000 yu4110000",fontsize=16,color="magenta"];1436 -> 1507[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1436 -> 1508[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1437[label="False",fontsize=16,color="green",shape="box"];1438[label="False",fontsize=16,color="green",shape="box"];1439[label="True",fontsize=16,color="green",shape="box"];1440[label="False",fontsize=16,color="green",shape="box"];1441[label="True",fontsize=16,color="green",shape="box"];1561[label="Succ (Succ (primPlusNat yu550 yu41100100))",fontsize=16,color="green",shape="box"];1561 -> 1563[label="",style="dashed", color="green", weight=3];
14.84/5.89	1562[label="Succ yu41100100",fontsize=16,color="green",shape="box"];1443 -> 1086[label="",style="dashed", color="red", weight=0];
14.84/5.89	1443[label="primEqNat yu3000 yu4110000",fontsize=16,color="magenta"];1443 -> 1510[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1443 -> 1511[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1444[label="False",fontsize=16,color="green",shape="box"];1445[label="False",fontsize=16,color="green",shape="box"];1446[label="True",fontsize=16,color="green",shape="box"];1447[label="yu301",fontsize=16,color="green",shape="box"];1448[label="yu411001",fontsize=16,color="green",shape="box"];1449[label="yu301",fontsize=16,color="green",shape="box"];1450[label="yu411001",fontsize=16,color="green",shape="box"];1451[label="yu301",fontsize=16,color="green",shape="box"];1452[label="yu411001",fontsize=16,color="green",shape="box"];1453[label="yu301",fontsize=16,color="green",shape="box"];1454[label="yu411001",fontsize=16,color="green",shape="box"];1455[label="yu301",fontsize=16,color="green",shape="box"];1456[label="yu411001",fontsize=16,color="green",shape="box"];1457[label="yu301",fontsize=16,color="green",shape="box"];1458[label="yu411001",fontsize=16,color="green",shape="box"];1459[label="yu301",fontsize=16,color="green",shape="box"];1460[label="yu411001",fontsize=16,color="green",shape="box"];1461[label="yu411001",fontsize=16,color="green",shape="box"];1462[label="yu301",fontsize=16,color="green",shape="box"];1463[label="yu301",fontsize=16,color="green",shape="box"];1464[label="yu411001",fontsize=16,color="green",shape="box"];1465[label="yu301",fontsize=16,color="green",shape="box"];1466[label="yu411001",fontsize=16,color="green",shape="box"];1467[label="yu301",fontsize=16,color="green",shape="box"];1468[label="yu411001",fontsize=16,color="green",shape="box"];1469[label="yu301",fontsize=16,color="green",shape="box"];1470[label="yu411001",fontsize=16,color="green",shape="box"];1471[label="yu301",fontsize=16,color="green",shape="box"];1472[label="yu411001",fontsize=16,color="green",shape="box"];1473[label="yu301",fontsize=16,color="green",shape="box"];1474[label="yu411001",fontsize=16,color="green",shape="box"];1475[label="yu302",fontsize=16,color="green",shape="box"];1476[label="yu411002",fontsize=16,color="green",shape="box"];1477[label="yu302",fontsize=16,color="green",shape="box"];1478[label="yu411002",fontsize=16,color="green",shape="box"];1479[label="yu302",fontsize=16,color="green",shape="box"];1480[label="yu411002",fontsize=16,color="green",shape="box"];1481[label="yu302",fontsize=16,color="green",shape="box"];1482[label="yu411002",fontsize=16,color="green",shape="box"];1483[label="yu302",fontsize=16,color="green",shape="box"];1484[label="yu411002",fontsize=16,color="green",shape="box"];1485[label="yu302",fontsize=16,color="green",shape="box"];1486[label="yu411002",fontsize=16,color="green",shape="box"];1487[label="yu302",fontsize=16,color="green",shape="box"];1488[label="yu411002",fontsize=16,color="green",shape="box"];1489[label="yu411002",fontsize=16,color="green",shape="box"];1490[label="yu302",fontsize=16,color="green",shape="box"];1491[label="yu302",fontsize=16,color="green",shape="box"];1492[label="yu411002",fontsize=16,color="green",shape="box"];1493[label="yu302",fontsize=16,color="green",shape="box"];1494[label="yu411002",fontsize=16,color="green",shape="box"];1495[label="yu302",fontsize=16,color="green",shape="box"];1496[label="yu411002",fontsize=16,color="green",shape="box"];1497[label="yu302",fontsize=16,color="green",shape="box"];1498[label="yu411002",fontsize=16,color="green",shape="box"];1499[label="yu302",fontsize=16,color="green",shape="box"];1500[label="yu411002",fontsize=16,color="green",shape="box"];1501[label="yu302",fontsize=16,color="green",shape="box"];1502[label="yu411002",fontsize=16,color="green",shape="box"];1503[label="primMulInt (Pos yu3000) yu411001",fontsize=16,color="burlywood",shape="box"];1803[label="yu411001/Pos yu4110010",fontsize=10,color="white",style="solid",shape="box"];1503 -> 1803[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1803 -> 1512[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1804[label="yu411001/Neg yu4110010",fontsize=10,color="white",style="solid",shape="box"];1503 -> 1804[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1804 -> 1513[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1504[label="primMulInt (Neg yu3000) yu411001",fontsize=16,color="burlywood",shape="box"];1805[label="yu411001/Pos yu4110010",fontsize=10,color="white",style="solid",shape="box"];1504 -> 1805[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1805 -> 1514[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1806[label="yu411001/Neg yu4110010",fontsize=10,color="white",style="solid",shape="box"];1504 -> 1806[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1806 -> 1515[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1505[label="yu3000",fontsize=16,color="green",shape="box"];1506[label="yu4110000",fontsize=16,color="green",shape="box"];1507[label="yu3000",fontsize=16,color="green",shape="box"];1508[label="yu4110000",fontsize=16,color="green",shape="box"];1563[label="primPlusNat yu550 yu41100100",fontsize=16,color="burlywood",shape="triangle"];1807[label="yu550/Succ yu5500",fontsize=10,color="white",style="solid",shape="box"];1563 -> 1807[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1807 -> 1564[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1808[label="yu550/Zero",fontsize=10,color="white",style="solid",shape="box"];1563 -> 1808[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1808 -> 1565[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1510[label="yu3000",fontsize=16,color="green",shape="box"];1511[label="yu4110000",fontsize=16,color="green",shape="box"];1512[label="primMulInt (Pos yu3000) (Pos yu4110010)",fontsize=16,color="black",shape="box"];1512 -> 1518[label="",style="solid", color="black", weight=3];
14.84/5.89	1513[label="primMulInt (Pos yu3000) (Neg yu4110010)",fontsize=16,color="black",shape="box"];1513 -> 1519[label="",style="solid", color="black", weight=3];
14.84/5.89	1514[label="primMulInt (Neg yu3000) (Pos yu4110010)",fontsize=16,color="black",shape="box"];1514 -> 1520[label="",style="solid", color="black", weight=3];
14.84/5.89	1515[label="primMulInt (Neg yu3000) (Neg yu4110010)",fontsize=16,color="black",shape="box"];1515 -> 1521[label="",style="solid", color="black", weight=3];
14.84/5.89	1564[label="primPlusNat (Succ yu5500) yu41100100",fontsize=16,color="burlywood",shape="box"];1809[label="yu41100100/Succ yu411001000",fontsize=10,color="white",style="solid",shape="box"];1564 -> 1809[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1809 -> 1566[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1810[label="yu41100100/Zero",fontsize=10,color="white",style="solid",shape="box"];1564 -> 1810[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1810 -> 1567[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1565[label="primPlusNat Zero yu41100100",fontsize=16,color="burlywood",shape="box"];1811[label="yu41100100/Succ yu411001000",fontsize=10,color="white",style="solid",shape="box"];1565 -> 1811[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1811 -> 1568[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1812[label="yu41100100/Zero",fontsize=10,color="white",style="solid",shape="box"];1565 -> 1812[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1812 -> 1569[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1518[label="Pos (primMulNat yu3000 yu4110010)",fontsize=16,color="green",shape="box"];1518 -> 1526[label="",style="dashed", color="green", weight=3];
14.84/5.89	1519[label="Neg (primMulNat yu3000 yu4110010)",fontsize=16,color="green",shape="box"];1519 -> 1527[label="",style="dashed", color="green", weight=3];
14.84/5.89	1520[label="Neg (primMulNat yu3000 yu4110010)",fontsize=16,color="green",shape="box"];1520 -> 1528[label="",style="dashed", color="green", weight=3];
14.84/5.89	1521[label="Pos (primMulNat yu3000 yu4110010)",fontsize=16,color="green",shape="box"];1521 -> 1529[label="",style="dashed", color="green", weight=3];
14.84/5.89	1566[label="primPlusNat (Succ yu5500) (Succ yu411001000)",fontsize=16,color="black",shape="box"];1566 -> 1570[label="",style="solid", color="black", weight=3];
14.84/5.89	1567[label="primPlusNat (Succ yu5500) Zero",fontsize=16,color="black",shape="box"];1567 -> 1571[label="",style="solid", color="black", weight=3];
14.84/5.89	1568[label="primPlusNat Zero (Succ yu411001000)",fontsize=16,color="black",shape="box"];1568 -> 1572[label="",style="solid", color="black", weight=3];
14.84/5.89	1569[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1569 -> 1573[label="",style="solid", color="black", weight=3];
14.84/5.89	1526[label="primMulNat yu3000 yu4110010",fontsize=16,color="burlywood",shape="triangle"];1813[label="yu3000/Succ yu30000",fontsize=10,color="white",style="solid",shape="box"];1526 -> 1813[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1813 -> 1532[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1814[label="yu3000/Zero",fontsize=10,color="white",style="solid",shape="box"];1526 -> 1814[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1814 -> 1533[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1527 -> 1526[label="",style="dashed", color="red", weight=0];
14.84/5.89	1527[label="primMulNat yu3000 yu4110010",fontsize=16,color="magenta"];1527 -> 1534[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1528 -> 1526[label="",style="dashed", color="red", weight=0];
14.84/5.89	1528[label="primMulNat yu3000 yu4110010",fontsize=16,color="magenta"];1528 -> 1535[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1529 -> 1526[label="",style="dashed", color="red", weight=0];
14.84/5.89	1529[label="primMulNat yu3000 yu4110010",fontsize=16,color="magenta"];1529 -> 1536[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1529 -> 1537[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1570[label="Succ (Succ (primPlusNat yu5500 yu411001000))",fontsize=16,color="green",shape="box"];1570 -> 1574[label="",style="dashed", color="green", weight=3];
14.84/5.89	1571[label="Succ yu5500",fontsize=16,color="green",shape="box"];1572[label="Succ yu411001000",fontsize=16,color="green",shape="box"];1573[label="Zero",fontsize=16,color="green",shape="box"];1532[label="primMulNat (Succ yu30000) yu4110010",fontsize=16,color="burlywood",shape="box"];1815[label="yu4110010/Succ yu41100100",fontsize=10,color="white",style="solid",shape="box"];1532 -> 1815[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1815 -> 1539[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1816[label="yu4110010/Zero",fontsize=10,color="white",style="solid",shape="box"];1532 -> 1816[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1816 -> 1540[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1533[label="primMulNat Zero yu4110010",fontsize=16,color="burlywood",shape="box"];1817[label="yu4110010/Succ yu41100100",fontsize=10,color="white",style="solid",shape="box"];1533 -> 1817[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1817 -> 1541[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1818[label="yu4110010/Zero",fontsize=10,color="white",style="solid",shape="box"];1533 -> 1818[label="",style="solid", color="burlywood", weight=9];
14.84/5.89	1818 -> 1542[label="",style="solid", color="burlywood", weight=3];
14.84/5.89	1534[label="yu4110010",fontsize=16,color="green",shape="box"];1535[label="yu3000",fontsize=16,color="green",shape="box"];1536[label="yu4110010",fontsize=16,color="green",shape="box"];1537[label="yu3000",fontsize=16,color="green",shape="box"];1574 -> 1563[label="",style="dashed", color="red", weight=0];
14.84/5.89	1574[label="primPlusNat yu5500 yu411001000",fontsize=16,color="magenta"];1574 -> 1575[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1574 -> 1576[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1539[label="primMulNat (Succ yu30000) (Succ yu41100100)",fontsize=16,color="black",shape="box"];1539 -> 1545[label="",style="solid", color="black", weight=3];
14.84/5.89	1540[label="primMulNat (Succ yu30000) Zero",fontsize=16,color="black",shape="box"];1540 -> 1546[label="",style="solid", color="black", weight=3];
14.84/5.89	1541[label="primMulNat Zero (Succ yu41100100)",fontsize=16,color="black",shape="box"];1541 -> 1547[label="",style="solid", color="black", weight=3];
14.84/5.89	1542[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];1542 -> 1548[label="",style="solid", color="black", weight=3];
14.84/5.89	1575[label="yu5500",fontsize=16,color="green",shape="box"];1576[label="yu411001000",fontsize=16,color="green",shape="box"];1545 -> 1551[label="",style="dashed", color="red", weight=0];
14.84/5.89	1545[label="primPlusNat (primMulNat yu30000 (Succ yu41100100)) (Succ yu41100100)",fontsize=16,color="magenta"];1545 -> 1556[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1546[label="Zero",fontsize=16,color="green",shape="box"];1547[label="Zero",fontsize=16,color="green",shape="box"];1548[label="Zero",fontsize=16,color="green",shape="box"];1556 -> 1526[label="",style="dashed", color="red", weight=0];
14.84/5.89	1556[label="primMulNat yu30000 (Succ yu41100100)",fontsize=16,color="magenta"];1556 -> 1559[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1556 -> 1560[label="",style="dashed", color="magenta", weight=3];
14.84/5.89	1559[label="Succ yu41100100",fontsize=16,color="green",shape="box"];1560[label="yu30000",fontsize=16,color="green",shape="box"];}
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(14)
14.84/5.89	Complex Obligation (AND)
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(15)
14.84/5.89	Obligation:
14.84/5.89	Q DP problem:
14.84/5.89	The TRS P consists of the following rules:
14.84/5.89	
14.84/5.89	   new_foldr(yu3, :(yu4110, yu4111), yu48, ba) -> new_foldr(yu3, yu4111, new_primPlusNat0(yu48, Zero), ba)
14.84/5.89	
14.84/5.89	The TRS R consists of the following rules:
14.84/5.89	
14.84/5.89	   new_primPlusNat0(Succ(yu550), yu41100100) -> Succ(Succ(new_primPlusNat1(yu550, yu41100100)))
14.84/5.89	   new_primPlusNat1(Succ(yu5500), Zero) -> Succ(yu5500)
14.84/5.89	   new_primPlusNat1(Zero, Succ(yu411001000)) -> Succ(yu411001000)
14.84/5.89	   new_primPlusNat1(Succ(yu5500), Succ(yu411001000)) -> Succ(Succ(new_primPlusNat1(yu5500, yu411001000)))
14.84/5.89	   new_primPlusNat1(Zero, Zero) -> Zero
14.84/5.89	   new_primPlusNat0(Zero, yu41100100) -> Succ(yu41100100)
14.84/5.89	
14.84/5.89	The set Q consists of the following terms:
14.84/5.89	
14.84/5.89	   new_primPlusNat0(Succ(x0), x1)
14.84/5.89	   new_primPlusNat0(Zero, x0)
14.84/5.89	   new_primPlusNat1(Zero, Succ(x0))
14.84/5.89	   new_primPlusNat1(Zero, Zero)
14.84/5.89	   new_primPlusNat1(Succ(x0), Zero)
14.84/5.89	   new_primPlusNat1(Succ(x0), Succ(x1))
14.84/5.89	
14.84/5.89	We have to consider all minimal (P,Q,R)-chains.
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(16) QDPSizeChangeProof (EQUIVALENT)
14.84/5.89	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. 
14.84/5.89	
14.84/5.89	From the DPs we obtained the following set of size-change graphs:
14.84/5.89	*new_foldr(yu3, :(yu4110, yu4111), yu48, ba) -> new_foldr(yu3, yu4111, new_primPlusNat0(yu48, Zero), ba)
14.84/5.89	The graph contains the following edges 1 >= 1, 2 > 2, 4 >= 4
14.84/5.89	
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(17)
14.84/5.89	YES
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(18)
14.84/5.89	Obligation:
14.84/5.89	Q DP problem:
14.84/5.89	The TRS P consists of the following rules:
14.84/5.89	
14.84/5.89	   new_esEs(Left(yu300), Left(yu411000), app(app(app(ty_@3, bd), be), bf), bc) -> new_esEs0(yu300, yu411000, bd, be, bf)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(ty_Either, bag), bah)), bba)) -> new_esEs(yu300, yu411000, bag, bah)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(ty_Maybe, ee), dh, ea) -> new_esEs1(yu300, yu411000, ee)
14.84/5.89	   new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(app(ty_@3, bd), be), bf)), bc)) -> new_esEs0(yu300, yu411000, bd, be, bf)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(ty_Maybe, ha))) -> new_esEs1(yu302, yu411002, ha)
14.84/5.89	   new_esEs(Right(yu300), Right(yu411000), cc, app(app(app(ty_@3, cf), cg), da)) -> new_esEs0(yu300, yu411000, cf, cg, da)
14.84/5.89	   new_esEs2(:(yu30, yu31), :(yu41100, yu41101), bdc) -> new_esEs2(yu31, yu41101, bdc)
14.84/5.89	   new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(app(ty_@3, hg), hh), baa))) -> new_esEs0(yu300, yu411000, hg, hh, baa)
14.84/5.89	   new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(app(ty_@2, dd), de))) -> new_esEs3(yu300, yu411000, dd, de)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(ty_Either, df), dg), dh, ea) -> new_esEs(yu300, yu411000, df, dg)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(app(app(ty_@3, fd), ff), fg)), ea)) -> new_esEs0(yu301, yu411001, fd, ff, fg)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(app(app(ty_@3, bbb), bbc), bbd), bba) -> new_esEs0(yu300, yu411000, bbb, bbc, bbd)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(app(ty_Either, bcb), bcc)) -> new_esEs(yu301, yu411001, bcb, bcc)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(ty_Maybe, ha)) -> new_esEs1(yu302, yu411002, ha)
14.84/5.89	   new_esEs(Left(yu300), Left(yu411000), app(app(ty_@2, ca), cb), bc) -> new_esEs3(yu300, yu411000, ca, cb)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(ty_Maybe, fh), ea) -> new_esEs1(yu301, yu411001, fh)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(app(ty_Either, gd), ge))) -> new_esEs(yu302, yu411002, gd, ge)
14.84/5.89	   new_esEs1(Just(yu300), Just(yu411000), app(app(ty_Either, he), hf)) -> new_esEs(yu300, yu411000, he, hf)
14.84/5.89	   new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(ty_Maybe, bg)), bc)) -> new_esEs1(yu300, yu411000, bg)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(app(ty_Either, gd), ge)) -> new_esEs(yu302, yu411002, gd, ge)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(ty_Maybe, fh)), ea)) -> new_esEs1(yu301, yu411001, fh)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(ty_@2, eg), eh), dh, ea) -> new_esEs3(yu300, yu411000, eg, eh)
14.84/5.89	   new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(ty_@2, ca), cb)), bc)) -> new_esEs3(yu300, yu411000, ca, cb)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(ty_Maybe, bbe), bba) -> new_esEs1(yu300, yu411000, bbe)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(app(ty_@2, bda), bdb))) -> new_esEs3(yu301, yu411001, bda, bdb)
14.84/5.89	   new_esEs(Right(yu300), Right(yu411000), cc, app(ty_Maybe, db)) -> new_esEs1(yu300, yu411000, db)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(ty_Maybe, bcg)) -> new_esEs1(yu301, yu411001, bcg)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(ty_@2, bbg), bbh)), bba)) -> new_esEs3(yu300, yu411000, bbg, bbh)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(app(app(ty_@3, bcd), bce), bcf)) -> new_esEs0(yu301, yu411001, bcd, bce, bcf)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(ty_[], hb))) -> new_esEs2(yu302, yu411002, hb)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(ty_[], bbf)), bba)) -> new_esEs2(yu300, yu411000, bbf)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(app(ty_Either, fb), fc)), ea)) -> new_esEs(yu301, yu411001, fb, fc)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(ty_Maybe, bcg))) -> new_esEs1(yu301, yu411001, bcg)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(ty_[], bbf), bba) -> new_esEs2(yu300, yu411000, bbf)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(ty_@2, eg), eh)), dh), ea)) -> new_esEs3(yu300, yu411000, eg, eh)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(app(ty_@2, gb), gc)), ea)) -> new_esEs3(yu301, yu411001, gb, gc)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(ty_Either, df), dg)), dh), ea)) -> new_esEs(yu300, yu411000, df, dg)
14.84/5.89	   new_esEs1(Just(yu300), Just(yu411000), app(ty_[], bac)) -> new_esEs2(yu300, yu411000, bac)
14.84/5.89	   new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(ty_[], bac))) -> new_esEs2(yu300, yu411000, bac)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(ty_[], hb)) -> new_esEs2(yu302, yu411002, hb)
14.84/5.89	   new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(ty_[], dc))) -> new_esEs2(yu300, yu411000, dc)
14.84/5.89	   new_esEs1(Just(yu300), Just(yu411000), app(ty_Maybe, bab)) -> new_esEs1(yu300, yu411000, bab)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(ty_[], ef), dh, ea) -> new_esEs2(yu300, yu411000, ef)
14.84/5.89	   new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(ty_Either, he), hf))) -> new_esEs(yu300, yu411000, he, hf)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(ty_[], bch))) -> new_esEs2(yu301, yu411001, bch)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(app(app(ty_@3, fd), ff), fg), ea) -> new_esEs0(yu301, yu411001, fd, ff, fg)
14.84/5.89	   new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(app(app(ty_@3, cf), cg), da))) -> new_esEs0(yu300, yu411000, cf, cg, da)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(ty_[], ef)), dh), ea)) -> new_esEs2(yu300, yu411000, ef)
14.84/5.89	   new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(ty_Maybe, bab))) -> new_esEs1(yu300, yu411000, bab)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(app(app(ty_@3, gf), gg), gh))) -> new_esEs0(yu302, yu411002, gf, gg, gh)
14.84/5.89	   new_esEs(Right(yu300), Right(yu411000), cc, app(app(ty_@2, dd), de)) -> new_esEs3(yu300, yu411000, dd, de)
14.84/5.89	   new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(ty_@2, bad), bae))) -> new_esEs3(yu300, yu411000, bad, bae)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(app(ty_@2, gb), gc), ea) -> new_esEs3(yu301, yu411001, gb, gc)
14.84/5.89	   new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(ty_[], bh)), bc)) -> new_esEs2(yu300, yu411000, bh)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(app(ty_@3, bbb), bbc), bbd)), bba)) -> new_esEs0(yu300, yu411000, bbb, bbc, bbd)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(app(ty_@2, hc), hd))) -> new_esEs3(yu302, yu411002, hc, hd)
14.84/5.89	   new_esEs1(Just(yu300), Just(yu411000), app(app(ty_@2, bad), bae)) -> new_esEs3(yu300, yu411000, bad, bae)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(app(ty_@2, bda), bdb)) -> new_esEs3(yu301, yu411001, bda, bdb)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(app(app(ty_@3, gf), gg), gh)) -> new_esEs0(yu302, yu411002, gf, gg, gh)
14.84/5.89	   new_esEs1(Just(yu300), Just(yu411000), app(app(app(ty_@3, hg), hh), baa)) -> new_esEs0(yu300, yu411000, hg, hh, baa)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(ty_Maybe, bbe)), bba)) -> new_esEs1(yu300, yu411000, bbe)
14.84/5.89	   new_esEs(Right(yu300), Right(yu411000), cc, app(app(ty_Either, cd), ce)) -> new_esEs(yu300, yu411000, cd, ce)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(app(ty_Either, fb), fc), ea) -> new_esEs(yu301, yu411001, fb, fc)
14.84/5.89	   new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(app(ty_Either, cd), ce))) -> new_esEs(yu300, yu411000, cd, ce)
14.84/5.89	   new_esEs(Right(yu300), Right(yu411000), cc, app(ty_[], dc)) -> new_esEs2(yu300, yu411000, dc)
14.84/5.89	   new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(ty_Maybe, db))) -> new_esEs1(yu300, yu411000, db)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(app(ty_Either, bcb), bcc))) -> new_esEs(yu301, yu411001, bcb, bcc)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(app(ty_@3, eb), ec), ed)), dh), ea)) -> new_esEs0(yu300, yu411000, eb, ec, ed)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(ty_[], ga)), ea)) -> new_esEs2(yu301, yu411001, ga)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(app(ty_@2, bbg), bbh), bba) -> new_esEs3(yu300, yu411000, bbg, bbh)
14.84/5.89	   new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(ty_Either, ba), bb)), bc)) -> new_esEs(yu300, yu411000, ba, bb)
14.84/5.89	   new_esEs(Left(yu300), Left(yu411000), app(app(ty_Either, ba), bb), bc) -> new_esEs(yu300, yu411000, ba, bb)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(ty_[], bch)) -> new_esEs2(yu301, yu411001, bch)
14.84/5.89	   new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(ty_Maybe, ee)), dh), ea)) -> new_esEs1(yu300, yu411000, ee)
14.84/5.89	   new_esEs2(:(yu30, yu31), :(yu41100, yu41101), app(ty_[], baf)) -> new_esEs2(yu30, yu41100, baf)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(app(ty_@2, hc), hd)) -> new_esEs3(yu302, yu411002, hc, hd)
14.84/5.89	   new_esEs(Left(yu300), Left(yu411000), app(ty_[], bh), bc) -> new_esEs2(yu300, yu411000, bh)
14.84/5.89	   new_esEs(Left(yu300), Left(yu411000), app(ty_Maybe, bg), bc) -> new_esEs1(yu300, yu411000, bg)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(ty_[], ga), ea) -> new_esEs2(yu301, yu411001, ga)
14.84/5.89	   new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(app(ty_Either, bag), bah), bba) -> new_esEs(yu300, yu411000, bag, bah)
14.84/5.89	   new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(app(ty_@3, eb), ec), ed), dh, ea) -> new_esEs0(yu300, yu411000, eb, ec, ed)
14.84/5.89	   new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(app(app(ty_@3, bcd), bce), bcf))) -> new_esEs0(yu301, yu411001, bcd, bce, bcf)
14.84/5.89	
14.84/5.89	R is empty.
14.84/5.89	Q is empty.
14.84/5.89	We have to consider all minimal (P,Q,R)-chains.
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(19) QDPSizeChangeProof (EQUIVALENT)
14.84/5.89	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. 
14.84/5.89	
14.84/5.89	From the DPs we obtained the following set of size-change graphs:
14.84/5.89	*new_esEs1(Just(yu300), Just(yu411000), app(app(ty_Either, he), hf)) -> new_esEs(yu300, yu411000, he, hf)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs1(Just(yu300), Just(yu411000), app(ty_[], bac)) -> new_esEs2(yu300, yu411000, bac)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs1(Just(yu300), Just(yu411000), app(app(app(ty_@3, hg), hh), baa)) -> new_esEs0(yu300, yu411000, hg, hh, baa)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs1(Just(yu300), Just(yu411000), app(app(ty_@2, bad), bae)) -> new_esEs3(yu300, yu411000, bad, bae)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs1(Just(yu300), Just(yu411000), app(ty_Maybe, bab)) -> new_esEs1(yu300, yu411000, bab)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(ty_Either, df), dg), dh, ea) -> new_esEs(yu300, yu411000, df, dg)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(app(ty_Either, gd), ge)) -> new_esEs(yu302, yu411002, gd, ge)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(app(ty_Either, fb), fc), ea) -> new_esEs(yu301, yu411001, fb, fc)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(ty_[], hb)) -> new_esEs2(yu302, yu411002, hb)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(ty_[], ef), dh, ea) -> new_esEs2(yu300, yu411000, ef)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(ty_[], ga), ea) -> new_esEs2(yu301, yu411001, ga)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(app(app(ty_@3, fd), ff), fg), ea) -> new_esEs0(yu301, yu411001, fd, ff, fg)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(app(app(ty_@3, gf), gg), gh)) -> new_esEs0(yu302, yu411002, gf, gg, gh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(app(ty_@3, eb), ec), ed), dh, ea) -> new_esEs0(yu300, yu411000, eb, ec, ed)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(ty_@2, eg), eh), dh, ea) -> new_esEs3(yu300, yu411000, eg, eh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(app(ty_@2, gb), gc), ea) -> new_esEs3(yu301, yu411001, gb, gc)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(app(ty_@2, hc), hd)) -> new_esEs3(yu302, yu411002, hc, hd)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(ty_Maybe, ee), dh, ea) -> new_esEs1(yu300, yu411000, ee)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, dh, app(ty_Maybe, ha)) -> new_esEs1(yu302, yu411002, ha)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs0(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fa, app(ty_Maybe, fh), ea) -> new_esEs1(yu301, yu411001, fh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Right(yu300), Right(yu411000), cc, app(app(ty_Either, cd), ce)) -> new_esEs(yu300, yu411000, cd, ce)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Left(yu300), Left(yu411000), app(app(ty_Either, ba), bb), bc) -> new_esEs(yu300, yu411000, ba, bb)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(ty_Either, bag), bah)), bba)) -> new_esEs(yu300, yu411000, bag, bah)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(app(ty_Either, gd), ge))) -> new_esEs(yu302, yu411002, gd, ge)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(app(ty_Either, fb), fc)), ea)) -> new_esEs(yu301, yu411001, fb, fc)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(ty_Either, df), dg)), dh), ea)) -> new_esEs(yu300, yu411000, df, dg)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(ty_Either, he), hf))) -> new_esEs(yu300, yu411000, he, hf)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(app(ty_Either, cd), ce))) -> new_esEs(yu300, yu411000, cd, ce)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(app(ty_Either, bcb), bcc))) -> new_esEs(yu301, yu411001, bcb, bcc)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(ty_Either, ba), bb)), bc)) -> new_esEs(yu300, yu411000, ba, bb)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(app(ty_Either, bcb), bcc)) -> new_esEs(yu301, yu411001, bcb, bcc)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(app(ty_Either, bag), bah), bba) -> new_esEs(yu300, yu411000, bag, bah)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Right(yu300), Right(yu411000), cc, app(ty_[], dc)) -> new_esEs2(yu300, yu411000, dc)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Left(yu300), Left(yu411000), app(ty_[], bh), bc) -> new_esEs2(yu300, yu411000, bh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Left(yu300), Left(yu411000), app(app(app(ty_@3, bd), be), bf), bc) -> new_esEs0(yu300, yu411000, bd, be, bf)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Right(yu300), Right(yu411000), cc, app(app(app(ty_@3, cf), cg), da)) -> new_esEs0(yu300, yu411000, cf, cg, da)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Left(yu300), Left(yu411000), app(app(ty_@2, ca), cb), bc) -> new_esEs3(yu300, yu411000, ca, cb)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Right(yu300), Right(yu411000), cc, app(app(ty_@2, dd), de)) -> new_esEs3(yu300, yu411000, dd, de)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Right(yu300), Right(yu411000), cc, app(ty_Maybe, db)) -> new_esEs1(yu300, yu411000, db)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs(Left(yu300), Left(yu411000), app(ty_Maybe, bg), bc) -> new_esEs1(yu300, yu411000, bg)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(yu30, yu31), :(yu41100, yu41101), bdc) -> new_esEs2(yu31, yu41101, bdc)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(ty_[], hb))) -> new_esEs2(yu302, yu411002, hb)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(ty_[], bbf)), bba)) -> new_esEs2(yu300, yu411000, bbf)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(ty_[], bac))) -> new_esEs2(yu300, yu411000, bac)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(ty_[], dc))) -> new_esEs2(yu300, yu411000, dc)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(ty_[], bch))) -> new_esEs2(yu301, yu411001, bch)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(ty_[], ef)), dh), ea)) -> new_esEs2(yu300, yu411000, ef)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(ty_[], bh)), bc)) -> new_esEs2(yu300, yu411000, bh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(ty_[], ga)), ea)) -> new_esEs2(yu301, yu411001, ga)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(yu30, yu31), :(yu41100, yu41101), app(ty_[], baf)) -> new_esEs2(yu30, yu41100, baf)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(ty_[], bbf), bba) -> new_esEs2(yu300, yu411000, bbf)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(ty_[], bch)) -> new_esEs2(yu301, yu411001, bch)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(app(ty_@3, bd), be), bf)), bc)) -> new_esEs0(yu300, yu411000, bd, be, bf)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(app(ty_@3, hg), hh), baa))) -> new_esEs0(yu300, yu411000, hg, hh, baa)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(app(app(ty_@3, fd), ff), fg)), ea)) -> new_esEs0(yu301, yu411001, fd, ff, fg)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(app(app(ty_@3, cf), cg), da))) -> new_esEs0(yu300, yu411000, cf, cg, da)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(app(app(ty_@3, gf), gg), gh))) -> new_esEs0(yu302, yu411002, gf, gg, gh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(app(ty_@3, bbb), bbc), bbd)), bba)) -> new_esEs0(yu300, yu411000, bbb, bbc, bbd)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(app(ty_@3, eb), ec), ed)), dh), ea)) -> new_esEs0(yu300, yu411000, eb, ec, ed)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(app(app(ty_@3, bcd), bce), bcf))) -> new_esEs0(yu301, yu411001, bcd, bce, bcf)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(app(app(ty_@3, bbb), bbc), bbd), bba) -> new_esEs0(yu300, yu411000, bbb, bbc, bbd)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(app(app(ty_@3, bcd), bce), bcf)) -> new_esEs0(yu301, yu411001, bcd, bce, bcf)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(app(ty_@2, dd), de))) -> new_esEs3(yu300, yu411000, dd, de)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(ty_@2, ca), cb)), bc)) -> new_esEs3(yu300, yu411000, ca, cb)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(app(ty_@2, bda), bdb))) -> new_esEs3(yu301, yu411001, bda, bdb)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(ty_@2, bbg), bbh)), bba)) -> new_esEs3(yu300, yu411000, bbg, bbh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(ty_@2, eg), eh)), dh), ea)) -> new_esEs3(yu300, yu411000, eg, eh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(app(ty_@2, gb), gc)), ea)) -> new_esEs3(yu301, yu411001, gb, gc)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(ty_@2, bad), bae))) -> new_esEs3(yu300, yu411000, bad, bae)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(app(ty_@2, hc), hd))) -> new_esEs3(yu302, yu411002, hc, hd)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), dh), app(ty_Maybe, ha))) -> new_esEs1(yu302, yu411002, ha)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(ty_Maybe, bg)), bc)) -> new_esEs1(yu300, yu411000, bg)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fa), app(ty_Maybe, fh)), ea)) -> new_esEs1(yu301, yu411001, fh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, bca), app(ty_Maybe, bcg))) -> new_esEs1(yu301, yu411001, bcg)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(ty_Maybe, bab))) -> new_esEs1(yu300, yu411000, bab)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(ty_Maybe, bbe)), bba)) -> new_esEs1(yu300, yu411000, bbe)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, cc), app(ty_Maybe, db))) -> new_esEs1(yu300, yu411000, db)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs2(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(ty_Maybe, ee)), dh), ea)) -> new_esEs1(yu300, yu411000, ee)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(app(ty_@2, bda), bdb)) -> new_esEs3(yu301, yu411001, bda, bdb)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(app(ty_@2, bbg), bbh), bba) -> new_esEs3(yu300, yu411000, bbg, bbh)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), app(ty_Maybe, bbe), bba) -> new_esEs1(yu300, yu411000, bbe)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	*new_esEs3(@2(yu300, yu301), @2(yu411000, yu411001), bca, app(ty_Maybe, bcg)) -> new_esEs1(yu301, yu411001, bcg)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
14.84/5.89	
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(20)
14.84/5.89	YES
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(21)
14.84/5.89	Obligation:
14.84/5.89	Q DP problem:
14.84/5.89	The TRS P consists of the following rules:
14.84/5.89	
14.84/5.89	   new_primMulNat(Succ(yu30000), Succ(yu41100100)) -> new_primMulNat(yu30000, Succ(yu41100100))
14.84/5.89	
14.84/5.89	R is empty.
14.84/5.89	Q is empty.
14.84/5.89	We have to consider all minimal (P,Q,R)-chains.
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(22) QDPSizeChangeProof (EQUIVALENT)
14.84/5.89	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. 
14.84/5.89	
14.84/5.89	From the DPs we obtained the following set of size-change graphs:
14.84/5.89	*new_primMulNat(Succ(yu30000), Succ(yu41100100)) -> new_primMulNat(yu30000, Succ(yu41100100))
14.84/5.89	The graph contains the following edges 1 > 1, 2 >= 2
14.84/5.89	
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(23)
14.84/5.89	YES
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(24)
14.84/5.89	Obligation:
14.84/5.89	Q DP problem:
14.84/5.89	The TRS P consists of the following rules:
14.84/5.89	
14.84/5.89	   new_primPlusNat(Succ(yu5500), Succ(yu411001000)) -> new_primPlusNat(yu5500, yu411001000)
14.84/5.89	
14.84/5.89	R is empty.
14.84/5.89	Q is empty.
14.84/5.89	We have to consider all minimal (P,Q,R)-chains.
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(25) QDPSizeChangeProof (EQUIVALENT)
14.84/5.89	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. 
14.84/5.89	
14.84/5.89	From the DPs we obtained the following set of size-change graphs:
14.84/5.89	*new_primPlusNat(Succ(yu5500), Succ(yu411001000)) -> new_primPlusNat(yu5500, yu411001000)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2
14.84/5.89	
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(26)
14.84/5.89	YES
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(27)
14.84/5.89	Obligation:
14.84/5.89	Q DP problem:
14.84/5.89	The TRS P consists of the following rules:
14.84/5.89	
14.84/5.89	   new_primEqNat(Succ(yu3000), Succ(yu4110000)) -> new_primEqNat(yu3000, yu4110000)
14.84/5.89	
14.84/5.89	R is empty.
14.84/5.89	Q is empty.
14.84/5.89	We have to consider all minimal (P,Q,R)-chains.
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(28) QDPSizeChangeProof (EQUIVALENT)
14.84/5.89	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. 
14.84/5.89	
14.84/5.89	From the DPs we obtained the following set of size-change graphs:
14.84/5.89	*new_primEqNat(Succ(yu3000), Succ(yu4110000)) -> new_primEqNat(yu3000, yu4110000)
14.84/5.89	The graph contains the following edges 1 > 1, 2 > 2
14.84/5.89	
14.84/5.89	
14.84/5.89	----------------------------------------
14.84/5.89	
14.84/5.89	(29)
14.84/5.89	YES
15.39/5.95	EOF