13.40/5.33	YES
16.11/6.05	proof of /export/starexec/sandbox2/benchmark/theBenchmark.hs
16.11/6.05	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
16.11/6.05	
16.11/6.05	
16.11/6.05	H-Termination with start terms of the given HASKELL could be proven:
16.11/6.05	
16.11/6.05	(0) HASKELL
16.11/6.05	(1) LR [EQUIVALENT, 0 ms]
16.11/6.05	(2) HASKELL
16.11/6.05	(3) CR [EQUIVALENT, 0 ms]
16.11/6.05	(4) HASKELL
16.11/6.05	(5) IFR [EQUIVALENT, 0 ms]
16.11/6.05	(6) HASKELL
16.11/6.05	(7) BR [EQUIVALENT, 0 ms]
16.11/6.05	(8) HASKELL
16.11/6.05	(9) COR [EQUIVALENT, 11 ms]
16.11/6.05	(10) HASKELL
16.11/6.05	(11) Narrow [SOUND, 0 ms]
16.11/6.05	(12) AND
16.11/6.05	    (13) QDP
16.11/6.05	        (14) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.11/6.05	        (15) YES
16.11/6.05	    (16) QDP
16.11/6.05	        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.11/6.05	        (18) YES
16.11/6.05	    (19) QDP
16.11/6.05	        (20) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.11/6.05	        (21) YES
16.11/6.05	    (22) QDP
16.11/6.05	        (23) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.11/6.05	        (24) YES
16.11/6.05	    (25) QDP
16.11/6.05	        (26) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.11/6.05	        (27) YES
16.11/6.05	    (28) QDP
16.11/6.05	        (29) QDPSizeChangeProof [EQUIVALENT, 0 ms]
16.11/6.05	        (30) YES
16.11/6.05	
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(0)
16.11/6.05	Obligation:
16.11/6.05	mainModule Main 
16.11/6.05	module Maybe where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	module List where {
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	intersect :: Eq a => [a]  ->  [a]  ->  [a];
16.11/6.05	intersect = intersectBy (==);
16.11/6.05	
16.11/6.05	intersectBy :: (a  ->  a  ->  Bool)  ->  [a]  ->  [a]  ->  [a];
16.11/6.05	intersectBy eq xs ys = concatMap (\vv2 ->case vv2 of { 
16.11/6.05	x->  if any (eq x) ys then x : [] else []; 
16.11/6.05	_-> []; 
16.11/6.05	 } ) xs;
16.11/6.05	
16.11/6.05	}
16.11/6.05	module Main where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(1) LR (EQUIVALENT)
16.11/6.05	Lambda Reductions:
16.11/6.05	The following Lambda expression
16.11/6.05	"\vv2->case vv2 of {
16.11/6.05	x  -> if any (eq x) ys then x : [] else [];
16.11/6.05	_  -> []}
16.11/6.05	"
16.11/6.05	is transformed to
16.11/6.05	"intersectBy0 eq ys vv2 = case vv2 of {
16.11/6.05	x  -> if any (eq x) ys then x : [] else [];
16.11/6.05	_  -> []}
16.11/6.05	;
16.11/6.05	"
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(2)
16.11/6.05	Obligation:
16.11/6.05	mainModule Main 
16.11/6.05	module Maybe where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	module List where {
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	intersect :: Eq a => [a]  ->  [a]  ->  [a];
16.11/6.05	intersect = intersectBy (==);
16.11/6.05	
16.11/6.05	intersectBy :: (a  ->  a  ->  Bool)  ->  [a]  ->  [a]  ->  [a];
16.11/6.05	intersectBy eq xs ys = concatMap (intersectBy0 eq ys) xs;
16.11/6.05	
16.11/6.05	intersectBy0 eq ys vv2 = case vv2 of { 
16.11/6.05	x->  if any (eq x) ys then x : [] else []; 
16.11/6.05	_-> []; 
16.11/6.05	 } ;
16.11/6.05	
16.11/6.05	}
16.11/6.05	module Main where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(3) CR (EQUIVALENT)
16.11/6.05	Case Reductions:
16.11/6.05	The following Case expression
16.11/6.05	"case vv2 of {
16.11/6.05	x  -> if any (eq x) ys then x : [] else [];
16.11/6.05	_  -> []}
16.11/6.05	"
16.11/6.05	is transformed to
16.11/6.05	"intersectBy00 eq ys x = if any (eq x) ys then x : [] else [];
16.11/6.05	intersectBy00 eq ys _ = [];
16.11/6.05	"
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(4)
16.11/6.05	Obligation:
16.11/6.05	mainModule Main 
16.11/6.05	module Maybe where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	module List where {
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	intersect :: Eq a => [a]  ->  [a]  ->  [a];
16.11/6.05	intersect = intersectBy (==);
16.11/6.05	
16.11/6.05	intersectBy :: (a  ->  a  ->  Bool)  ->  [a]  ->  [a]  ->  [a];
16.11/6.05	intersectBy eq xs ys = concatMap (intersectBy0 eq ys) xs;
16.11/6.05	
16.11/6.05	intersectBy0 eq ys vv2 = intersectBy00 eq ys vv2;
16.11/6.05	
16.11/6.05	intersectBy00 eq ys x =  if any (eq x) ys then x : [] else [];
16.11/6.05	intersectBy00 eq ys _ = [];
16.11/6.05	
16.11/6.05	}
16.11/6.05	module Main where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(5) IFR (EQUIVALENT)
16.11/6.05	If Reductions:
16.11/6.05	The following If expression
16.11/6.05	"if any (eq x) ys then x : [] else []"
16.11/6.05	is transformed to
16.11/6.05	"intersectBy000 x True = x : [];
16.11/6.05	intersectBy000 x False = [];
16.11/6.05	"
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(6)
16.11/6.05	Obligation:
16.11/6.05	mainModule Main 
16.11/6.05	module Maybe where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	module List where {
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	intersect :: Eq a => [a]  ->  [a]  ->  [a];
16.11/6.05	intersect = intersectBy (==);
16.11/6.05	
16.11/6.05	intersectBy :: (a  ->  a  ->  Bool)  ->  [a]  ->  [a]  ->  [a];
16.11/6.05	intersectBy eq xs ys = concatMap (intersectBy0 eq ys) xs;
16.11/6.05	
16.11/6.05	intersectBy0 eq ys vv2 = intersectBy00 eq ys vv2;
16.11/6.05	
16.11/6.05	intersectBy00 eq ys x = intersectBy000 x (any (eq x) ys);
16.11/6.05	intersectBy00 eq ys _ = [];
16.11/6.05	
16.11/6.05	intersectBy000 x True = x : [];
16.11/6.05	intersectBy000 x False = [];
16.11/6.05	
16.11/6.05	}
16.11/6.05	module Main where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(7) BR (EQUIVALENT)
16.11/6.05	Replaced joker patterns by fresh variables and removed binding patterns.
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(8)
16.11/6.05	Obligation:
16.11/6.05	mainModule Main 
16.11/6.05	module Maybe where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	module List where {
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	intersect :: Eq a => [a]  ->  [a]  ->  [a];
16.11/6.05	intersect = intersectBy (==);
16.11/6.05	
16.11/6.05	intersectBy :: (a  ->  a  ->  Bool)  ->  [a]  ->  [a]  ->  [a];
16.11/6.05	intersectBy eq xs ys = concatMap (intersectBy0 eq ys) xs;
16.11/6.05	
16.11/6.05	intersectBy0 eq ys vv2 = intersectBy00 eq ys vv2;
16.11/6.05	
16.11/6.05	intersectBy00 eq ys x = intersectBy000 x (any (eq x) ys);
16.11/6.05	intersectBy00 eq ys xw = [];
16.11/6.05	
16.11/6.05	intersectBy000 x True = x : [];
16.11/6.05	intersectBy000 x False = [];
16.11/6.05	
16.11/6.05	}
16.11/6.05	module Main where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(9) COR (EQUIVALENT)
16.11/6.05	Cond Reductions:
16.11/6.05	The following Function with conditions
16.11/6.05	"undefined |Falseundefined;
16.11/6.05	"
16.11/6.05	is transformed to
16.11/6.05	"undefined  = undefined1;
16.11/6.05	"
16.11/6.05	"undefined0 True = undefined;
16.11/6.05	"
16.11/6.05	"undefined1  = undefined0 False;
16.11/6.05	"
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(10)
16.11/6.05	Obligation:
16.11/6.05	mainModule Main 
16.11/6.05	module Maybe where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	module List where {
16.11/6.05	import qualified Main;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	intersect :: Eq a => [a]  ->  [a]  ->  [a];
16.11/6.05	intersect = intersectBy (==);
16.11/6.05	
16.11/6.05	intersectBy :: (a  ->  a  ->  Bool)  ->  [a]  ->  [a]  ->  [a];
16.11/6.05	intersectBy eq xs ys = concatMap (intersectBy0 eq ys) xs;
16.11/6.05	
16.11/6.05	intersectBy0 eq ys vv2 = intersectBy00 eq ys vv2;
16.11/6.05	
16.11/6.05	intersectBy00 eq ys x = intersectBy000 x (any (eq x) ys);
16.11/6.05	intersectBy00 eq ys xw = [];
16.11/6.05	
16.11/6.05	intersectBy000 x True = x : [];
16.11/6.05	intersectBy000 x False = [];
16.11/6.05	
16.11/6.05	}
16.11/6.05	module Main where {
16.11/6.05	import qualified List;
16.11/6.05	import qualified Maybe;
16.11/6.05	import qualified Prelude;
16.11/6.05	}
16.11/6.05	
16.11/6.05	----------------------------------------
16.11/6.05	
16.11/6.05	(11) Narrow (SOUND)
16.11/6.05	Haskell To QDPs
16.11/6.05	
16.11/6.05	digraph dp_graph {
16.11/6.05	node [outthreshold=100, inthreshold=100];1[label="List.intersect",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
16.11/6.05	3[label="List.intersect xx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
16.11/6.05	4[label="List.intersect xx3 xx4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
16.11/6.05	5[label="List.intersectBy (==) xx3 xx4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
16.11/6.05	6[label="concatMap (List.intersectBy0 (==) xx4) xx3",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
16.11/6.05	7[label="concat . map (List.intersectBy0 (==) xx4)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
16.11/6.05	8[label="concat (map (List.intersectBy0 (==) xx4) xx3)",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
16.11/6.05	9[label="foldr (++) [] (map (List.intersectBy0 (==) xx4) xx3)",fontsize=16,color="burlywood",shape="triangle"];704[label="xx3/xx30 : xx31",fontsize=10,color="white",style="solid",shape="box"];9 -> 704[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	704 -> 10[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	705[label="xx3/[]",fontsize=10,color="white",style="solid",shape="box"];9 -> 705[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	705 -> 11[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	10[label="foldr (++) [] (map (List.intersectBy0 (==) xx4) (xx30 : xx31))",fontsize=16,color="black",shape="box"];10 -> 12[label="",style="solid", color="black", weight=3];
16.11/6.05	11[label="foldr (++) [] (map (List.intersectBy0 (==) xx4) [])",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3];
16.11/6.05	12[label="foldr (++) [] (List.intersectBy0 (==) xx4 xx30 : map (List.intersectBy0 (==) xx4) xx31)",fontsize=16,color="black",shape="box"];12 -> 14[label="",style="solid", color="black", weight=3];
16.11/6.05	13[label="foldr (++) [] []",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3];
16.11/6.05	14 -> 16[label="",style="dashed", color="red", weight=0];
16.11/6.05	14[label="(++) List.intersectBy0 (==) xx4 xx30 foldr (++) [] (map (List.intersectBy0 (==) xx4) xx31)",fontsize=16,color="magenta"];14 -> 17[label="",style="dashed", color="magenta", weight=3];
16.11/6.05	15[label="[]",fontsize=16,color="green",shape="box"];17 -> 9[label="",style="dashed", color="red", weight=0];
16.11/6.05	17[label="foldr (++) [] (map (List.intersectBy0 (==) xx4) xx31)",fontsize=16,color="magenta"];17 -> 18[label="",style="dashed", color="magenta", weight=3];
16.11/6.05	16[label="(++) List.intersectBy0 (==) xx4 xx30 xx5",fontsize=16,color="black",shape="triangle"];16 -> 19[label="",style="solid", color="black", weight=3];
16.11/6.05	18[label="xx31",fontsize=16,color="green",shape="box"];19[label="(++) List.intersectBy00 (==) xx4 xx30 xx5",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
16.11/6.05	20[label="(++) List.intersectBy000 xx30 (any ((==) xx30) xx4) xx5",fontsize=16,color="black",shape="box"];20 -> 21[label="",style="solid", color="black", weight=3];
16.11/6.05	21[label="(++) List.intersectBy000 xx30 (or . map ((==) xx30)) xx5",fontsize=16,color="black",shape="box"];21 -> 22[label="",style="solid", color="black", weight=3];
16.11/6.05	22[label="(++) List.intersectBy000 xx30 (or (map ((==) xx30) xx4)) xx5",fontsize=16,color="black",shape="box"];22 -> 23[label="",style="solid", color="black", weight=3];
16.11/6.05	23[label="(++) List.intersectBy000 xx30 (foldr (||) False (map ((==) xx30) xx4)) xx5",fontsize=16,color="burlywood",shape="triangle"];706[label="xx4/xx40 : xx41",fontsize=10,color="white",style="solid",shape="box"];23 -> 706[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	706 -> 24[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	707[label="xx4/[]",fontsize=10,color="white",style="solid",shape="box"];23 -> 707[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	707 -> 25[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	24[label="(++) List.intersectBy000 xx30 (foldr (||) False (map ((==) xx30) (xx40 : xx41))) xx5",fontsize=16,color="black",shape="box"];24 -> 26[label="",style="solid", color="black", weight=3];
16.11/6.05	25[label="(++) List.intersectBy000 xx30 (foldr (||) False (map ((==) xx30) [])) xx5",fontsize=16,color="black",shape="box"];25 -> 27[label="",style="solid", color="black", weight=3];
16.11/6.05	26[label="(++) List.intersectBy000 xx30 (foldr (||) False (((==) xx30 xx40) : map ((==) xx30) xx41)) xx5",fontsize=16,color="black",shape="box"];26 -> 28[label="",style="solid", color="black", weight=3];
16.11/6.05	27[label="(++) List.intersectBy000 xx30 (foldr (||) False []) xx5",fontsize=16,color="black",shape="box"];27 -> 29[label="",style="solid", color="black", weight=3];
16.11/6.05	28 -> 30[label="",style="dashed", color="red", weight=0];
16.11/6.05	28[label="(++) List.intersectBy000 xx30 ((||) (==) xx30 xx40 foldr (||) False (map ((==) xx30) xx41)) xx5",fontsize=16,color="magenta"];28 -> 31[label="",style="dashed", color="magenta", weight=3];
16.11/6.05	28 -> 32[label="",style="dashed", color="magenta", weight=3];
16.11/6.05	28 -> 33[label="",style="dashed", color="magenta", weight=3];
16.11/6.05	28 -> 34[label="",style="dashed", color="magenta", weight=3];
16.11/6.05	29[label="(++) List.intersectBy000 xx30 False xx5",fontsize=16,color="black",shape="box"];29 -> 35[label="",style="solid", color="black", weight=3];
16.11/6.05	31[label="xx41",fontsize=16,color="green",shape="box"];32[label="xx5",fontsize=16,color="green",shape="box"];33[label="(==) xx30 xx40",fontsize=16,color="blue",shape="box"];708[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 708[label="",style="solid", color="blue", weight=9];
16.11/6.05	708 -> 36[label="",style="solid", color="blue", weight=3];
16.11/6.05	709[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 709[label="",style="solid", color="blue", weight=9];
16.11/6.05	709 -> 37[label="",style="solid", color="blue", weight=3];
16.11/6.05	710[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 710[label="",style="solid", color="blue", weight=9];
16.11/6.05	710 -> 38[label="",style="solid", color="blue", weight=3];
16.11/6.05	711[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 711[label="",style="solid", color="blue", weight=9];
16.11/6.05	711 -> 39[label="",style="solid", color="blue", weight=3];
16.11/6.05	712[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 712[label="",style="solid", color="blue", weight=9];
16.11/6.05	712 -> 40[label="",style="solid", color="blue", weight=3];
16.11/6.05	713[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 713[label="",style="solid", color="blue", weight=9];
16.11/6.05	713 -> 41[label="",style="solid", color="blue", weight=3];
16.11/6.05	714[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 714[label="",style="solid", color="blue", weight=9];
16.11/6.05	714 -> 42[label="",style="solid", color="blue", weight=3];
16.11/6.05	715[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 715[label="",style="solid", color="blue", weight=9];
16.11/6.05	715 -> 43[label="",style="solid", color="blue", weight=3];
16.11/6.05	716[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 716[label="",style="solid", color="blue", weight=9];
16.11/6.05	716 -> 44[label="",style="solid", color="blue", weight=3];
16.11/6.05	717[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 717[label="",style="solid", color="blue", weight=9];
16.11/6.05	717 -> 45[label="",style="solid", color="blue", weight=3];
16.11/6.05	718[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 718[label="",style="solid", color="blue", weight=9];
16.11/6.05	718 -> 46[label="",style="solid", color="blue", weight=3];
16.11/6.05	719[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 719[label="",style="solid", color="blue", weight=9];
16.11/6.05	719 -> 47[label="",style="solid", color="blue", weight=3];
16.11/6.05	720[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 720[label="",style="solid", color="blue", weight=9];
16.11/6.05	720 -> 48[label="",style="solid", color="blue", weight=3];
16.11/6.05	721[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];33 -> 721[label="",style="solid", color="blue", weight=9];
16.11/6.05	721 -> 49[label="",style="solid", color="blue", weight=3];
16.11/6.05	34[label="xx30",fontsize=16,color="green",shape="box"];30[label="(++) List.intersectBy000 xx11 ((||) xx12 foldr (||) False (map ((==) xx11) xx13)) xx14",fontsize=16,color="burlywood",shape="triangle"];722[label="xx12/False",fontsize=10,color="white",style="solid",shape="box"];30 -> 722[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	722 -> 50[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	723[label="xx12/True",fontsize=10,color="white",style="solid",shape="box"];30 -> 723[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	723 -> 51[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	35[label="(++) [] xx5",fontsize=16,color="black",shape="triangle"];35 -> 52[label="",style="solid", color="black", weight=3];
16.11/6.05	36[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];724[label="xx30/()",fontsize=10,color="white",style="solid",shape="box"];36 -> 724[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	724 -> 53[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	37[label="(==) xx30 xx40",fontsize=16,color="black",shape="triangle"];37 -> 54[label="",style="solid", color="black", weight=3];
16.11/6.05	38[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];725[label="xx30/xx300 :% xx301",fontsize=10,color="white",style="solid",shape="box"];38 -> 725[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	725 -> 55[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	39[label="(==) xx30 xx40",fontsize=16,color="black",shape="triangle"];39 -> 56[label="",style="solid", color="black", weight=3];
16.11/6.05	40[label="(==) xx30 xx40",fontsize=16,color="black",shape="triangle"];40 -> 57[label="",style="solid", color="black", weight=3];
16.11/6.05	41[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];726[label="xx30/Integer xx300",fontsize=10,color="white",style="solid",shape="box"];41 -> 726[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	726 -> 58[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	42[label="(==) xx30 xx40",fontsize=16,color="black",shape="triangle"];42 -> 59[label="",style="solid", color="black", weight=3];
16.11/6.05	43[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];727[label="xx30/LT",fontsize=10,color="white",style="solid",shape="box"];43 -> 727[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	727 -> 60[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	728[label="xx30/EQ",fontsize=10,color="white",style="solid",shape="box"];43 -> 728[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	728 -> 61[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	729[label="xx30/GT",fontsize=10,color="white",style="solid",shape="box"];43 -> 729[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	729 -> 62[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	44[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];730[label="xx30/Left xx300",fontsize=10,color="white",style="solid",shape="box"];44 -> 730[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	730 -> 63[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	731[label="xx30/Right xx300",fontsize=10,color="white",style="solid",shape="box"];44 -> 731[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	731 -> 64[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	45[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];732[label="xx30/(xx300,xx301,xx302)",fontsize=10,color="white",style="solid",shape="box"];45 -> 732[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	732 -> 65[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	46[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];733[label="xx30/False",fontsize=10,color="white",style="solid",shape="box"];46 -> 733[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	733 -> 66[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	734[label="xx30/True",fontsize=10,color="white",style="solid",shape="box"];46 -> 734[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	734 -> 67[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	47[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];735[label="xx30/(xx300,xx301)",fontsize=10,color="white",style="solid",shape="box"];47 -> 735[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	735 -> 68[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	48[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];736[label="xx30/Nothing",fontsize=10,color="white",style="solid",shape="box"];48 -> 736[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	736 -> 69[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	737[label="xx30/Just xx300",fontsize=10,color="white",style="solid",shape="box"];48 -> 737[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	737 -> 70[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	49[label="(==) xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];738[label="xx30/xx300 : xx301",fontsize=10,color="white",style="solid",shape="box"];49 -> 738[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	738 -> 71[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	739[label="xx30/[]",fontsize=10,color="white",style="solid",shape="box"];49 -> 739[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	739 -> 72[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	50[label="(++) List.intersectBy000 xx11 ((||) False foldr (||) False (map ((==) xx11) xx13)) xx14",fontsize=16,color="black",shape="box"];50 -> 73[label="",style="solid", color="black", weight=3];
16.11/6.05	51[label="(++) List.intersectBy000 xx11 ((||) True foldr (||) False (map ((==) xx11) xx13)) xx14",fontsize=16,color="black",shape="box"];51 -> 74[label="",style="solid", color="black", weight=3];
16.11/6.05	52[label="xx5",fontsize=16,color="green",shape="box"];53[label="(==) () xx40",fontsize=16,color="burlywood",shape="box"];740[label="xx40/()",fontsize=10,color="white",style="solid",shape="box"];53 -> 740[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	740 -> 75[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	54[label="primEqInt xx30 xx40",fontsize=16,color="burlywood",shape="triangle"];741[label="xx30/Pos xx300",fontsize=10,color="white",style="solid",shape="box"];54 -> 741[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	741 -> 76[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	742[label="xx30/Neg xx300",fontsize=10,color="white",style="solid",shape="box"];54 -> 742[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	742 -> 77[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	55[label="(==) xx300 :% xx301 xx40",fontsize=16,color="burlywood",shape="box"];743[label="xx40/xx400 :% xx401",fontsize=10,color="white",style="solid",shape="box"];55 -> 743[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	743 -> 78[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	56[label="primEqFloat xx30 xx40",fontsize=16,color="burlywood",shape="box"];744[label="xx30/Float xx300 xx301",fontsize=10,color="white",style="solid",shape="box"];56 -> 744[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	744 -> 79[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	57[label="primEqDouble xx30 xx40",fontsize=16,color="burlywood",shape="box"];745[label="xx30/Double xx300 xx301",fontsize=10,color="white",style="solid",shape="box"];57 -> 745[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	745 -> 80[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	58[label="(==) Integer xx300 xx40",fontsize=16,color="burlywood",shape="box"];746[label="xx40/Integer xx400",fontsize=10,color="white",style="solid",shape="box"];58 -> 746[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	746 -> 81[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	59[label="primEqChar xx30 xx40",fontsize=16,color="burlywood",shape="box"];747[label="xx30/Char xx300",fontsize=10,color="white",style="solid",shape="box"];59 -> 747[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	747 -> 82[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	60[label="(==) LT xx40",fontsize=16,color="burlywood",shape="box"];748[label="xx40/LT",fontsize=10,color="white",style="solid",shape="box"];60 -> 748[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	748 -> 83[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	749[label="xx40/EQ",fontsize=10,color="white",style="solid",shape="box"];60 -> 749[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	749 -> 84[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	750[label="xx40/GT",fontsize=10,color="white",style="solid",shape="box"];60 -> 750[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	750 -> 85[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	61[label="(==) EQ xx40",fontsize=16,color="burlywood",shape="box"];751[label="xx40/LT",fontsize=10,color="white",style="solid",shape="box"];61 -> 751[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	751 -> 86[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	752[label="xx40/EQ",fontsize=10,color="white",style="solid",shape="box"];61 -> 752[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	752 -> 87[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	753[label="xx40/GT",fontsize=10,color="white",style="solid",shape="box"];61 -> 753[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	753 -> 88[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	62[label="(==) GT xx40",fontsize=16,color="burlywood",shape="box"];754[label="xx40/LT",fontsize=10,color="white",style="solid",shape="box"];62 -> 754[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	754 -> 89[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	755[label="xx40/EQ",fontsize=10,color="white",style="solid",shape="box"];62 -> 755[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	755 -> 90[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	756[label="xx40/GT",fontsize=10,color="white",style="solid",shape="box"];62 -> 756[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	756 -> 91[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	63[label="(==) Left xx300 xx40",fontsize=16,color="burlywood",shape="box"];757[label="xx40/Left xx400",fontsize=10,color="white",style="solid",shape="box"];63 -> 757[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	757 -> 92[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	758[label="xx40/Right xx400",fontsize=10,color="white",style="solid",shape="box"];63 -> 758[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	758 -> 93[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	64[label="(==) Right xx300 xx40",fontsize=16,color="burlywood",shape="box"];759[label="xx40/Left xx400",fontsize=10,color="white",style="solid",shape="box"];64 -> 759[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	759 -> 94[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	760[label="xx40/Right xx400",fontsize=10,color="white",style="solid",shape="box"];64 -> 760[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	760 -> 95[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	65[label="(==) (xx300,xx301,xx302) xx40",fontsize=16,color="burlywood",shape="box"];761[label="xx40/(xx400,xx401,xx402)",fontsize=10,color="white",style="solid",shape="box"];65 -> 761[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	761 -> 96[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	66[label="(==) False xx40",fontsize=16,color="burlywood",shape="box"];762[label="xx40/False",fontsize=10,color="white",style="solid",shape="box"];66 -> 762[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	762 -> 97[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	763[label="xx40/True",fontsize=10,color="white",style="solid",shape="box"];66 -> 763[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	763 -> 98[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	67[label="(==) True xx40",fontsize=16,color="burlywood",shape="box"];764[label="xx40/False",fontsize=10,color="white",style="solid",shape="box"];67 -> 764[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	764 -> 99[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	765[label="xx40/True",fontsize=10,color="white",style="solid",shape="box"];67 -> 765[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	765 -> 100[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	68[label="(==) (xx300,xx301) xx40",fontsize=16,color="burlywood",shape="box"];766[label="xx40/(xx400,xx401)",fontsize=10,color="white",style="solid",shape="box"];68 -> 766[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	766 -> 101[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	69[label="(==) Nothing xx40",fontsize=16,color="burlywood",shape="box"];767[label="xx40/Nothing",fontsize=10,color="white",style="solid",shape="box"];69 -> 767[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	767 -> 102[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	768[label="xx40/Just xx400",fontsize=10,color="white",style="solid",shape="box"];69 -> 768[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	768 -> 103[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	70[label="(==) Just xx300 xx40",fontsize=16,color="burlywood",shape="box"];769[label="xx40/Nothing",fontsize=10,color="white",style="solid",shape="box"];70 -> 769[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	769 -> 104[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	770[label="xx40/Just xx400",fontsize=10,color="white",style="solid",shape="box"];70 -> 770[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	770 -> 105[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	71[label="(==) xx300 : xx301 xx40",fontsize=16,color="burlywood",shape="box"];771[label="xx40/xx400 : xx401",fontsize=10,color="white",style="solid",shape="box"];71 -> 771[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	771 -> 106[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	772[label="xx40/[]",fontsize=10,color="white",style="solid",shape="box"];71 -> 772[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	772 -> 107[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	72[label="(==) [] xx40",fontsize=16,color="burlywood",shape="box"];773[label="xx40/xx400 : xx401",fontsize=10,color="white",style="solid",shape="box"];72 -> 773[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	773 -> 108[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	774[label="xx40/[]",fontsize=10,color="white",style="solid",shape="box"];72 -> 774[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	774 -> 109[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	73 -> 23[label="",style="dashed", color="red", weight=0];
16.11/6.05	73[label="(++) List.intersectBy000 xx11 (foldr (||) False (map ((==) xx11) xx13)) xx14",fontsize=16,color="magenta"];73 -> 110[label="",style="dashed", color="magenta", weight=3];
16.11/6.05	73 -> 111[label="",style="dashed", color="magenta", weight=3];
16.11/6.05	73 -> 112[label="",style="dashed", color="magenta", weight=3];
16.11/6.05	74[label="(++) List.intersectBy000 xx11 True xx14",fontsize=16,color="black",shape="box"];74 -> 113[label="",style="solid", color="black", weight=3];
16.11/6.05	75[label="(==) () ()",fontsize=16,color="black",shape="box"];75 -> 114[label="",style="solid", color="black", weight=3];
16.11/6.05	76[label="primEqInt (Pos xx300) xx40",fontsize=16,color="burlywood",shape="box"];775[label="xx300/Succ xx3000",fontsize=10,color="white",style="solid",shape="box"];76 -> 775[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	775 -> 115[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	776[label="xx300/Zero",fontsize=10,color="white",style="solid",shape="box"];76 -> 776[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	776 -> 116[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	77[label="primEqInt (Neg xx300) xx40",fontsize=16,color="burlywood",shape="box"];777[label="xx300/Succ xx3000",fontsize=10,color="white",style="solid",shape="box"];77 -> 777[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	777 -> 117[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	778[label="xx300/Zero",fontsize=10,color="white",style="solid",shape="box"];77 -> 778[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	778 -> 118[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	78[label="(==) xx300 :% xx301 xx400 :% xx401",fontsize=16,color="black",shape="box"];78 -> 119[label="",style="solid", color="black", weight=3];
16.11/6.05	79[label="primEqFloat (Float xx300 xx301) xx40",fontsize=16,color="burlywood",shape="box"];779[label="xx40/Float xx400 xx401",fontsize=10,color="white",style="solid",shape="box"];79 -> 779[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	779 -> 120[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	80[label="primEqDouble (Double xx300 xx301) xx40",fontsize=16,color="burlywood",shape="box"];780[label="xx40/Double xx400 xx401",fontsize=10,color="white",style="solid",shape="box"];80 -> 780[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	780 -> 121[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	81[label="(==) Integer xx300 Integer xx400",fontsize=16,color="black",shape="box"];81 -> 122[label="",style="solid", color="black", weight=3];
16.11/6.05	82[label="primEqChar (Char xx300) xx40",fontsize=16,color="burlywood",shape="box"];781[label="xx40/Char xx400",fontsize=10,color="white",style="solid",shape="box"];82 -> 781[label="",style="solid", color="burlywood", weight=9];
16.11/6.05	781 -> 123[label="",style="solid", color="burlywood", weight=3];
16.11/6.05	83[label="(==) LT LT",fontsize=16,color="black",shape="box"];83 -> 124[label="",style="solid", color="black", weight=3];
16.11/6.05	84[label="(==) LT EQ",fontsize=16,color="black",shape="box"];84 -> 125[label="",style="solid", color="black", weight=3];
16.11/6.05	85[label="(==) LT GT",fontsize=16,color="black",shape="box"];85 -> 126[label="",style="solid", color="black", weight=3];
16.11/6.05	86[label="(==) EQ LT",fontsize=16,color="black",shape="box"];86 -> 127[label="",style="solid", color="black", weight=3];
16.11/6.05	87[label="(==) EQ EQ",fontsize=16,color="black",shape="box"];87 -> 128[label="",style="solid", color="black", weight=3];
16.11/6.05	88[label="(==) EQ GT",fontsize=16,color="black",shape="box"];88 -> 129[label="",style="solid", color="black", weight=3];
16.11/6.05	89[label="(==) GT LT",fontsize=16,color="black",shape="box"];89 -> 130[label="",style="solid", color="black", weight=3];
16.11/6.05	90[label="(==) GT EQ",fontsize=16,color="black",shape="box"];90 -> 131[label="",style="solid", color="black", weight=3];
16.11/6.05	91[label="(==) GT GT",fontsize=16,color="black",shape="box"];91 -> 132[label="",style="solid", color="black", weight=3];
16.11/6.05	92[label="(==) Left xx300 Left xx400",fontsize=16,color="black",shape="box"];92 -> 133[label="",style="solid", color="black", weight=3];
16.11/6.05	93[label="(==) Left xx300 Right xx400",fontsize=16,color="black",shape="box"];93 -> 134[label="",style="solid", color="black", weight=3];
16.11/6.05	94[label="(==) Right xx300 Left xx400",fontsize=16,color="black",shape="box"];94 -> 135[label="",style="solid", color="black", weight=3];
16.11/6.05	95[label="(==) Right xx300 Right xx400",fontsize=16,color="black",shape="box"];95 -> 136[label="",style="solid", color="black", weight=3];
16.11/6.05	96[label="(==) (xx300,xx301,xx302) (xx400,xx401,xx402)",fontsize=16,color="black",shape="box"];96 -> 137[label="",style="solid", color="black", weight=3];
16.11/6.05	97[label="(==) False False",fontsize=16,color="black",shape="box"];97 -> 138[label="",style="solid", color="black", weight=3];
16.11/6.05	98[label="(==) False True",fontsize=16,color="black",shape="box"];98 -> 139[label="",style="solid", color="black", weight=3];
16.11/6.05	99[label="(==) True False",fontsize=16,color="black",shape="box"];99 -> 140[label="",style="solid", color="black", weight=3];
16.11/6.05	100[label="(==) True True",fontsize=16,color="black",shape="box"];100 -> 141[label="",style="solid", color="black", weight=3];
16.11/6.05	101[label="(==) (xx300,xx301) (xx400,xx401)",fontsize=16,color="black",shape="box"];101 -> 142[label="",style="solid", color="black", weight=3];
16.11/6.05	102[label="(==) Nothing Nothing",fontsize=16,color="black",shape="box"];102 -> 143[label="",style="solid", color="black", weight=3];
16.11/6.05	103[label="(==) Nothing Just xx400",fontsize=16,color="black",shape="box"];103 -> 144[label="",style="solid", color="black", weight=3];
16.11/6.05	104[label="(==) Just xx300 Nothing",fontsize=16,color="black",shape="box"];104 -> 145[label="",style="solid", color="black", weight=3];
16.11/6.05	105[label="(==) Just xx300 Just xx400",fontsize=16,color="black",shape="box"];105 -> 146[label="",style="solid", color="black", weight=3];
16.11/6.05	106[label="(==) xx300 : xx301 xx400 : xx401",fontsize=16,color="black",shape="box"];106 -> 147[label="",style="solid", color="black", weight=3];
16.11/6.05	107[label="(==) xx300 : xx301 []",fontsize=16,color="black",shape="box"];107 -> 148[label="",style="solid", color="black", weight=3];
16.11/6.05	108[label="(==) [] xx400 : xx401",fontsize=16,color="black",shape="box"];108 -> 149[label="",style="solid", color="black", weight=3];
16.11/6.06	109[label="(==) [] []",fontsize=16,color="black",shape="box"];109 -> 150[label="",style="solid", color="black", weight=3];
16.11/6.06	110[label="xx13",fontsize=16,color="green",shape="box"];111[label="xx11",fontsize=16,color="green",shape="box"];112[label="xx14",fontsize=16,color="green",shape="box"];113[label="(++) (xx11 : []) xx14",fontsize=16,color="black",shape="box"];113 -> 151[label="",style="solid", color="black", weight=3];
16.11/6.06	114[label="True",fontsize=16,color="green",shape="box"];115[label="primEqInt (Pos (Succ xx3000)) xx40",fontsize=16,color="burlywood",shape="box"];782[label="xx40/Pos xx400",fontsize=10,color="white",style="solid",shape="box"];115 -> 782[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	782 -> 152[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	783[label="xx40/Neg xx400",fontsize=10,color="white",style="solid",shape="box"];115 -> 783[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	783 -> 153[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	116[label="primEqInt (Pos Zero) xx40",fontsize=16,color="burlywood",shape="box"];784[label="xx40/Pos xx400",fontsize=10,color="white",style="solid",shape="box"];116 -> 784[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	784 -> 154[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	785[label="xx40/Neg xx400",fontsize=10,color="white",style="solid",shape="box"];116 -> 785[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	785 -> 155[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	117[label="primEqInt (Neg (Succ xx3000)) xx40",fontsize=16,color="burlywood",shape="box"];786[label="xx40/Pos xx400",fontsize=10,color="white",style="solid",shape="box"];117 -> 786[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	786 -> 156[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	787[label="xx40/Neg xx400",fontsize=10,color="white",style="solid",shape="box"];117 -> 787[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	787 -> 157[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	118[label="primEqInt (Neg Zero) xx40",fontsize=16,color="burlywood",shape="box"];788[label="xx40/Pos xx400",fontsize=10,color="white",style="solid",shape="box"];118 -> 788[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	788 -> 158[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	789[label="xx40/Neg xx400",fontsize=10,color="white",style="solid",shape="box"];118 -> 789[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	789 -> 159[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	119 -> 245[label="",style="dashed", color="red", weight=0];
16.11/6.06	119[label="xx300 == xx400 && xx301 == xx401",fontsize=16,color="magenta"];119 -> 246[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	119 -> 247[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	120[label="primEqFloat (Float xx300 xx301) (Float xx400 xx401)",fontsize=16,color="black",shape="box"];120 -> 170[label="",style="solid", color="black", weight=3];
16.11/6.06	121[label="primEqDouble (Double xx300 xx301) (Double xx400 xx401)",fontsize=16,color="black",shape="box"];121 -> 171[label="",style="solid", color="black", weight=3];
16.11/6.06	122 -> 54[label="",style="dashed", color="red", weight=0];
16.11/6.06	122[label="primEqInt xx300 xx400",fontsize=16,color="magenta"];122 -> 172[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	122 -> 173[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	123[label="primEqChar (Char xx300) (Char xx400)",fontsize=16,color="black",shape="box"];123 -> 174[label="",style="solid", color="black", weight=3];
16.11/6.06	124[label="True",fontsize=16,color="green",shape="box"];125[label="False",fontsize=16,color="green",shape="box"];126[label="False",fontsize=16,color="green",shape="box"];127[label="False",fontsize=16,color="green",shape="box"];128[label="True",fontsize=16,color="green",shape="box"];129[label="False",fontsize=16,color="green",shape="box"];130[label="False",fontsize=16,color="green",shape="box"];131[label="False",fontsize=16,color="green",shape="box"];132[label="True",fontsize=16,color="green",shape="box"];133[label="xx300 == xx400",fontsize=16,color="blue",shape="box"];790[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 790[label="",style="solid", color="blue", weight=9];
16.11/6.06	790 -> 175[label="",style="solid", color="blue", weight=3];
16.11/6.06	791[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 791[label="",style="solid", color="blue", weight=9];
16.11/6.06	791 -> 176[label="",style="solid", color="blue", weight=3];
16.11/6.06	792[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 792[label="",style="solid", color="blue", weight=9];
16.11/6.06	792 -> 177[label="",style="solid", color="blue", weight=3];
16.11/6.06	793[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 793[label="",style="solid", color="blue", weight=9];
16.11/6.06	793 -> 178[label="",style="solid", color="blue", weight=3];
16.11/6.06	794[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 794[label="",style="solid", color="blue", weight=9];
16.11/6.06	794 -> 179[label="",style="solid", color="blue", weight=3];
16.11/6.06	795[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 795[label="",style="solid", color="blue", weight=9];
16.11/6.06	795 -> 180[label="",style="solid", color="blue", weight=3];
16.11/6.06	796[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 796[label="",style="solid", color="blue", weight=9];
16.11/6.06	796 -> 181[label="",style="solid", color="blue", weight=3];
16.11/6.06	797[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 797[label="",style="solid", color="blue", weight=9];
16.11/6.06	797 -> 182[label="",style="solid", color="blue", weight=3];
16.11/6.06	798[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 798[label="",style="solid", color="blue", weight=9];
16.11/6.06	798 -> 183[label="",style="solid", color="blue", weight=3];
16.11/6.06	799[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 799[label="",style="solid", color="blue", weight=9];
16.11/6.06	799 -> 184[label="",style="solid", color="blue", weight=3];
16.11/6.06	800[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 800[label="",style="solid", color="blue", weight=9];
16.11/6.06	800 -> 185[label="",style="solid", color="blue", weight=3];
16.11/6.06	801[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 801[label="",style="solid", color="blue", weight=9];
16.11/6.06	801 -> 186[label="",style="solid", color="blue", weight=3];
16.11/6.06	802[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 802[label="",style="solid", color="blue", weight=9];
16.11/6.06	802 -> 187[label="",style="solid", color="blue", weight=3];
16.11/6.06	803[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];133 -> 803[label="",style="solid", color="blue", weight=9];
16.11/6.06	803 -> 188[label="",style="solid", color="blue", weight=3];
16.11/6.06	134[label="False",fontsize=16,color="green",shape="box"];135[label="False",fontsize=16,color="green",shape="box"];136[label="xx300 == xx400",fontsize=16,color="blue",shape="box"];804[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 804[label="",style="solid", color="blue", weight=9];
16.11/6.06	804 -> 189[label="",style="solid", color="blue", weight=3];
16.11/6.06	805[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 805[label="",style="solid", color="blue", weight=9];
16.11/6.06	805 -> 190[label="",style="solid", color="blue", weight=3];
16.11/6.06	806[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 806[label="",style="solid", color="blue", weight=9];
16.11/6.06	806 -> 191[label="",style="solid", color="blue", weight=3];
16.11/6.06	807[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 807[label="",style="solid", color="blue", weight=9];
16.11/6.06	807 -> 192[label="",style="solid", color="blue", weight=3];
16.11/6.06	808[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 808[label="",style="solid", color="blue", weight=9];
16.11/6.06	808 -> 193[label="",style="solid", color="blue", weight=3];
16.11/6.06	809[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 809[label="",style="solid", color="blue", weight=9];
16.11/6.06	809 -> 194[label="",style="solid", color="blue", weight=3];
16.11/6.06	810[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 810[label="",style="solid", color="blue", weight=9];
16.11/6.06	810 -> 195[label="",style="solid", color="blue", weight=3];
16.11/6.06	811[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 811[label="",style="solid", color="blue", weight=9];
16.11/6.06	811 -> 196[label="",style="solid", color="blue", weight=3];
16.11/6.06	812[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 812[label="",style="solid", color="blue", weight=9];
16.11/6.06	812 -> 197[label="",style="solid", color="blue", weight=3];
16.11/6.06	813[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 813[label="",style="solid", color="blue", weight=9];
16.11/6.06	813 -> 198[label="",style="solid", color="blue", weight=3];
16.11/6.06	814[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 814[label="",style="solid", color="blue", weight=9];
16.11/6.06	814 -> 199[label="",style="solid", color="blue", weight=3];
16.11/6.06	815[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 815[label="",style="solid", color="blue", weight=9];
16.11/6.06	815 -> 200[label="",style="solid", color="blue", weight=3];
16.11/6.06	816[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 816[label="",style="solid", color="blue", weight=9];
16.11/6.06	816 -> 201[label="",style="solid", color="blue", weight=3];
16.11/6.06	817[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];136 -> 817[label="",style="solid", color="blue", weight=9];
16.11/6.06	817 -> 202[label="",style="solid", color="blue", weight=3];
16.11/6.06	137 -> 245[label="",style="dashed", color="red", weight=0];
16.11/6.06	137[label="xx300 == xx400 && xx301 == xx401 && xx302 == xx402",fontsize=16,color="magenta"];137 -> 248[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	137 -> 249[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	138[label="True",fontsize=16,color="green",shape="box"];139[label="False",fontsize=16,color="green",shape="box"];140[label="False",fontsize=16,color="green",shape="box"];141[label="True",fontsize=16,color="green",shape="box"];142 -> 245[label="",style="dashed", color="red", weight=0];
16.11/6.06	142[label="xx300 == xx400 && xx301 == xx401",fontsize=16,color="magenta"];142 -> 250[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	142 -> 251[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	143[label="True",fontsize=16,color="green",shape="box"];144[label="False",fontsize=16,color="green",shape="box"];145[label="False",fontsize=16,color="green",shape="box"];146[label="xx300 == xx400",fontsize=16,color="blue",shape="box"];818[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 818[label="",style="solid", color="blue", weight=9];
16.11/6.06	818 -> 214[label="",style="solid", color="blue", weight=3];
16.11/6.06	819[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 819[label="",style="solid", color="blue", weight=9];
16.11/6.06	819 -> 215[label="",style="solid", color="blue", weight=3];
16.11/6.06	820[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 820[label="",style="solid", color="blue", weight=9];
16.11/6.06	820 -> 216[label="",style="solid", color="blue", weight=3];
16.11/6.06	821[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 821[label="",style="solid", color="blue", weight=9];
16.11/6.06	821 -> 217[label="",style="solid", color="blue", weight=3];
16.11/6.06	822[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 822[label="",style="solid", color="blue", weight=9];
16.11/6.06	822 -> 218[label="",style="solid", color="blue", weight=3];
16.11/6.06	823[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 823[label="",style="solid", color="blue", weight=9];
16.11/6.06	823 -> 219[label="",style="solid", color="blue", weight=3];
16.11/6.06	824[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 824[label="",style="solid", color="blue", weight=9];
16.11/6.06	824 -> 220[label="",style="solid", color="blue", weight=3];
16.11/6.06	825[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 825[label="",style="solid", color="blue", weight=9];
16.11/6.06	825 -> 221[label="",style="solid", color="blue", weight=3];
16.11/6.06	826[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 826[label="",style="solid", color="blue", weight=9];
16.11/6.06	826 -> 222[label="",style="solid", color="blue", weight=3];
16.11/6.06	827[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 827[label="",style="solid", color="blue", weight=9];
16.11/6.06	827 -> 223[label="",style="solid", color="blue", weight=3];
16.11/6.06	828[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 828[label="",style="solid", color="blue", weight=9];
16.11/6.06	828 -> 224[label="",style="solid", color="blue", weight=3];
16.11/6.06	829[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 829[label="",style="solid", color="blue", weight=9];
16.11/6.06	829 -> 225[label="",style="solid", color="blue", weight=3];
16.11/6.06	830[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 830[label="",style="solid", color="blue", weight=9];
16.11/6.06	830 -> 226[label="",style="solid", color="blue", weight=3];
16.11/6.06	831[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];146 -> 831[label="",style="solid", color="blue", weight=9];
16.11/6.06	831 -> 227[label="",style="solid", color="blue", weight=3];
16.11/6.06	147 -> 245[label="",style="dashed", color="red", weight=0];
16.11/6.06	147[label="xx300 == xx400 && xx301 == xx401",fontsize=16,color="magenta"];147 -> 252[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	147 -> 253[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	148[label="False",fontsize=16,color="green",shape="box"];149[label="False",fontsize=16,color="green",shape="box"];150[label="True",fontsize=16,color="green",shape="box"];151[label="xx11 : [] ++ xx14",fontsize=16,color="green",shape="box"];151 -> 228[label="",style="dashed", color="green", weight=3];
16.11/6.06	152[label="primEqInt (Pos (Succ xx3000)) (Pos xx400)",fontsize=16,color="burlywood",shape="box"];832[label="xx400/Succ xx4000",fontsize=10,color="white",style="solid",shape="box"];152 -> 832[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	832 -> 229[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	833[label="xx400/Zero",fontsize=10,color="white",style="solid",shape="box"];152 -> 833[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	833 -> 230[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	153[label="primEqInt (Pos (Succ xx3000)) (Neg xx400)",fontsize=16,color="black",shape="box"];153 -> 231[label="",style="solid", color="black", weight=3];
16.11/6.06	154[label="primEqInt (Pos Zero) (Pos xx400)",fontsize=16,color="burlywood",shape="box"];834[label="xx400/Succ xx4000",fontsize=10,color="white",style="solid",shape="box"];154 -> 834[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	834 -> 232[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	835[label="xx400/Zero",fontsize=10,color="white",style="solid",shape="box"];154 -> 835[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	835 -> 233[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	155[label="primEqInt (Pos Zero) (Neg xx400)",fontsize=16,color="burlywood",shape="box"];836[label="xx400/Succ xx4000",fontsize=10,color="white",style="solid",shape="box"];155 -> 836[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	836 -> 234[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	837[label="xx400/Zero",fontsize=10,color="white",style="solid",shape="box"];155 -> 837[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	837 -> 235[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	156[label="primEqInt (Neg (Succ xx3000)) (Pos xx400)",fontsize=16,color="black",shape="box"];156 -> 236[label="",style="solid", color="black", weight=3];
16.11/6.06	157[label="primEqInt (Neg (Succ xx3000)) (Neg xx400)",fontsize=16,color="burlywood",shape="box"];838[label="xx400/Succ xx4000",fontsize=10,color="white",style="solid",shape="box"];157 -> 838[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	838 -> 237[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	839[label="xx400/Zero",fontsize=10,color="white",style="solid",shape="box"];157 -> 839[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	839 -> 238[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	158[label="primEqInt (Neg Zero) (Pos xx400)",fontsize=16,color="burlywood",shape="box"];840[label="xx400/Succ xx4000",fontsize=10,color="white",style="solid",shape="box"];158 -> 840[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	840 -> 239[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	841[label="xx400/Zero",fontsize=10,color="white",style="solid",shape="box"];158 -> 841[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	841 -> 240[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	159[label="primEqInt (Neg Zero) (Neg xx400)",fontsize=16,color="burlywood",shape="box"];842[label="xx400/Succ xx4000",fontsize=10,color="white",style="solid",shape="box"];159 -> 842[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	842 -> 241[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	843[label="xx400/Zero",fontsize=10,color="white",style="solid",shape="box"];159 -> 843[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	843 -> 242[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	246[label="xx301 == xx401",fontsize=16,color="blue",shape="box"];844[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];246 -> 844[label="",style="solid", color="blue", weight=9];
16.11/6.06	844 -> 258[label="",style="solid", color="blue", weight=3];
16.11/6.06	845[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];246 -> 845[label="",style="solid", color="blue", weight=9];
16.11/6.06	845 -> 259[label="",style="solid", color="blue", weight=3];
16.11/6.06	247[label="xx300 == xx400",fontsize=16,color="blue",shape="box"];846[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];247 -> 846[label="",style="solid", color="blue", weight=9];
16.11/6.06	846 -> 260[label="",style="solid", color="blue", weight=3];
16.11/6.06	847[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];247 -> 847[label="",style="solid", color="blue", weight=9];
16.11/6.06	847 -> 261[label="",style="solid", color="blue", weight=3];
16.11/6.06	245[label="xx26 && xx27",fontsize=16,color="burlywood",shape="triangle"];848[label="xx26/False",fontsize=10,color="white",style="solid",shape="box"];245 -> 848[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	848 -> 262[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	849[label="xx26/True",fontsize=10,color="white",style="solid",shape="box"];245 -> 849[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	849 -> 263[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	170 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	170[label="xx300 * xx401 == xx301 * xx400",fontsize=16,color="magenta"];170 -> 264[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	170 -> 265[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	171 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	171[label="xx300 * xx401 == xx301 * xx400",fontsize=16,color="magenta"];171 -> 266[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	171 -> 267[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	172[label="xx400",fontsize=16,color="green",shape="box"];173[label="xx300",fontsize=16,color="green",shape="box"];174[label="primEqNat xx300 xx400",fontsize=16,color="burlywood",shape="triangle"];850[label="xx300/Succ xx3000",fontsize=10,color="white",style="solid",shape="box"];174 -> 850[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	850 -> 268[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	851[label="xx300/Zero",fontsize=10,color="white",style="solid",shape="box"];174 -> 851[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	851 -> 269[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	175 -> 36[label="",style="dashed", color="red", weight=0];
16.11/6.06	175[label="xx300 == xx400",fontsize=16,color="magenta"];175 -> 270[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	175 -> 271[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	176 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	176[label="xx300 == xx400",fontsize=16,color="magenta"];176 -> 272[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	176 -> 273[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	177 -> 38[label="",style="dashed", color="red", weight=0];
16.11/6.06	177[label="xx300 == xx400",fontsize=16,color="magenta"];177 -> 274[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	177 -> 275[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	178 -> 39[label="",style="dashed", color="red", weight=0];
16.11/6.06	178[label="xx300 == xx400",fontsize=16,color="magenta"];178 -> 276[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	178 -> 277[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	179 -> 40[label="",style="dashed", color="red", weight=0];
16.11/6.06	179[label="xx300 == xx400",fontsize=16,color="magenta"];179 -> 278[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	179 -> 279[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	180 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	180[label="xx300 == xx400",fontsize=16,color="magenta"];180 -> 280[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	180 -> 281[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	181 -> 42[label="",style="dashed", color="red", weight=0];
16.11/6.06	181[label="xx300 == xx400",fontsize=16,color="magenta"];181 -> 282[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	181 -> 283[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	182 -> 43[label="",style="dashed", color="red", weight=0];
16.11/6.06	182[label="xx300 == xx400",fontsize=16,color="magenta"];182 -> 284[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	182 -> 285[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	183 -> 44[label="",style="dashed", color="red", weight=0];
16.11/6.06	183[label="xx300 == xx400",fontsize=16,color="magenta"];183 -> 286[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	183 -> 287[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	184 -> 45[label="",style="dashed", color="red", weight=0];
16.11/6.06	184[label="xx300 == xx400",fontsize=16,color="magenta"];184 -> 288[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	184 -> 289[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	185 -> 46[label="",style="dashed", color="red", weight=0];
16.11/6.06	185[label="xx300 == xx400",fontsize=16,color="magenta"];185 -> 290[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	185 -> 291[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	186 -> 47[label="",style="dashed", color="red", weight=0];
16.11/6.06	186[label="xx300 == xx400",fontsize=16,color="magenta"];186 -> 292[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	186 -> 293[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	187 -> 48[label="",style="dashed", color="red", weight=0];
16.11/6.06	187[label="xx300 == xx400",fontsize=16,color="magenta"];187 -> 294[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	187 -> 295[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	188 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	188[label="xx300 == xx400",fontsize=16,color="magenta"];188 -> 296[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	188 -> 297[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	189 -> 36[label="",style="dashed", color="red", weight=0];
16.11/6.06	189[label="xx300 == xx400",fontsize=16,color="magenta"];189 -> 298[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	189 -> 299[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	190 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	190[label="xx300 == xx400",fontsize=16,color="magenta"];190 -> 300[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	190 -> 301[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	191 -> 38[label="",style="dashed", color="red", weight=0];
16.11/6.06	191[label="xx300 == xx400",fontsize=16,color="magenta"];191 -> 302[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	191 -> 303[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	192 -> 39[label="",style="dashed", color="red", weight=0];
16.11/6.06	192[label="xx300 == xx400",fontsize=16,color="magenta"];192 -> 304[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	192 -> 305[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	193 -> 40[label="",style="dashed", color="red", weight=0];
16.11/6.06	193[label="xx300 == xx400",fontsize=16,color="magenta"];193 -> 306[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	193 -> 307[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	194 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	194[label="xx300 == xx400",fontsize=16,color="magenta"];194 -> 308[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	194 -> 309[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	195 -> 42[label="",style="dashed", color="red", weight=0];
16.11/6.06	195[label="xx300 == xx400",fontsize=16,color="magenta"];195 -> 310[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	195 -> 311[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	196 -> 43[label="",style="dashed", color="red", weight=0];
16.11/6.06	196[label="xx300 == xx400",fontsize=16,color="magenta"];196 -> 312[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	196 -> 313[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	197 -> 44[label="",style="dashed", color="red", weight=0];
16.11/6.06	197[label="xx300 == xx400",fontsize=16,color="magenta"];197 -> 314[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	197 -> 315[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	198 -> 45[label="",style="dashed", color="red", weight=0];
16.11/6.06	198[label="xx300 == xx400",fontsize=16,color="magenta"];198 -> 316[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	198 -> 317[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	199 -> 46[label="",style="dashed", color="red", weight=0];
16.11/6.06	199[label="xx300 == xx400",fontsize=16,color="magenta"];199 -> 318[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	199 -> 319[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	200 -> 47[label="",style="dashed", color="red", weight=0];
16.11/6.06	200[label="xx300 == xx400",fontsize=16,color="magenta"];200 -> 320[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	200 -> 321[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	201 -> 48[label="",style="dashed", color="red", weight=0];
16.11/6.06	201[label="xx300 == xx400",fontsize=16,color="magenta"];201 -> 322[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	201 -> 323[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	202 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	202[label="xx300 == xx400",fontsize=16,color="magenta"];202 -> 324[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	202 -> 325[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	248 -> 245[label="",style="dashed", color="red", weight=0];
16.11/6.06	248[label="xx301 == xx401 && xx302 == xx402",fontsize=16,color="magenta"];248 -> 326[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	248 -> 327[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	249[label="xx300 == xx400",fontsize=16,color="blue",shape="box"];852[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 852[label="",style="solid", color="blue", weight=9];
16.11/6.06	852 -> 328[label="",style="solid", color="blue", weight=3];
16.11/6.06	853[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 853[label="",style="solid", color="blue", weight=9];
16.11/6.06	853 -> 329[label="",style="solid", color="blue", weight=3];
16.11/6.06	854[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 854[label="",style="solid", color="blue", weight=9];
16.11/6.06	854 -> 330[label="",style="solid", color="blue", weight=3];
16.11/6.06	855[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 855[label="",style="solid", color="blue", weight=9];
16.11/6.06	855 -> 331[label="",style="solid", color="blue", weight=3];
16.11/6.06	856[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 856[label="",style="solid", color="blue", weight=9];
16.11/6.06	856 -> 332[label="",style="solid", color="blue", weight=3];
16.11/6.06	857[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 857[label="",style="solid", color="blue", weight=9];
16.11/6.06	857 -> 333[label="",style="solid", color="blue", weight=3];
16.11/6.06	858[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 858[label="",style="solid", color="blue", weight=9];
16.11/6.06	858 -> 334[label="",style="solid", color="blue", weight=3];
16.11/6.06	859[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 859[label="",style="solid", color="blue", weight=9];
16.11/6.06	859 -> 335[label="",style="solid", color="blue", weight=3];
16.11/6.06	860[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 860[label="",style="solid", color="blue", weight=9];
16.11/6.06	860 -> 336[label="",style="solid", color="blue", weight=3];
16.11/6.06	861[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 861[label="",style="solid", color="blue", weight=9];
16.11/6.06	861 -> 337[label="",style="solid", color="blue", weight=3];
16.11/6.06	862[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 862[label="",style="solid", color="blue", weight=9];
16.11/6.06	862 -> 338[label="",style="solid", color="blue", weight=3];
16.11/6.06	863[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 863[label="",style="solid", color="blue", weight=9];
16.11/6.06	863 -> 339[label="",style="solid", color="blue", weight=3];
16.11/6.06	864[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 864[label="",style="solid", color="blue", weight=9];
16.11/6.06	864 -> 340[label="",style="solid", color="blue", weight=3];
16.11/6.06	865[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];249 -> 865[label="",style="solid", color="blue", weight=9];
16.11/6.06	865 -> 341[label="",style="solid", color="blue", weight=3];
16.11/6.06	250[label="xx301 == xx401",fontsize=16,color="blue",shape="box"];866[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 866[label="",style="solid", color="blue", weight=9];
16.11/6.06	866 -> 342[label="",style="solid", color="blue", weight=3];
16.11/6.06	867[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 867[label="",style="solid", color="blue", weight=9];
16.11/6.06	867 -> 343[label="",style="solid", color="blue", weight=3];
16.11/6.06	868[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 868[label="",style="solid", color="blue", weight=9];
16.11/6.06	868 -> 344[label="",style="solid", color="blue", weight=3];
16.11/6.06	869[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 869[label="",style="solid", color="blue", weight=9];
16.11/6.06	869 -> 345[label="",style="solid", color="blue", weight=3];
16.11/6.06	870[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 870[label="",style="solid", color="blue", weight=9];
16.11/6.06	870 -> 346[label="",style="solid", color="blue", weight=3];
16.11/6.06	871[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 871[label="",style="solid", color="blue", weight=9];
16.11/6.06	871 -> 347[label="",style="solid", color="blue", weight=3];
16.11/6.06	872[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 872[label="",style="solid", color="blue", weight=9];
16.11/6.06	872 -> 348[label="",style="solid", color="blue", weight=3];
16.11/6.06	873[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 873[label="",style="solid", color="blue", weight=9];
16.11/6.06	873 -> 349[label="",style="solid", color="blue", weight=3];
16.11/6.06	874[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 874[label="",style="solid", color="blue", weight=9];
16.11/6.06	874 -> 350[label="",style="solid", color="blue", weight=3];
16.11/6.06	875[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 875[label="",style="solid", color="blue", weight=9];
16.11/6.06	875 -> 351[label="",style="solid", color="blue", weight=3];
16.11/6.06	876[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 876[label="",style="solid", color="blue", weight=9];
16.11/6.06	876 -> 352[label="",style="solid", color="blue", weight=3];
16.11/6.06	877[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 877[label="",style="solid", color="blue", weight=9];
16.11/6.06	877 -> 353[label="",style="solid", color="blue", weight=3];
16.11/6.06	878[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 878[label="",style="solid", color="blue", weight=9];
16.11/6.06	878 -> 354[label="",style="solid", color="blue", weight=3];
16.11/6.06	879[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];250 -> 879[label="",style="solid", color="blue", weight=9];
16.11/6.06	879 -> 355[label="",style="solid", color="blue", weight=3];
16.11/6.06	251[label="xx300 == xx400",fontsize=16,color="blue",shape="box"];880[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 880[label="",style="solid", color="blue", weight=9];
16.11/6.06	880 -> 356[label="",style="solid", color="blue", weight=3];
16.11/6.06	881[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 881[label="",style="solid", color="blue", weight=9];
16.11/6.06	881 -> 357[label="",style="solid", color="blue", weight=3];
16.11/6.06	882[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 882[label="",style="solid", color="blue", weight=9];
16.11/6.06	882 -> 358[label="",style="solid", color="blue", weight=3];
16.11/6.06	883[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 883[label="",style="solid", color="blue", weight=9];
16.11/6.06	883 -> 359[label="",style="solid", color="blue", weight=3];
16.11/6.06	884[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 884[label="",style="solid", color="blue", weight=9];
16.11/6.06	884 -> 360[label="",style="solid", color="blue", weight=3];
16.11/6.06	885[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 885[label="",style="solid", color="blue", weight=9];
16.11/6.06	885 -> 361[label="",style="solid", color="blue", weight=3];
16.11/6.06	886[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 886[label="",style="solid", color="blue", weight=9];
16.11/6.06	886 -> 362[label="",style="solid", color="blue", weight=3];
16.11/6.06	887[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 887[label="",style="solid", color="blue", weight=9];
16.11/6.06	887 -> 363[label="",style="solid", color="blue", weight=3];
16.11/6.06	888[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 888[label="",style="solid", color="blue", weight=9];
16.11/6.06	888 -> 364[label="",style="solid", color="blue", weight=3];
16.11/6.06	889[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 889[label="",style="solid", color="blue", weight=9];
16.11/6.06	889 -> 365[label="",style="solid", color="blue", weight=3];
16.11/6.06	890[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 890[label="",style="solid", color="blue", weight=9];
16.11/6.06	890 -> 366[label="",style="solid", color="blue", weight=3];
16.11/6.06	891[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 891[label="",style="solid", color="blue", weight=9];
16.11/6.06	891 -> 367[label="",style="solid", color="blue", weight=3];
16.11/6.06	892[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 892[label="",style="solid", color="blue", weight=9];
16.11/6.06	892 -> 368[label="",style="solid", color="blue", weight=3];
16.11/6.06	893[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];251 -> 893[label="",style="solid", color="blue", weight=9];
16.11/6.06	893 -> 369[label="",style="solid", color="blue", weight=3];
16.11/6.06	214 -> 36[label="",style="dashed", color="red", weight=0];
16.11/6.06	214[label="xx300 == xx400",fontsize=16,color="magenta"];214 -> 370[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	214 -> 371[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	215 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	215[label="xx300 == xx400",fontsize=16,color="magenta"];215 -> 372[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	215 -> 373[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	216 -> 38[label="",style="dashed", color="red", weight=0];
16.11/6.06	216[label="xx300 == xx400",fontsize=16,color="magenta"];216 -> 374[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	216 -> 375[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	217 -> 39[label="",style="dashed", color="red", weight=0];
16.11/6.06	217[label="xx300 == xx400",fontsize=16,color="magenta"];217 -> 376[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	217 -> 377[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	218 -> 40[label="",style="dashed", color="red", weight=0];
16.11/6.06	218[label="xx300 == xx400",fontsize=16,color="magenta"];218 -> 378[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	218 -> 379[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	219 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	219[label="xx300 == xx400",fontsize=16,color="magenta"];219 -> 380[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	219 -> 381[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	220 -> 42[label="",style="dashed", color="red", weight=0];
16.11/6.06	220[label="xx300 == xx400",fontsize=16,color="magenta"];220 -> 382[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	220 -> 383[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	221 -> 43[label="",style="dashed", color="red", weight=0];
16.11/6.06	221[label="xx300 == xx400",fontsize=16,color="magenta"];221 -> 384[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	221 -> 385[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	222 -> 44[label="",style="dashed", color="red", weight=0];
16.11/6.06	222[label="xx300 == xx400",fontsize=16,color="magenta"];222 -> 386[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	222 -> 387[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	223 -> 45[label="",style="dashed", color="red", weight=0];
16.11/6.06	223[label="xx300 == xx400",fontsize=16,color="magenta"];223 -> 388[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	223 -> 389[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	224 -> 46[label="",style="dashed", color="red", weight=0];
16.11/6.06	224[label="xx300 == xx400",fontsize=16,color="magenta"];224 -> 390[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	224 -> 391[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	225 -> 47[label="",style="dashed", color="red", weight=0];
16.11/6.06	225[label="xx300 == xx400",fontsize=16,color="magenta"];225 -> 392[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	225 -> 393[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	226 -> 48[label="",style="dashed", color="red", weight=0];
16.11/6.06	226[label="xx300 == xx400",fontsize=16,color="magenta"];226 -> 394[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	226 -> 395[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	227 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	227[label="xx300 == xx400",fontsize=16,color="magenta"];227 -> 396[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	227 -> 397[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	252 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	252[label="xx301 == xx401",fontsize=16,color="magenta"];252 -> 398[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	252 -> 399[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	253[label="xx300 == xx400",fontsize=16,color="blue",shape="box"];894[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 894[label="",style="solid", color="blue", weight=9];
16.11/6.06	894 -> 400[label="",style="solid", color="blue", weight=3];
16.11/6.06	895[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 895[label="",style="solid", color="blue", weight=9];
16.11/6.06	895 -> 401[label="",style="solid", color="blue", weight=3];
16.11/6.06	896[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 896[label="",style="solid", color="blue", weight=9];
16.11/6.06	896 -> 402[label="",style="solid", color="blue", weight=3];
16.11/6.06	897[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 897[label="",style="solid", color="blue", weight=9];
16.11/6.06	897 -> 403[label="",style="solid", color="blue", weight=3];
16.11/6.06	898[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 898[label="",style="solid", color="blue", weight=9];
16.11/6.06	898 -> 404[label="",style="solid", color="blue", weight=3];
16.11/6.06	899[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 899[label="",style="solid", color="blue", weight=9];
16.11/6.06	899 -> 405[label="",style="solid", color="blue", weight=3];
16.11/6.06	900[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 900[label="",style="solid", color="blue", weight=9];
16.11/6.06	900 -> 406[label="",style="solid", color="blue", weight=3];
16.11/6.06	901[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 901[label="",style="solid", color="blue", weight=9];
16.11/6.06	901 -> 407[label="",style="solid", color="blue", weight=3];
16.11/6.06	902[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 902[label="",style="solid", color="blue", weight=9];
16.11/6.06	902 -> 408[label="",style="solid", color="blue", weight=3];
16.11/6.06	903[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 903[label="",style="solid", color="blue", weight=9];
16.11/6.06	903 -> 409[label="",style="solid", color="blue", weight=3];
16.11/6.06	904[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 904[label="",style="solid", color="blue", weight=9];
16.11/6.06	904 -> 410[label="",style="solid", color="blue", weight=3];
16.11/6.06	905[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 905[label="",style="solid", color="blue", weight=9];
16.11/6.06	905 -> 411[label="",style="solid", color="blue", weight=3];
16.11/6.06	906[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 906[label="",style="solid", color="blue", weight=9];
16.11/6.06	906 -> 412[label="",style="solid", color="blue", weight=3];
16.11/6.06	907[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];253 -> 907[label="",style="solid", color="blue", weight=9];
16.11/6.06	907 -> 413[label="",style="solid", color="blue", weight=3];
16.11/6.06	228 -> 35[label="",style="dashed", color="red", weight=0];
16.11/6.06	228[label="[] ++ xx14",fontsize=16,color="magenta"];228 -> 414[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	229[label="primEqInt (Pos (Succ xx3000)) (Pos (Succ xx4000))",fontsize=16,color="black",shape="box"];229 -> 415[label="",style="solid", color="black", weight=3];
16.11/6.06	230[label="primEqInt (Pos (Succ xx3000)) (Pos Zero)",fontsize=16,color="black",shape="box"];230 -> 416[label="",style="solid", color="black", weight=3];
16.11/6.06	231[label="False",fontsize=16,color="green",shape="box"];232[label="primEqInt (Pos Zero) (Pos (Succ xx4000))",fontsize=16,color="black",shape="box"];232 -> 417[label="",style="solid", color="black", weight=3];
16.11/6.06	233[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];233 -> 418[label="",style="solid", color="black", weight=3];
16.11/6.06	234[label="primEqInt (Pos Zero) (Neg (Succ xx4000))",fontsize=16,color="black",shape="box"];234 -> 419[label="",style="solid", color="black", weight=3];
16.11/6.06	235[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];235 -> 420[label="",style="solid", color="black", weight=3];
16.11/6.06	236[label="False",fontsize=16,color="green",shape="box"];237[label="primEqInt (Neg (Succ xx3000)) (Neg (Succ xx4000))",fontsize=16,color="black",shape="box"];237 -> 421[label="",style="solid", color="black", weight=3];
16.11/6.06	238[label="primEqInt (Neg (Succ xx3000)) (Neg Zero)",fontsize=16,color="black",shape="box"];238 -> 422[label="",style="solid", color="black", weight=3];
16.11/6.06	239[label="primEqInt (Neg Zero) (Pos (Succ xx4000))",fontsize=16,color="black",shape="box"];239 -> 423[label="",style="solid", color="black", weight=3];
16.11/6.06	240[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];240 -> 424[label="",style="solid", color="black", weight=3];
16.11/6.06	241[label="primEqInt (Neg Zero) (Neg (Succ xx4000))",fontsize=16,color="black",shape="box"];241 -> 425[label="",style="solid", color="black", weight=3];
16.11/6.06	242[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];242 -> 426[label="",style="solid", color="black", weight=3];
16.11/6.06	258 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	258[label="xx301 == xx401",fontsize=16,color="magenta"];258 -> 427[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	258 -> 428[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	259 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	259[label="xx301 == xx401",fontsize=16,color="magenta"];259 -> 429[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	259 -> 430[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	260 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	260[label="xx300 == xx400",fontsize=16,color="magenta"];260 -> 431[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	260 -> 432[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	261 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	261[label="xx300 == xx400",fontsize=16,color="magenta"];261 -> 433[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	261 -> 434[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	262[label="False && xx27",fontsize=16,color="black",shape="box"];262 -> 435[label="",style="solid", color="black", weight=3];
16.11/6.06	263[label="True && xx27",fontsize=16,color="black",shape="box"];263 -> 436[label="",style="solid", color="black", weight=3];
16.11/6.06	264[label="xx301 * xx400",fontsize=16,color="black",shape="triangle"];264 -> 437[label="",style="solid", color="black", weight=3];
16.11/6.06	265 -> 264[label="",style="dashed", color="red", weight=0];
16.11/6.06	265[label="xx300 * xx401",fontsize=16,color="magenta"];265 -> 438[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	265 -> 439[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	266 -> 264[label="",style="dashed", color="red", weight=0];
16.11/6.06	266[label="xx301 * xx400",fontsize=16,color="magenta"];266 -> 440[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	266 -> 441[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	267 -> 264[label="",style="dashed", color="red", weight=0];
16.11/6.06	267[label="xx300 * xx401",fontsize=16,color="magenta"];267 -> 442[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	267 -> 443[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	268[label="primEqNat (Succ xx3000) xx400",fontsize=16,color="burlywood",shape="box"];908[label="xx400/Succ xx4000",fontsize=10,color="white",style="solid",shape="box"];268 -> 908[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	908 -> 444[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	909[label="xx400/Zero",fontsize=10,color="white",style="solid",shape="box"];268 -> 909[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	909 -> 445[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	269[label="primEqNat Zero xx400",fontsize=16,color="burlywood",shape="box"];910[label="xx400/Succ xx4000",fontsize=10,color="white",style="solid",shape="box"];269 -> 910[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	910 -> 446[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	911[label="xx400/Zero",fontsize=10,color="white",style="solid",shape="box"];269 -> 911[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	911 -> 447[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	270[label="xx400",fontsize=16,color="green",shape="box"];271[label="xx300",fontsize=16,color="green",shape="box"];272[label="xx400",fontsize=16,color="green",shape="box"];273[label="xx300",fontsize=16,color="green",shape="box"];274[label="xx400",fontsize=16,color="green",shape="box"];275[label="xx300",fontsize=16,color="green",shape="box"];276[label="xx400",fontsize=16,color="green",shape="box"];277[label="xx300",fontsize=16,color="green",shape="box"];278[label="xx400",fontsize=16,color="green",shape="box"];279[label="xx300",fontsize=16,color="green",shape="box"];280[label="xx400",fontsize=16,color="green",shape="box"];281[label="xx300",fontsize=16,color="green",shape="box"];282[label="xx400",fontsize=16,color="green",shape="box"];283[label="xx300",fontsize=16,color="green",shape="box"];284[label="xx400",fontsize=16,color="green",shape="box"];285[label="xx300",fontsize=16,color="green",shape="box"];286[label="xx400",fontsize=16,color="green",shape="box"];287[label="xx300",fontsize=16,color="green",shape="box"];288[label="xx400",fontsize=16,color="green",shape="box"];289[label="xx300",fontsize=16,color="green",shape="box"];290[label="xx400",fontsize=16,color="green",shape="box"];291[label="xx300",fontsize=16,color="green",shape="box"];292[label="xx400",fontsize=16,color="green",shape="box"];293[label="xx300",fontsize=16,color="green",shape="box"];294[label="xx400",fontsize=16,color="green",shape="box"];295[label="xx300",fontsize=16,color="green",shape="box"];296[label="xx400",fontsize=16,color="green",shape="box"];297[label="xx300",fontsize=16,color="green",shape="box"];298[label="xx400",fontsize=16,color="green",shape="box"];299[label="xx300",fontsize=16,color="green",shape="box"];300[label="xx400",fontsize=16,color="green",shape="box"];301[label="xx300",fontsize=16,color="green",shape="box"];302[label="xx400",fontsize=16,color="green",shape="box"];303[label="xx300",fontsize=16,color="green",shape="box"];304[label="xx400",fontsize=16,color="green",shape="box"];305[label="xx300",fontsize=16,color="green",shape="box"];306[label="xx400",fontsize=16,color="green",shape="box"];307[label="xx300",fontsize=16,color="green",shape="box"];308[label="xx400",fontsize=16,color="green",shape="box"];309[label="xx300",fontsize=16,color="green",shape="box"];310[label="xx400",fontsize=16,color="green",shape="box"];311[label="xx300",fontsize=16,color="green",shape="box"];312[label="xx400",fontsize=16,color="green",shape="box"];313[label="xx300",fontsize=16,color="green",shape="box"];314[label="xx400",fontsize=16,color="green",shape="box"];315[label="xx300",fontsize=16,color="green",shape="box"];316[label="xx400",fontsize=16,color="green",shape="box"];317[label="xx300",fontsize=16,color="green",shape="box"];318[label="xx400",fontsize=16,color="green",shape="box"];319[label="xx300",fontsize=16,color="green",shape="box"];320[label="xx400",fontsize=16,color="green",shape="box"];321[label="xx300",fontsize=16,color="green",shape="box"];322[label="xx400",fontsize=16,color="green",shape="box"];323[label="xx300",fontsize=16,color="green",shape="box"];324[label="xx400",fontsize=16,color="green",shape="box"];325[label="xx300",fontsize=16,color="green",shape="box"];326[label="xx302 == xx402",fontsize=16,color="blue",shape="box"];912[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 912[label="",style="solid", color="blue", weight=9];
16.11/6.06	912 -> 448[label="",style="solid", color="blue", weight=3];
16.11/6.06	913[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 913[label="",style="solid", color="blue", weight=9];
16.11/6.06	913 -> 449[label="",style="solid", color="blue", weight=3];
16.11/6.06	914[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 914[label="",style="solid", color="blue", weight=9];
16.11/6.06	914 -> 450[label="",style="solid", color="blue", weight=3];
16.11/6.06	915[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 915[label="",style="solid", color="blue", weight=9];
16.11/6.06	915 -> 451[label="",style="solid", color="blue", weight=3];
16.11/6.06	916[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 916[label="",style="solid", color="blue", weight=9];
16.11/6.06	916 -> 452[label="",style="solid", color="blue", weight=3];
16.11/6.06	917[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 917[label="",style="solid", color="blue", weight=9];
16.11/6.06	917 -> 453[label="",style="solid", color="blue", weight=3];
16.11/6.06	918[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 918[label="",style="solid", color="blue", weight=9];
16.11/6.06	918 -> 454[label="",style="solid", color="blue", weight=3];
16.11/6.06	919[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 919[label="",style="solid", color="blue", weight=9];
16.11/6.06	919 -> 455[label="",style="solid", color="blue", weight=3];
16.11/6.06	920[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 920[label="",style="solid", color="blue", weight=9];
16.11/6.06	920 -> 456[label="",style="solid", color="blue", weight=3];
16.11/6.06	921[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 921[label="",style="solid", color="blue", weight=9];
16.11/6.06	921 -> 457[label="",style="solid", color="blue", weight=3];
16.11/6.06	922[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 922[label="",style="solid", color="blue", weight=9];
16.11/6.06	922 -> 458[label="",style="solid", color="blue", weight=3];
16.11/6.06	923[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 923[label="",style="solid", color="blue", weight=9];
16.11/6.06	923 -> 459[label="",style="solid", color="blue", weight=3];
16.11/6.06	924[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 924[label="",style="solid", color="blue", weight=9];
16.11/6.06	924 -> 460[label="",style="solid", color="blue", weight=3];
16.11/6.06	925[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];326 -> 925[label="",style="solid", color="blue", weight=9];
16.11/6.06	925 -> 461[label="",style="solid", color="blue", weight=3];
16.11/6.06	327[label="xx301 == xx401",fontsize=16,color="blue",shape="box"];926[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 926[label="",style="solid", color="blue", weight=9];
16.11/6.06	926 -> 462[label="",style="solid", color="blue", weight=3];
16.11/6.06	927[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 927[label="",style="solid", color="blue", weight=9];
16.11/6.06	927 -> 463[label="",style="solid", color="blue", weight=3];
16.11/6.06	928[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 928[label="",style="solid", color="blue", weight=9];
16.11/6.06	928 -> 464[label="",style="solid", color="blue", weight=3];
16.11/6.06	929[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 929[label="",style="solid", color="blue", weight=9];
16.11/6.06	929 -> 465[label="",style="solid", color="blue", weight=3];
16.11/6.06	930[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 930[label="",style="solid", color="blue", weight=9];
16.11/6.06	930 -> 466[label="",style="solid", color="blue", weight=3];
16.11/6.06	931[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 931[label="",style="solid", color="blue", weight=9];
16.11/6.06	931 -> 467[label="",style="solid", color="blue", weight=3];
16.11/6.06	932[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 932[label="",style="solid", color="blue", weight=9];
16.11/6.06	932 -> 468[label="",style="solid", color="blue", weight=3];
16.11/6.06	933[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 933[label="",style="solid", color="blue", weight=9];
16.11/6.06	933 -> 469[label="",style="solid", color="blue", weight=3];
16.11/6.06	934[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 934[label="",style="solid", color="blue", weight=9];
16.11/6.06	934 -> 470[label="",style="solid", color="blue", weight=3];
16.11/6.06	935[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 935[label="",style="solid", color="blue", weight=9];
16.11/6.06	935 -> 471[label="",style="solid", color="blue", weight=3];
16.11/6.06	936[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 936[label="",style="solid", color="blue", weight=9];
16.11/6.06	936 -> 472[label="",style="solid", color="blue", weight=3];
16.11/6.06	937[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 937[label="",style="solid", color="blue", weight=9];
16.11/6.06	937 -> 473[label="",style="solid", color="blue", weight=3];
16.11/6.06	938[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 938[label="",style="solid", color="blue", weight=9];
16.11/6.06	938 -> 474[label="",style="solid", color="blue", weight=3];
16.11/6.06	939[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];327 -> 939[label="",style="solid", color="blue", weight=9];
16.11/6.06	939 -> 475[label="",style="solid", color="blue", weight=3];
16.11/6.06	328 -> 36[label="",style="dashed", color="red", weight=0];
16.11/6.06	328[label="xx300 == xx400",fontsize=16,color="magenta"];328 -> 476[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	328 -> 477[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	329 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	329[label="xx300 == xx400",fontsize=16,color="magenta"];329 -> 478[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	329 -> 479[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	330 -> 38[label="",style="dashed", color="red", weight=0];
16.11/6.06	330[label="xx300 == xx400",fontsize=16,color="magenta"];330 -> 480[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	330 -> 481[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	331 -> 39[label="",style="dashed", color="red", weight=0];
16.11/6.06	331[label="xx300 == xx400",fontsize=16,color="magenta"];331 -> 482[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	331 -> 483[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	332 -> 40[label="",style="dashed", color="red", weight=0];
16.11/6.06	332[label="xx300 == xx400",fontsize=16,color="magenta"];332 -> 484[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	332 -> 485[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	333 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	333[label="xx300 == xx400",fontsize=16,color="magenta"];333 -> 486[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	333 -> 487[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	334 -> 42[label="",style="dashed", color="red", weight=0];
16.11/6.06	334[label="xx300 == xx400",fontsize=16,color="magenta"];334 -> 488[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	334 -> 489[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	335 -> 43[label="",style="dashed", color="red", weight=0];
16.11/6.06	335[label="xx300 == xx400",fontsize=16,color="magenta"];335 -> 490[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	335 -> 491[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	336 -> 44[label="",style="dashed", color="red", weight=0];
16.11/6.06	336[label="xx300 == xx400",fontsize=16,color="magenta"];336 -> 492[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	336 -> 493[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	337 -> 45[label="",style="dashed", color="red", weight=0];
16.11/6.06	337[label="xx300 == xx400",fontsize=16,color="magenta"];337 -> 494[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	337 -> 495[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	338 -> 46[label="",style="dashed", color="red", weight=0];
16.11/6.06	338[label="xx300 == xx400",fontsize=16,color="magenta"];338 -> 496[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	338 -> 497[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	339 -> 47[label="",style="dashed", color="red", weight=0];
16.11/6.06	339[label="xx300 == xx400",fontsize=16,color="magenta"];339 -> 498[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	339 -> 499[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	340 -> 48[label="",style="dashed", color="red", weight=0];
16.11/6.06	340[label="xx300 == xx400",fontsize=16,color="magenta"];340 -> 500[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	340 -> 501[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	341 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	341[label="xx300 == xx400",fontsize=16,color="magenta"];341 -> 502[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	341 -> 503[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	342 -> 36[label="",style="dashed", color="red", weight=0];
16.11/6.06	342[label="xx301 == xx401",fontsize=16,color="magenta"];342 -> 504[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	342 -> 505[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	343 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	343[label="xx301 == xx401",fontsize=16,color="magenta"];343 -> 506[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	343 -> 507[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	344 -> 38[label="",style="dashed", color="red", weight=0];
16.11/6.06	344[label="xx301 == xx401",fontsize=16,color="magenta"];344 -> 508[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	344 -> 509[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	345 -> 39[label="",style="dashed", color="red", weight=0];
16.11/6.06	345[label="xx301 == xx401",fontsize=16,color="magenta"];345 -> 510[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	345 -> 511[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	346 -> 40[label="",style="dashed", color="red", weight=0];
16.11/6.06	346[label="xx301 == xx401",fontsize=16,color="magenta"];346 -> 512[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	346 -> 513[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	347 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	347[label="xx301 == xx401",fontsize=16,color="magenta"];347 -> 514[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	347 -> 515[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	348 -> 42[label="",style="dashed", color="red", weight=0];
16.11/6.06	348[label="xx301 == xx401",fontsize=16,color="magenta"];348 -> 516[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	348 -> 517[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	349 -> 43[label="",style="dashed", color="red", weight=0];
16.11/6.06	349[label="xx301 == xx401",fontsize=16,color="magenta"];349 -> 518[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	349 -> 519[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	350 -> 44[label="",style="dashed", color="red", weight=0];
16.11/6.06	350[label="xx301 == xx401",fontsize=16,color="magenta"];350 -> 520[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	350 -> 521[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	351 -> 45[label="",style="dashed", color="red", weight=0];
16.11/6.06	351[label="xx301 == xx401",fontsize=16,color="magenta"];351 -> 522[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	351 -> 523[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	352 -> 46[label="",style="dashed", color="red", weight=0];
16.11/6.06	352[label="xx301 == xx401",fontsize=16,color="magenta"];352 -> 524[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	352 -> 525[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	353 -> 47[label="",style="dashed", color="red", weight=0];
16.11/6.06	353[label="xx301 == xx401",fontsize=16,color="magenta"];353 -> 526[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	353 -> 527[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	354 -> 48[label="",style="dashed", color="red", weight=0];
16.11/6.06	354[label="xx301 == xx401",fontsize=16,color="magenta"];354 -> 528[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	354 -> 529[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	355 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	355[label="xx301 == xx401",fontsize=16,color="magenta"];355 -> 530[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	355 -> 531[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	356 -> 36[label="",style="dashed", color="red", weight=0];
16.11/6.06	356[label="xx300 == xx400",fontsize=16,color="magenta"];356 -> 532[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	356 -> 533[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	357 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	357[label="xx300 == xx400",fontsize=16,color="magenta"];357 -> 534[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	357 -> 535[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	358 -> 38[label="",style="dashed", color="red", weight=0];
16.11/6.06	358[label="xx300 == xx400",fontsize=16,color="magenta"];358 -> 536[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	358 -> 537[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	359 -> 39[label="",style="dashed", color="red", weight=0];
16.11/6.06	359[label="xx300 == xx400",fontsize=16,color="magenta"];359 -> 538[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	359 -> 539[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	360 -> 40[label="",style="dashed", color="red", weight=0];
16.11/6.06	360[label="xx300 == xx400",fontsize=16,color="magenta"];360 -> 540[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	360 -> 541[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	361 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	361[label="xx300 == xx400",fontsize=16,color="magenta"];361 -> 542[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	361 -> 543[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	362 -> 42[label="",style="dashed", color="red", weight=0];
16.11/6.06	362[label="xx300 == xx400",fontsize=16,color="magenta"];362 -> 544[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	362 -> 545[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	363 -> 43[label="",style="dashed", color="red", weight=0];
16.11/6.06	363[label="xx300 == xx400",fontsize=16,color="magenta"];363 -> 546[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	363 -> 547[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	364 -> 44[label="",style="dashed", color="red", weight=0];
16.11/6.06	364[label="xx300 == xx400",fontsize=16,color="magenta"];364 -> 548[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	364 -> 549[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	365 -> 45[label="",style="dashed", color="red", weight=0];
16.11/6.06	365[label="xx300 == xx400",fontsize=16,color="magenta"];365 -> 550[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	365 -> 551[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	366 -> 46[label="",style="dashed", color="red", weight=0];
16.11/6.06	366[label="xx300 == xx400",fontsize=16,color="magenta"];366 -> 552[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	366 -> 553[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	367 -> 47[label="",style="dashed", color="red", weight=0];
16.11/6.06	367[label="xx300 == xx400",fontsize=16,color="magenta"];367 -> 554[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	367 -> 555[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	368 -> 48[label="",style="dashed", color="red", weight=0];
16.11/6.06	368[label="xx300 == xx400",fontsize=16,color="magenta"];368 -> 556[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	368 -> 557[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	369 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	369[label="xx300 == xx400",fontsize=16,color="magenta"];369 -> 558[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	369 -> 559[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	370[label="xx400",fontsize=16,color="green",shape="box"];371[label="xx300",fontsize=16,color="green",shape="box"];372[label="xx400",fontsize=16,color="green",shape="box"];373[label="xx300",fontsize=16,color="green",shape="box"];374[label="xx400",fontsize=16,color="green",shape="box"];375[label="xx300",fontsize=16,color="green",shape="box"];376[label="xx400",fontsize=16,color="green",shape="box"];377[label="xx300",fontsize=16,color="green",shape="box"];378[label="xx400",fontsize=16,color="green",shape="box"];379[label="xx300",fontsize=16,color="green",shape="box"];380[label="xx400",fontsize=16,color="green",shape="box"];381[label="xx300",fontsize=16,color="green",shape="box"];382[label="xx400",fontsize=16,color="green",shape="box"];383[label="xx300",fontsize=16,color="green",shape="box"];384[label="xx400",fontsize=16,color="green",shape="box"];385[label="xx300",fontsize=16,color="green",shape="box"];386[label="xx400",fontsize=16,color="green",shape="box"];387[label="xx300",fontsize=16,color="green",shape="box"];388[label="xx400",fontsize=16,color="green",shape="box"];389[label="xx300",fontsize=16,color="green",shape="box"];390[label="xx400",fontsize=16,color="green",shape="box"];391[label="xx300",fontsize=16,color="green",shape="box"];392[label="xx400",fontsize=16,color="green",shape="box"];393[label="xx300",fontsize=16,color="green",shape="box"];394[label="xx400",fontsize=16,color="green",shape="box"];395[label="xx300",fontsize=16,color="green",shape="box"];396[label="xx400",fontsize=16,color="green",shape="box"];397[label="xx300",fontsize=16,color="green",shape="box"];398[label="xx401",fontsize=16,color="green",shape="box"];399[label="xx301",fontsize=16,color="green",shape="box"];400 -> 36[label="",style="dashed", color="red", weight=0];
16.11/6.06	400[label="xx300 == xx400",fontsize=16,color="magenta"];400 -> 560[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	400 -> 561[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	401 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	401[label="xx300 == xx400",fontsize=16,color="magenta"];401 -> 562[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	401 -> 563[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	402 -> 38[label="",style="dashed", color="red", weight=0];
16.11/6.06	402[label="xx300 == xx400",fontsize=16,color="magenta"];402 -> 564[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	402 -> 565[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	403 -> 39[label="",style="dashed", color="red", weight=0];
16.11/6.06	403[label="xx300 == xx400",fontsize=16,color="magenta"];403 -> 566[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	403 -> 567[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	404 -> 40[label="",style="dashed", color="red", weight=0];
16.11/6.06	404[label="xx300 == xx400",fontsize=16,color="magenta"];404 -> 568[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	404 -> 569[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	405 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	405[label="xx300 == xx400",fontsize=16,color="magenta"];405 -> 570[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	405 -> 571[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	406 -> 42[label="",style="dashed", color="red", weight=0];
16.11/6.06	406[label="xx300 == xx400",fontsize=16,color="magenta"];406 -> 572[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	406 -> 573[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	407 -> 43[label="",style="dashed", color="red", weight=0];
16.11/6.06	407[label="xx300 == xx400",fontsize=16,color="magenta"];407 -> 574[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	407 -> 575[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	408 -> 44[label="",style="dashed", color="red", weight=0];
16.11/6.06	408[label="xx300 == xx400",fontsize=16,color="magenta"];408 -> 576[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	408 -> 577[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	409 -> 45[label="",style="dashed", color="red", weight=0];
16.11/6.06	409[label="xx300 == xx400",fontsize=16,color="magenta"];409 -> 578[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	409 -> 579[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	410 -> 46[label="",style="dashed", color="red", weight=0];
16.11/6.06	410[label="xx300 == xx400",fontsize=16,color="magenta"];410 -> 580[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	410 -> 581[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	411 -> 47[label="",style="dashed", color="red", weight=0];
16.11/6.06	411[label="xx300 == xx400",fontsize=16,color="magenta"];411 -> 582[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	411 -> 583[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	412 -> 48[label="",style="dashed", color="red", weight=0];
16.11/6.06	412[label="xx300 == xx400",fontsize=16,color="magenta"];412 -> 584[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	412 -> 585[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	413 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	413[label="xx300 == xx400",fontsize=16,color="magenta"];413 -> 586[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	413 -> 587[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	414[label="xx14",fontsize=16,color="green",shape="box"];415 -> 174[label="",style="dashed", color="red", weight=0];
16.11/6.06	415[label="primEqNat xx3000 xx4000",fontsize=16,color="magenta"];415 -> 588[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	415 -> 589[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	416[label="False",fontsize=16,color="green",shape="box"];417[label="False",fontsize=16,color="green",shape="box"];418[label="True",fontsize=16,color="green",shape="box"];419[label="False",fontsize=16,color="green",shape="box"];420[label="True",fontsize=16,color="green",shape="box"];421 -> 174[label="",style="dashed", color="red", weight=0];
16.11/6.06	421[label="primEqNat xx3000 xx4000",fontsize=16,color="magenta"];421 -> 590[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	421 -> 591[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	422[label="False",fontsize=16,color="green",shape="box"];423[label="False",fontsize=16,color="green",shape="box"];424[label="True",fontsize=16,color="green",shape="box"];425[label="False",fontsize=16,color="green",shape="box"];426[label="True",fontsize=16,color="green",shape="box"];427[label="xx401",fontsize=16,color="green",shape="box"];428[label="xx301",fontsize=16,color="green",shape="box"];429[label="xx401",fontsize=16,color="green",shape="box"];430[label="xx301",fontsize=16,color="green",shape="box"];431[label="xx400",fontsize=16,color="green",shape="box"];432[label="xx300",fontsize=16,color="green",shape="box"];433[label="xx400",fontsize=16,color="green",shape="box"];434[label="xx300",fontsize=16,color="green",shape="box"];435[label="False",fontsize=16,color="green",shape="box"];436[label="xx27",fontsize=16,color="green",shape="box"];437[label="primMulInt xx301 xx400",fontsize=16,color="burlywood",shape="box"];940[label="xx301/Pos xx3010",fontsize=10,color="white",style="solid",shape="box"];437 -> 940[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	940 -> 592[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	941[label="xx301/Neg xx3010",fontsize=10,color="white",style="solid",shape="box"];437 -> 941[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	941 -> 593[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	438[label="xx401",fontsize=16,color="green",shape="box"];439[label="xx300",fontsize=16,color="green",shape="box"];440[label="xx400",fontsize=16,color="green",shape="box"];441[label="xx301",fontsize=16,color="green",shape="box"];442[label="xx401",fontsize=16,color="green",shape="box"];443[label="xx300",fontsize=16,color="green",shape="box"];444[label="primEqNat (Succ xx3000) (Succ xx4000)",fontsize=16,color="black",shape="box"];444 -> 594[label="",style="solid", color="black", weight=3];
16.11/6.06	445[label="primEqNat (Succ xx3000) Zero",fontsize=16,color="black",shape="box"];445 -> 595[label="",style="solid", color="black", weight=3];
16.11/6.06	446[label="primEqNat Zero (Succ xx4000)",fontsize=16,color="black",shape="box"];446 -> 596[label="",style="solid", color="black", weight=3];
16.11/6.06	447[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];447 -> 597[label="",style="solid", color="black", weight=3];
16.11/6.06	448 -> 36[label="",style="dashed", color="red", weight=0];
16.11/6.06	448[label="xx302 == xx402",fontsize=16,color="magenta"];448 -> 598[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	448 -> 599[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	449 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	449[label="xx302 == xx402",fontsize=16,color="magenta"];449 -> 600[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	449 -> 601[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	450 -> 38[label="",style="dashed", color="red", weight=0];
16.11/6.06	450[label="xx302 == xx402",fontsize=16,color="magenta"];450 -> 602[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	450 -> 603[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	451 -> 39[label="",style="dashed", color="red", weight=0];
16.11/6.06	451[label="xx302 == xx402",fontsize=16,color="magenta"];451 -> 604[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	451 -> 605[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	452 -> 40[label="",style="dashed", color="red", weight=0];
16.11/6.06	452[label="xx302 == xx402",fontsize=16,color="magenta"];452 -> 606[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	452 -> 607[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	453 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	453[label="xx302 == xx402",fontsize=16,color="magenta"];453 -> 608[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	453 -> 609[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	454 -> 42[label="",style="dashed", color="red", weight=0];
16.11/6.06	454[label="xx302 == xx402",fontsize=16,color="magenta"];454 -> 610[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	454 -> 611[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	455 -> 43[label="",style="dashed", color="red", weight=0];
16.11/6.06	455[label="xx302 == xx402",fontsize=16,color="magenta"];455 -> 612[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	455 -> 613[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	456 -> 44[label="",style="dashed", color="red", weight=0];
16.11/6.06	456[label="xx302 == xx402",fontsize=16,color="magenta"];456 -> 614[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	456 -> 615[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	457 -> 45[label="",style="dashed", color="red", weight=0];
16.11/6.06	457[label="xx302 == xx402",fontsize=16,color="magenta"];457 -> 616[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	457 -> 617[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	458 -> 46[label="",style="dashed", color="red", weight=0];
16.11/6.06	458[label="xx302 == xx402",fontsize=16,color="magenta"];458 -> 618[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	458 -> 619[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	459 -> 47[label="",style="dashed", color="red", weight=0];
16.11/6.06	459[label="xx302 == xx402",fontsize=16,color="magenta"];459 -> 620[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	459 -> 621[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	460 -> 48[label="",style="dashed", color="red", weight=0];
16.11/6.06	460[label="xx302 == xx402",fontsize=16,color="magenta"];460 -> 622[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	460 -> 623[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	461 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	461[label="xx302 == xx402",fontsize=16,color="magenta"];461 -> 624[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	461 -> 625[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	462 -> 36[label="",style="dashed", color="red", weight=0];
16.11/6.06	462[label="xx301 == xx401",fontsize=16,color="magenta"];462 -> 626[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	462 -> 627[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	463 -> 37[label="",style="dashed", color="red", weight=0];
16.11/6.06	463[label="xx301 == xx401",fontsize=16,color="magenta"];463 -> 628[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	463 -> 629[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	464 -> 38[label="",style="dashed", color="red", weight=0];
16.11/6.06	464[label="xx301 == xx401",fontsize=16,color="magenta"];464 -> 630[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	464 -> 631[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	465 -> 39[label="",style="dashed", color="red", weight=0];
16.11/6.06	465[label="xx301 == xx401",fontsize=16,color="magenta"];465 -> 632[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	465 -> 633[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	466 -> 40[label="",style="dashed", color="red", weight=0];
16.11/6.06	466[label="xx301 == xx401",fontsize=16,color="magenta"];466 -> 634[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	466 -> 635[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	467 -> 41[label="",style="dashed", color="red", weight=0];
16.11/6.06	467[label="xx301 == xx401",fontsize=16,color="magenta"];467 -> 636[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	467 -> 637[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	468 -> 42[label="",style="dashed", color="red", weight=0];
16.11/6.06	468[label="xx301 == xx401",fontsize=16,color="magenta"];468 -> 638[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	468 -> 639[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	469 -> 43[label="",style="dashed", color="red", weight=0];
16.11/6.06	469[label="xx301 == xx401",fontsize=16,color="magenta"];469 -> 640[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	469 -> 641[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	470 -> 44[label="",style="dashed", color="red", weight=0];
16.11/6.06	470[label="xx301 == xx401",fontsize=16,color="magenta"];470 -> 642[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	470 -> 643[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	471 -> 45[label="",style="dashed", color="red", weight=0];
16.11/6.06	471[label="xx301 == xx401",fontsize=16,color="magenta"];471 -> 644[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	471 -> 645[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	472 -> 46[label="",style="dashed", color="red", weight=0];
16.11/6.06	472[label="xx301 == xx401",fontsize=16,color="magenta"];472 -> 646[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	472 -> 647[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	473 -> 47[label="",style="dashed", color="red", weight=0];
16.11/6.06	473[label="xx301 == xx401",fontsize=16,color="magenta"];473 -> 648[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	473 -> 649[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	474 -> 48[label="",style="dashed", color="red", weight=0];
16.11/6.06	474[label="xx301 == xx401",fontsize=16,color="magenta"];474 -> 650[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	474 -> 651[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	475 -> 49[label="",style="dashed", color="red", weight=0];
16.11/6.06	475[label="xx301 == xx401",fontsize=16,color="magenta"];475 -> 652[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	475 -> 653[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	476[label="xx400",fontsize=16,color="green",shape="box"];477[label="xx300",fontsize=16,color="green",shape="box"];478[label="xx400",fontsize=16,color="green",shape="box"];479[label="xx300",fontsize=16,color="green",shape="box"];480[label="xx400",fontsize=16,color="green",shape="box"];481[label="xx300",fontsize=16,color="green",shape="box"];482[label="xx400",fontsize=16,color="green",shape="box"];483[label="xx300",fontsize=16,color="green",shape="box"];484[label="xx400",fontsize=16,color="green",shape="box"];485[label="xx300",fontsize=16,color="green",shape="box"];486[label="xx400",fontsize=16,color="green",shape="box"];487[label="xx300",fontsize=16,color="green",shape="box"];488[label="xx400",fontsize=16,color="green",shape="box"];489[label="xx300",fontsize=16,color="green",shape="box"];490[label="xx400",fontsize=16,color="green",shape="box"];491[label="xx300",fontsize=16,color="green",shape="box"];492[label="xx400",fontsize=16,color="green",shape="box"];493[label="xx300",fontsize=16,color="green",shape="box"];494[label="xx400",fontsize=16,color="green",shape="box"];495[label="xx300",fontsize=16,color="green",shape="box"];496[label="xx400",fontsize=16,color="green",shape="box"];497[label="xx300",fontsize=16,color="green",shape="box"];498[label="xx400",fontsize=16,color="green",shape="box"];499[label="xx300",fontsize=16,color="green",shape="box"];500[label="xx400",fontsize=16,color="green",shape="box"];501[label="xx300",fontsize=16,color="green",shape="box"];502[label="xx400",fontsize=16,color="green",shape="box"];503[label="xx300",fontsize=16,color="green",shape="box"];504[label="xx401",fontsize=16,color="green",shape="box"];505[label="xx301",fontsize=16,color="green",shape="box"];506[label="xx401",fontsize=16,color="green",shape="box"];507[label="xx301",fontsize=16,color="green",shape="box"];508[label="xx401",fontsize=16,color="green",shape="box"];509[label="xx301",fontsize=16,color="green",shape="box"];510[label="xx401",fontsize=16,color="green",shape="box"];511[label="xx301",fontsize=16,color="green",shape="box"];512[label="xx401",fontsize=16,color="green",shape="box"];513[label="xx301",fontsize=16,color="green",shape="box"];514[label="xx401",fontsize=16,color="green",shape="box"];515[label="xx301",fontsize=16,color="green",shape="box"];516[label="xx401",fontsize=16,color="green",shape="box"];517[label="xx301",fontsize=16,color="green",shape="box"];518[label="xx401",fontsize=16,color="green",shape="box"];519[label="xx301",fontsize=16,color="green",shape="box"];520[label="xx401",fontsize=16,color="green",shape="box"];521[label="xx301",fontsize=16,color="green",shape="box"];522[label="xx401",fontsize=16,color="green",shape="box"];523[label="xx301",fontsize=16,color="green",shape="box"];524[label="xx401",fontsize=16,color="green",shape="box"];525[label="xx301",fontsize=16,color="green",shape="box"];526[label="xx401",fontsize=16,color="green",shape="box"];527[label="xx301",fontsize=16,color="green",shape="box"];528[label="xx401",fontsize=16,color="green",shape="box"];529[label="xx301",fontsize=16,color="green",shape="box"];530[label="xx401",fontsize=16,color="green",shape="box"];531[label="xx301",fontsize=16,color="green",shape="box"];532[label="xx400",fontsize=16,color="green",shape="box"];533[label="xx300",fontsize=16,color="green",shape="box"];534[label="xx400",fontsize=16,color="green",shape="box"];535[label="xx300",fontsize=16,color="green",shape="box"];536[label="xx400",fontsize=16,color="green",shape="box"];537[label="xx300",fontsize=16,color="green",shape="box"];538[label="xx400",fontsize=16,color="green",shape="box"];539[label="xx300",fontsize=16,color="green",shape="box"];540[label="xx400",fontsize=16,color="green",shape="box"];541[label="xx300",fontsize=16,color="green",shape="box"];542[label="xx400",fontsize=16,color="green",shape="box"];543[label="xx300",fontsize=16,color="green",shape="box"];544[label="xx400",fontsize=16,color="green",shape="box"];545[label="xx300",fontsize=16,color="green",shape="box"];546[label="xx400",fontsize=16,color="green",shape="box"];547[label="xx300",fontsize=16,color="green",shape="box"];548[label="xx400",fontsize=16,color="green",shape="box"];549[label="xx300",fontsize=16,color="green",shape="box"];550[label="xx400",fontsize=16,color="green",shape="box"];551[label="xx300",fontsize=16,color="green",shape="box"];552[label="xx400",fontsize=16,color="green",shape="box"];553[label="xx300",fontsize=16,color="green",shape="box"];554[label="xx400",fontsize=16,color="green",shape="box"];555[label="xx300",fontsize=16,color="green",shape="box"];556[label="xx400",fontsize=16,color="green",shape="box"];557[label="xx300",fontsize=16,color="green",shape="box"];558[label="xx400",fontsize=16,color="green",shape="box"];559[label="xx300",fontsize=16,color="green",shape="box"];560[label="xx400",fontsize=16,color="green",shape="box"];561[label="xx300",fontsize=16,color="green",shape="box"];562[label="xx400",fontsize=16,color="green",shape="box"];563[label="xx300",fontsize=16,color="green",shape="box"];564[label="xx400",fontsize=16,color="green",shape="box"];565[label="xx300",fontsize=16,color="green",shape="box"];566[label="xx400",fontsize=16,color="green",shape="box"];567[label="xx300",fontsize=16,color="green",shape="box"];568[label="xx400",fontsize=16,color="green",shape="box"];569[label="xx300",fontsize=16,color="green",shape="box"];570[label="xx400",fontsize=16,color="green",shape="box"];571[label="xx300",fontsize=16,color="green",shape="box"];572[label="xx400",fontsize=16,color="green",shape="box"];573[label="xx300",fontsize=16,color="green",shape="box"];574[label="xx400",fontsize=16,color="green",shape="box"];575[label="xx300",fontsize=16,color="green",shape="box"];576[label="xx400",fontsize=16,color="green",shape="box"];577[label="xx300",fontsize=16,color="green",shape="box"];578[label="xx400",fontsize=16,color="green",shape="box"];579[label="xx300",fontsize=16,color="green",shape="box"];580[label="xx400",fontsize=16,color="green",shape="box"];581[label="xx300",fontsize=16,color="green",shape="box"];582[label="xx400",fontsize=16,color="green",shape="box"];583[label="xx300",fontsize=16,color="green",shape="box"];584[label="xx400",fontsize=16,color="green",shape="box"];585[label="xx300",fontsize=16,color="green",shape="box"];586[label="xx400",fontsize=16,color="green",shape="box"];587[label="xx300",fontsize=16,color="green",shape="box"];588[label="xx3000",fontsize=16,color="green",shape="box"];589[label="xx4000",fontsize=16,color="green",shape="box"];590[label="xx3000",fontsize=16,color="green",shape="box"];591[label="xx4000",fontsize=16,color="green",shape="box"];592[label="primMulInt (Pos xx3010) xx400",fontsize=16,color="burlywood",shape="box"];942[label="xx400/Pos xx4000",fontsize=10,color="white",style="solid",shape="box"];592 -> 942[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	942 -> 654[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	943[label="xx400/Neg xx4000",fontsize=10,color="white",style="solid",shape="box"];592 -> 943[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	943 -> 655[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	593[label="primMulInt (Neg xx3010) xx400",fontsize=16,color="burlywood",shape="box"];944[label="xx400/Pos xx4000",fontsize=10,color="white",style="solid",shape="box"];593 -> 944[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	944 -> 656[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	945[label="xx400/Neg xx4000",fontsize=10,color="white",style="solid",shape="box"];593 -> 945[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	945 -> 657[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	594 -> 174[label="",style="dashed", color="red", weight=0];
16.11/6.06	594[label="primEqNat xx3000 xx4000",fontsize=16,color="magenta"];594 -> 658[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	594 -> 659[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	595[label="False",fontsize=16,color="green",shape="box"];596[label="False",fontsize=16,color="green",shape="box"];597[label="True",fontsize=16,color="green",shape="box"];598[label="xx402",fontsize=16,color="green",shape="box"];599[label="xx302",fontsize=16,color="green",shape="box"];600[label="xx402",fontsize=16,color="green",shape="box"];601[label="xx302",fontsize=16,color="green",shape="box"];602[label="xx402",fontsize=16,color="green",shape="box"];603[label="xx302",fontsize=16,color="green",shape="box"];604[label="xx402",fontsize=16,color="green",shape="box"];605[label="xx302",fontsize=16,color="green",shape="box"];606[label="xx402",fontsize=16,color="green",shape="box"];607[label="xx302",fontsize=16,color="green",shape="box"];608[label="xx402",fontsize=16,color="green",shape="box"];609[label="xx302",fontsize=16,color="green",shape="box"];610[label="xx402",fontsize=16,color="green",shape="box"];611[label="xx302",fontsize=16,color="green",shape="box"];612[label="xx402",fontsize=16,color="green",shape="box"];613[label="xx302",fontsize=16,color="green",shape="box"];614[label="xx402",fontsize=16,color="green",shape="box"];615[label="xx302",fontsize=16,color="green",shape="box"];616[label="xx402",fontsize=16,color="green",shape="box"];617[label="xx302",fontsize=16,color="green",shape="box"];618[label="xx402",fontsize=16,color="green",shape="box"];619[label="xx302",fontsize=16,color="green",shape="box"];620[label="xx402",fontsize=16,color="green",shape="box"];621[label="xx302",fontsize=16,color="green",shape="box"];622[label="xx402",fontsize=16,color="green",shape="box"];623[label="xx302",fontsize=16,color="green",shape="box"];624[label="xx402",fontsize=16,color="green",shape="box"];625[label="xx302",fontsize=16,color="green",shape="box"];626[label="xx401",fontsize=16,color="green",shape="box"];627[label="xx301",fontsize=16,color="green",shape="box"];628[label="xx401",fontsize=16,color="green",shape="box"];629[label="xx301",fontsize=16,color="green",shape="box"];630[label="xx401",fontsize=16,color="green",shape="box"];631[label="xx301",fontsize=16,color="green",shape="box"];632[label="xx401",fontsize=16,color="green",shape="box"];633[label="xx301",fontsize=16,color="green",shape="box"];634[label="xx401",fontsize=16,color="green",shape="box"];635[label="xx301",fontsize=16,color="green",shape="box"];636[label="xx401",fontsize=16,color="green",shape="box"];637[label="xx301",fontsize=16,color="green",shape="box"];638[label="xx401",fontsize=16,color="green",shape="box"];639[label="xx301",fontsize=16,color="green",shape="box"];640[label="xx401",fontsize=16,color="green",shape="box"];641[label="xx301",fontsize=16,color="green",shape="box"];642[label="xx401",fontsize=16,color="green",shape="box"];643[label="xx301",fontsize=16,color="green",shape="box"];644[label="xx401",fontsize=16,color="green",shape="box"];645[label="xx301",fontsize=16,color="green",shape="box"];646[label="xx401",fontsize=16,color="green",shape="box"];647[label="xx301",fontsize=16,color="green",shape="box"];648[label="xx401",fontsize=16,color="green",shape="box"];649[label="xx301",fontsize=16,color="green",shape="box"];650[label="xx401",fontsize=16,color="green",shape="box"];651[label="xx301",fontsize=16,color="green",shape="box"];652[label="xx401",fontsize=16,color="green",shape="box"];653[label="xx301",fontsize=16,color="green",shape="box"];654[label="primMulInt (Pos xx3010) (Pos xx4000)",fontsize=16,color="black",shape="box"];654 -> 660[label="",style="solid", color="black", weight=3];
16.11/6.06	655[label="primMulInt (Pos xx3010) (Neg xx4000)",fontsize=16,color="black",shape="box"];655 -> 661[label="",style="solid", color="black", weight=3];
16.11/6.06	656[label="primMulInt (Neg xx3010) (Pos xx4000)",fontsize=16,color="black",shape="box"];656 -> 662[label="",style="solid", color="black", weight=3];
16.11/6.06	657[label="primMulInt (Neg xx3010) (Neg xx4000)",fontsize=16,color="black",shape="box"];657 -> 663[label="",style="solid", color="black", weight=3];
16.11/6.06	658[label="xx3000",fontsize=16,color="green",shape="box"];659[label="xx4000",fontsize=16,color="green",shape="box"];660[label="Pos (primMulNat xx3010 xx4000)",fontsize=16,color="green",shape="box"];660 -> 664[label="",style="dashed", color="green", weight=3];
16.11/6.06	661[label="Neg (primMulNat xx3010 xx4000)",fontsize=16,color="green",shape="box"];661 -> 665[label="",style="dashed", color="green", weight=3];
16.11/6.06	662[label="Neg (primMulNat xx3010 xx4000)",fontsize=16,color="green",shape="box"];662 -> 666[label="",style="dashed", color="green", weight=3];
16.11/6.06	663[label="Pos (primMulNat xx3010 xx4000)",fontsize=16,color="green",shape="box"];663 -> 667[label="",style="dashed", color="green", weight=3];
16.11/6.06	664[label="primMulNat xx3010 xx4000",fontsize=16,color="burlywood",shape="triangle"];946[label="xx3010/Succ xx30100",fontsize=10,color="white",style="solid",shape="box"];664 -> 946[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	946 -> 668[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	947[label="xx3010/Zero",fontsize=10,color="white",style="solid",shape="box"];664 -> 947[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	947 -> 669[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	665 -> 664[label="",style="dashed", color="red", weight=0];
16.11/6.06	665[label="primMulNat xx3010 xx4000",fontsize=16,color="magenta"];665 -> 670[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	666 -> 664[label="",style="dashed", color="red", weight=0];
16.11/6.06	666[label="primMulNat xx3010 xx4000",fontsize=16,color="magenta"];666 -> 671[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	667 -> 664[label="",style="dashed", color="red", weight=0];
16.11/6.06	667[label="primMulNat xx3010 xx4000",fontsize=16,color="magenta"];667 -> 672[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	667 -> 673[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	668[label="primMulNat (Succ xx30100) xx4000",fontsize=16,color="burlywood",shape="box"];948[label="xx4000/Succ xx40000",fontsize=10,color="white",style="solid",shape="box"];668 -> 948[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	948 -> 674[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	949[label="xx4000/Zero",fontsize=10,color="white",style="solid",shape="box"];668 -> 949[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	949 -> 675[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	669[label="primMulNat Zero xx4000",fontsize=16,color="burlywood",shape="box"];950[label="xx4000/Succ xx40000",fontsize=10,color="white",style="solid",shape="box"];669 -> 950[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	950 -> 676[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	951[label="xx4000/Zero",fontsize=10,color="white",style="solid",shape="box"];669 -> 951[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	951 -> 677[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	670[label="xx4000",fontsize=16,color="green",shape="box"];671[label="xx3010",fontsize=16,color="green",shape="box"];672[label="xx4000",fontsize=16,color="green",shape="box"];673[label="xx3010",fontsize=16,color="green",shape="box"];674[label="primMulNat (Succ xx30100) (Succ xx40000)",fontsize=16,color="black",shape="box"];674 -> 678[label="",style="solid", color="black", weight=3];
16.11/6.06	675[label="primMulNat (Succ xx30100) Zero",fontsize=16,color="black",shape="box"];675 -> 679[label="",style="solid", color="black", weight=3];
16.11/6.06	676[label="primMulNat Zero (Succ xx40000)",fontsize=16,color="black",shape="box"];676 -> 680[label="",style="solid", color="black", weight=3];
16.11/6.06	677[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];677 -> 681[label="",style="solid", color="black", weight=3];
16.11/6.06	678 -> 682[label="",style="dashed", color="red", weight=0];
16.11/6.06	678[label="primPlusNat (primMulNat xx30100 (Succ xx40000)) (Succ xx40000)",fontsize=16,color="magenta"];678 -> 683[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	679[label="Zero",fontsize=16,color="green",shape="box"];680[label="Zero",fontsize=16,color="green",shape="box"];681[label="Zero",fontsize=16,color="green",shape="box"];683 -> 664[label="",style="dashed", color="red", weight=0];
16.11/6.06	683[label="primMulNat xx30100 (Succ xx40000)",fontsize=16,color="magenta"];683 -> 684[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	683 -> 685[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	682[label="primPlusNat xx28 (Succ xx40000)",fontsize=16,color="burlywood",shape="triangle"];952[label="xx28/Succ xx280",fontsize=10,color="white",style="solid",shape="box"];682 -> 952[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	952 -> 686[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	953[label="xx28/Zero",fontsize=10,color="white",style="solid",shape="box"];682 -> 953[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	953 -> 687[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	684[label="Succ xx40000",fontsize=16,color="green",shape="box"];685[label="xx30100",fontsize=16,color="green",shape="box"];686[label="primPlusNat (Succ xx280) (Succ xx40000)",fontsize=16,color="black",shape="box"];686 -> 688[label="",style="solid", color="black", weight=3];
16.11/6.06	687[label="primPlusNat Zero (Succ xx40000)",fontsize=16,color="black",shape="box"];687 -> 689[label="",style="solid", color="black", weight=3];
16.11/6.06	688[label="Succ (Succ (primPlusNat xx280 xx40000))",fontsize=16,color="green",shape="box"];688 -> 690[label="",style="dashed", color="green", weight=3];
16.11/6.06	689[label="Succ xx40000",fontsize=16,color="green",shape="box"];690[label="primPlusNat xx280 xx40000",fontsize=16,color="burlywood",shape="triangle"];954[label="xx280/Succ xx2800",fontsize=10,color="white",style="solid",shape="box"];690 -> 954[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	954 -> 691[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	955[label="xx280/Zero",fontsize=10,color="white",style="solid",shape="box"];690 -> 955[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	955 -> 692[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	691[label="primPlusNat (Succ xx2800) xx40000",fontsize=16,color="burlywood",shape="box"];956[label="xx40000/Succ xx400000",fontsize=10,color="white",style="solid",shape="box"];691 -> 956[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	956 -> 693[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	957[label="xx40000/Zero",fontsize=10,color="white",style="solid",shape="box"];691 -> 957[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	957 -> 694[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	692[label="primPlusNat Zero xx40000",fontsize=16,color="burlywood",shape="box"];958[label="xx40000/Succ xx400000",fontsize=10,color="white",style="solid",shape="box"];692 -> 958[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	958 -> 695[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	959[label="xx40000/Zero",fontsize=10,color="white",style="solid",shape="box"];692 -> 959[label="",style="solid", color="burlywood", weight=9];
16.11/6.06	959 -> 696[label="",style="solid", color="burlywood", weight=3];
16.11/6.06	693[label="primPlusNat (Succ xx2800) (Succ xx400000)",fontsize=16,color="black",shape="box"];693 -> 697[label="",style="solid", color="black", weight=3];
16.11/6.06	694[label="primPlusNat (Succ xx2800) Zero",fontsize=16,color="black",shape="box"];694 -> 698[label="",style="solid", color="black", weight=3];
16.11/6.06	695[label="primPlusNat Zero (Succ xx400000)",fontsize=16,color="black",shape="box"];695 -> 699[label="",style="solid", color="black", weight=3];
16.11/6.06	696[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];696 -> 700[label="",style="solid", color="black", weight=3];
16.11/6.06	697[label="Succ (Succ (primPlusNat xx2800 xx400000))",fontsize=16,color="green",shape="box"];697 -> 701[label="",style="dashed", color="green", weight=3];
16.11/6.06	698[label="Succ xx2800",fontsize=16,color="green",shape="box"];699[label="Succ xx400000",fontsize=16,color="green",shape="box"];700[label="Zero",fontsize=16,color="green",shape="box"];701 -> 690[label="",style="dashed", color="red", weight=0];
16.11/6.06	701[label="primPlusNat xx2800 xx400000",fontsize=16,color="magenta"];701 -> 702[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	701 -> 703[label="",style="dashed", color="magenta", weight=3];
16.11/6.06	702[label="xx2800",fontsize=16,color="green",shape="box"];703[label="xx400000",fontsize=16,color="green",shape="box"];}
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(12)
16.11/6.06	Complex Obligation (AND)
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(13)
16.11/6.06	Obligation:
16.11/6.06	Q DP problem:
16.11/6.06	The TRS P consists of the following rules:
16.11/6.06	
16.11/6.06	   new_psPs(xx11, False, xx13, xx14, ba) -> new_psPs0(xx11, xx13, xx14, ba)
16.11/6.06	   new_psPs0(xx30, :(xx40, xx41), xx5, bb) -> new_psPs(xx30, new_esEs4(xx30, xx40, bb), xx41, xx5, bb)
16.11/6.06	
16.11/6.06	The TRS R consists of the following rules:
16.11/6.06	
16.11/6.06	   new_esEs23(xx300, xx400, ty_Int) -> new_esEs6(xx300, xx400)
16.11/6.06	   new_esEs7(LT, GT) -> False
16.11/6.06	   new_esEs7(GT, LT) -> False
16.11/6.06	   new_primEqInt(Pos(Zero), Pos(Zero)) -> True
16.11/6.06	   new_esEs4(xx30, xx40, app(ty_Maybe, cc)) -> new_esEs17(xx30, xx40, cc)
16.11/6.06	   new_esEs7(LT, EQ) -> False
16.11/6.06	   new_esEs7(EQ, LT) -> False
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), ty_Int) -> new_esEs6(xx300, xx400)
16.11/6.06	   new_esEs12(Char(xx300), Char(xx400)) -> new_primEqNat0(xx300, xx400)
16.11/6.06	   new_esEs20(xx300, xx400, ty_@0) -> new_esEs8(xx300, xx400)
16.11/6.06	   new_esEs20(xx300, xx400, ty_Float) -> new_esEs10(xx300, xx400)
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), app(app(ty_Either, hh), baa)) -> new_esEs13(xx300, xx400, hh, baa)
16.11/6.06	   new_esEs4(xx30, xx40, app(app(ty_Either, bd), be)) -> new_esEs13(xx30, xx40, bd, be)
16.11/6.06	   new_esEs22(xx300, xx400, ty_Integer) -> new_esEs11(xx300, xx400)
16.11/6.06	   new_esEs23(xx300, xx400, app(app(ty_Either, bbb), bbc)) -> new_esEs13(xx300, xx400, bbb, bbc)
16.11/6.06	   new_esEs14(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), bf, bg, bh) -> new_asAs(new_esEs26(xx300, xx400, bf), new_asAs(new_esEs25(xx301, xx401, bg), new_esEs24(xx302, xx402, bh)))
16.11/6.06	   new_esEs25(xx301, xx401, app(ty_Maybe, bee)) -> new_esEs17(xx301, xx401, bee)
16.11/6.06	   new_esEs4(xx30, xx40, ty_Bool) -> new_esEs15(xx30, xx40)
16.11/6.06	   new_esEs26(xx300, xx400, app(ty_[], bfh)) -> new_esEs18(xx300, xx400, bfh)
16.11/6.06	   new_esEs4(xx30, xx40, app(app(app(ty_@3, bf), bg), bh)) -> new_esEs14(xx30, xx40, bf, bg, bh)
16.11/6.06	   new_esEs20(xx300, xx400, app(ty_Ratio, ge)) -> new_esEs9(xx300, xx400, ge)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, ty_Ordering) -> new_esEs7(xx300, xx400)
16.11/6.06	   new_esEs25(xx301, xx401, app(app(ty_Either, bdf), bdg)) -> new_esEs13(xx301, xx401, bdf, bdg)
16.11/6.06	   new_esEs4(xx30, xx40, ty_Double) -> new_esEs5(xx30, xx40)
16.11/6.06	   new_esEs13(Left(xx300), Right(xx400), bd, be) -> False
16.11/6.06	   new_esEs13(Right(xx300), Left(xx400), bd, be) -> False
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), app(app(ty_@2, dd), de), be) -> new_esEs16(xx300, xx400, dd, de)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, ty_Bool) -> new_esEs15(xx300, xx400)
16.11/6.06	   new_esEs25(xx301, xx401, ty_Int) -> new_esEs6(xx301, xx401)
16.11/6.06	   new_asAs(True, xx27) -> xx27
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), ty_Double, be) -> new_esEs5(xx300, xx400)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, ty_Int) -> new_esEs6(xx300, xx400)
16.11/6.06	   new_esEs15(False, False) -> True
16.11/6.06	   new_primEqInt(Pos(Succ(xx3000)), Pos(Zero)) -> False
16.11/6.06	   new_primEqInt(Pos(Zero), Pos(Succ(xx4000))) -> False
16.11/6.06	   new_esEs19(xx301, xx401, app(ty_Maybe, gc)) -> new_esEs17(xx301, xx401, gc)
16.11/6.06	   new_esEs24(xx302, xx402, ty_Integer) -> new_esEs11(xx302, xx402)
16.11/6.06	   new_esEs26(xx300, xx400, ty_Ordering) -> new_esEs7(xx300, xx400)
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), ty_Double) -> new_esEs5(xx300, xx400)
16.11/6.06	   new_esEs19(xx301, xx401, app(app(ty_Either, fc), fd)) -> new_esEs13(xx301, xx401, fc, fd)
16.11/6.06	   new_esEs24(xx302, xx402, ty_Ordering) -> new_esEs7(xx302, xx402)
16.11/6.06	   new_esEs23(xx300, xx400, app(ty_Maybe, bca)) -> new_esEs17(xx300, xx400, bca)
16.11/6.06	   new_esEs23(xx300, xx400, ty_Bool) -> new_esEs15(xx300, xx400)
16.11/6.06	   new_esEs24(xx302, xx402, ty_@0) -> new_esEs8(xx302, xx402)
16.11/6.06	   new_esEs19(xx301, xx401, ty_Int) -> new_esEs6(xx301, xx401)
16.11/6.06	   new_esEs4(xx30, xx40, ty_Int) -> new_esEs6(xx30, xx40)
16.11/6.06	   new_primEqNat0(Succ(xx3000), Succ(xx4000)) -> new_primEqNat0(xx3000, xx4000)
16.11/6.06	   new_esEs17(Nothing, Nothing, cc) -> True
16.11/6.06	   new_esEs17(Nothing, Just(xx400), cc) -> False
16.11/6.06	   new_esEs17(Just(xx300), Nothing, cc) -> False
16.11/6.06	   new_esEs18([], [], cd) -> True
16.11/6.06	   new_esEs23(xx300, xx400, app(app(app(ty_@3, bbd), bbe), bbf)) -> new_esEs14(xx300, xx400, bbd, bbe, bbf)
16.11/6.06	   new_esEs4(xx30, xx40, ty_Char) -> new_esEs12(xx30, xx40)
16.11/6.06	   new_esEs26(xx300, xx400, ty_Double) -> new_esEs5(xx300, xx400)
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), app(app(ty_@2, bae), baf)) -> new_esEs16(xx300, xx400, bae, baf)
16.11/6.06	   new_primMulNat0(Zero, Zero) -> Zero
16.11/6.06	   new_esEs19(xx301, xx401, ty_Double) -> new_esEs5(xx301, xx401)
16.11/6.06	   new_esEs23(xx300, xx400, ty_Char) -> new_esEs12(xx300, xx400)
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), app(ty_[], bah)) -> new_esEs18(xx300, xx400, bah)
16.11/6.06	   new_esEs25(xx301, xx401, ty_Double) -> new_esEs5(xx301, xx401)
16.11/6.06	   new_esEs4(xx30, xx40, app(app(ty_@2, ca), cb)) -> new_esEs16(xx30, xx40, ca, cb)
16.11/6.06	   new_esEs18(:(xx300, xx301), :(xx400, xx401), cd) -> new_asAs(new_esEs23(xx300, xx400, cd), new_esEs18(xx301, xx401, cd))
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), ty_Char) -> new_esEs12(xx300, xx400)
16.11/6.06	   new_esEs23(xx300, xx400, app(app(ty_@2, bbg), bbh)) -> new_esEs16(xx300, xx400, bbg, bbh)
16.11/6.06	   new_esEs24(xx302, xx402, ty_Float) -> new_esEs10(xx302, xx402)
16.11/6.06	   new_esEs4(xx30, xx40, app(ty_[], cd)) -> new_esEs18(xx30, xx40, cd)
16.11/6.06	   new_esEs4(xx30, xx40, ty_@0) -> new_esEs8(xx30, xx40)
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), app(app(ty_Either, cf), cg), be) -> new_esEs13(xx300, xx400, cf, cg)
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), ty_Bool, be) -> new_esEs15(xx300, xx400)
16.11/6.06	   new_esEs8(@0, @0) -> True
16.11/6.06	   new_primEqNat0(Succ(xx3000), Zero) -> False
16.11/6.06	   new_primEqNat0(Zero, Succ(xx4000)) -> False
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), app(ty_Ratio, hg)) -> new_esEs9(xx300, xx400, hg)
16.11/6.06	   new_esEs26(xx300, xx400, ty_Int) -> new_esEs6(xx300, xx400)
16.11/6.06	   new_esEs25(xx301, xx401, ty_Bool) -> new_esEs15(xx301, xx401)
16.11/6.06	   new_esEs19(xx301, xx401, ty_Bool) -> new_esEs15(xx301, xx401)
16.11/6.06	   new_esEs19(xx301, xx401, app(app(app(ty_@3, ff), fg), fh)) -> new_esEs14(xx301, xx401, ff, fg, fh)
16.11/6.06	   new_esEs25(xx301, xx401, app(app(app(ty_@3, bdh), bea), beb)) -> new_esEs14(xx301, xx401, bdh, bea, beb)
16.11/6.06	   new_esEs4(xx30, xx40, ty_Integer) -> new_esEs11(xx30, xx40)
16.11/6.06	   new_esEs23(xx300, xx400, ty_@0) -> new_esEs8(xx300, xx400)
16.11/6.06	   new_esEs24(xx302, xx402, ty_Bool) -> new_esEs15(xx302, xx402)
16.11/6.06	   new_primEqInt(Neg(Succ(xx3000)), Neg(Zero)) -> False
16.11/6.06	   new_primEqInt(Neg(Zero), Neg(Succ(xx4000))) -> False
16.11/6.06	   new_esEs11(Integer(xx300), Integer(xx400)) -> new_primEqInt(xx300, xx400)
16.11/6.06	   new_esEs24(xx302, xx402, app(app(app(ty_@3, bcf), bcg), bch)) -> new_esEs14(xx302, xx402, bcf, bcg, bch)
16.11/6.06	   new_esEs20(xx300, xx400, ty_Ordering) -> new_esEs7(xx300, xx400)
16.11/6.06	   new_primEqInt(Pos(Succ(xx3000)), Pos(Succ(xx4000))) -> new_primEqNat0(xx3000, xx4000)
16.11/6.06	   new_esEs9(:%(xx300, xx301), :%(xx400, xx401), bc) -> new_asAs(new_esEs22(xx300, xx400, bc), new_esEs21(xx301, xx401, bc))
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, ty_Double) -> new_esEs5(xx300, xx400)
16.11/6.06	   new_esEs4(xx30, xx40, app(ty_Ratio, bc)) -> new_esEs9(xx30, xx40, bc)
16.11/6.06	   new_sr(Pos(xx3010), Neg(xx4000)) -> Neg(new_primMulNat0(xx3010, xx4000))
16.11/6.06	   new_sr(Neg(xx3010), Pos(xx4000)) -> Neg(new_primMulNat0(xx3010, xx4000))
16.11/6.06	   new_primPlusNat1(Succ(xx2800), Succ(xx400000)) -> Succ(Succ(new_primPlusNat1(xx2800, xx400000)))
16.11/6.06	   new_primEqInt(Pos(Succ(xx3000)), Neg(xx400)) -> False
16.11/6.06	   new_primEqInt(Neg(Succ(xx3000)), Pos(xx400)) -> False
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), app(ty_Maybe, bag)) -> new_esEs17(xx300, xx400, bag)
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), app(app(app(ty_@3, da), db), dc), be) -> new_esEs14(xx300, xx400, da, db, dc)
16.11/6.06	   new_esEs21(xx301, xx401, ty_Int) -> new_esEs6(xx301, xx401)
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), ty_Ordering, be) -> new_esEs7(xx300, xx400)
16.11/6.06	   new_esEs19(xx301, xx401, ty_Ordering) -> new_esEs7(xx301, xx401)
16.11/6.06	   new_esEs25(xx301, xx401, ty_Float) -> new_esEs10(xx301, xx401)
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), ty_Float, be) -> new_esEs10(xx300, xx400)
16.11/6.06	   new_esEs24(xx302, xx402, app(app(ty_Either, bcd), bce)) -> new_esEs13(xx302, xx402, bcd, bce)
16.11/6.06	   new_esEs19(xx301, xx401, ty_Float) -> new_esEs10(xx301, xx401)
16.11/6.06	   new_esEs25(xx301, xx401, ty_Ordering) -> new_esEs7(xx301, xx401)
16.11/6.06	   new_esEs24(xx302, xx402, app(ty_Maybe, bdc)) -> new_esEs17(xx302, xx402, bdc)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, ty_@0) -> new_esEs8(xx300, xx400)
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), ty_Char, be) -> new_esEs12(xx300, xx400)
16.11/6.06	   new_sr(Neg(xx3010), Neg(xx4000)) -> Pos(new_primMulNat0(xx3010, xx4000))
16.11/6.06	   new_esEs20(xx300, xx400, ty_Double) -> new_esEs5(xx300, xx400)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, ty_Char) -> new_esEs12(xx300, xx400)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, ty_Integer) -> new_esEs11(xx300, xx400)
16.11/6.06	   new_esEs22(xx300, xx400, ty_Int) -> new_esEs6(xx300, xx400)
16.11/6.06	   new_primEqInt(Pos(Zero), Neg(Succ(xx4000))) -> False
16.11/6.06	   new_primEqInt(Neg(Zero), Pos(Succ(xx4000))) -> False
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), app(ty_Maybe, df), be) -> new_esEs17(xx300, xx400, df)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, ty_Float) -> new_esEs10(xx300, xx400)
16.11/6.06	   new_esEs10(Float(xx300, xx301), Float(xx400, xx401)) -> new_esEs6(new_sr(xx300, xx401), new_sr(xx301, xx400))
16.11/6.06	   new_esEs26(xx300, xx400, app(app(ty_@2, bfe), bff)) -> new_esEs16(xx300, xx400, bfe, bff)
16.11/6.06	   new_esEs23(xx300, xx400, ty_Integer) -> new_esEs11(xx300, xx400)
16.11/6.06	   new_esEs26(xx300, xx400, ty_Char) -> new_esEs12(xx300, xx400)
16.11/6.06	   new_esEs20(xx300, xx400, app(app(app(ty_@3, gh), ha), hb)) -> new_esEs14(xx300, xx400, gh, ha, hb)
16.11/6.06	   new_esEs20(xx300, xx400, ty_Bool) -> new_esEs15(xx300, xx400)
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), ty_Integer) -> new_esEs11(xx300, xx400)
16.11/6.06	   new_esEs6(xx30, xx40) -> new_primEqInt(xx30, xx40)
16.11/6.06	   new_esEs15(True, True) -> True
16.11/6.06	   new_esEs26(xx300, xx400, app(ty_Maybe, bfg)) -> new_esEs17(xx300, xx400, bfg)
16.11/6.06	   new_primEqInt(Neg(Succ(xx3000)), Neg(Succ(xx4000))) -> new_primEqNat0(xx3000, xx4000)
16.11/6.06	   new_esEs20(xx300, xx400, ty_Int) -> new_esEs6(xx300, xx400)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, app(app(app(ty_@3, ec), ed), ee)) -> new_esEs14(xx300, xx400, ec, ed, ee)
16.11/6.06	   new_esEs26(xx300, xx400, ty_Float) -> new_esEs10(xx300, xx400)
16.11/6.06	   new_primPlusNat0(Succ(xx280), xx40000) -> Succ(Succ(new_primPlusNat1(xx280, xx40000)))
16.11/6.06	   new_esEs23(xx300, xx400, app(ty_Ratio, bba)) -> new_esEs9(xx300, xx400, bba)
16.11/6.06	   new_esEs19(xx301, xx401, app(ty_[], gd)) -> new_esEs18(xx301, xx401, gd)
16.11/6.06	   new_esEs25(xx301, xx401, app(ty_[], bef)) -> new_esEs18(xx301, xx401, bef)
16.11/6.06	   new_primPlusNat1(Zero, Zero) -> Zero
16.11/6.06	   new_esEs26(xx300, xx400, app(ty_Ratio, beg)) -> new_esEs9(xx300, xx400, beg)
16.11/6.06	   new_primMulNat0(Succ(xx30100), Zero) -> Zero
16.11/6.06	   new_primMulNat0(Zero, Succ(xx40000)) -> Zero
16.11/6.06	   new_sr(Pos(xx3010), Pos(xx4000)) -> Pos(new_primMulNat0(xx3010, xx4000))
16.11/6.06	   new_esEs26(xx300, xx400, ty_Bool) -> new_esEs15(xx300, xx400)
16.11/6.06	   new_primPlusNat0(Zero, xx40000) -> Succ(xx40000)
16.11/6.06	   new_esEs7(LT, LT) -> True
16.11/6.06	   new_esEs24(xx302, xx402, app(app(ty_@2, bda), bdb)) -> new_esEs16(xx302, xx402, bda, bdb)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, app(app(ty_Either, ea), eb)) -> new_esEs13(xx300, xx400, ea, eb)
16.11/6.06	   new_esEs20(xx300, xx400, app(ty_Maybe, he)) -> new_esEs17(xx300, xx400, he)
16.11/6.06	   new_esEs20(xx300, xx400, app(ty_[], hf)) -> new_esEs18(xx300, xx400, hf)
16.11/6.06	   new_esEs24(xx302, xx402, ty_Char) -> new_esEs12(xx302, xx402)
16.11/6.06	   new_esEs21(xx301, xx401, ty_Integer) -> new_esEs11(xx301, xx401)
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), ty_@0) -> new_esEs8(xx300, xx400)
16.11/6.06	   new_esEs18(:(xx300, xx301), [], cd) -> False
16.11/6.06	   new_esEs18([], :(xx400, xx401), cd) -> False
16.11/6.06	   new_esEs20(xx300, xx400, app(app(ty_Either, gf), gg)) -> new_esEs13(xx300, xx400, gf, gg)
16.11/6.06	   new_esEs26(xx300, xx400, ty_Integer) -> new_esEs11(xx300, xx400)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, app(ty_[], fa)) -> new_esEs18(xx300, xx400, fa)
16.11/6.06	   new_esEs15(False, True) -> False
16.11/6.06	   new_esEs15(True, False) -> False
16.11/6.06	   new_esEs25(xx301, xx401, app(ty_Ratio, bde)) -> new_esEs9(xx301, xx401, bde)
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), ty_Int, be) -> new_esEs6(xx300, xx400)
16.11/6.06	   new_esEs25(xx301, xx401, ty_@0) -> new_esEs8(xx301, xx401)
16.11/6.06	   new_primEqInt(Neg(Zero), Neg(Zero)) -> True
16.11/6.06	   new_esEs7(EQ, GT) -> False
16.11/6.06	   new_esEs7(GT, EQ) -> False
16.11/6.06	   new_esEs7(EQ, EQ) -> True
16.11/6.06	   new_primMulNat0(Succ(xx30100), Succ(xx40000)) -> new_primPlusNat0(new_primMulNat0(xx30100, Succ(xx40000)), xx40000)
16.11/6.06	   new_esEs26(xx300, xx400, app(app(app(ty_@3, bfb), bfc), bfd)) -> new_esEs14(xx300, xx400, bfb, bfc, bfd)
16.11/6.06	   new_esEs23(xx300, xx400, app(ty_[], bcb)) -> new_esEs18(xx300, xx400, bcb)
16.11/6.06	   new_esEs19(xx301, xx401, ty_@0) -> new_esEs8(xx301, xx401)
16.11/6.06	   new_primPlusNat1(Succ(xx2800), Zero) -> Succ(xx2800)
16.11/6.06	   new_primPlusNat1(Zero, Succ(xx400000)) -> Succ(xx400000)
16.11/6.06	   new_esEs26(xx300, xx400, ty_@0) -> new_esEs8(xx300, xx400)
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), app(ty_[], dg), be) -> new_esEs18(xx300, xx400, dg)
16.11/6.06	   new_esEs24(xx302, xx402, app(ty_Ratio, bcc)) -> new_esEs9(xx302, xx402, bcc)
16.11/6.06	   new_esEs16(@2(xx300, xx301), @2(xx400, xx401), ca, cb) -> new_asAs(new_esEs20(xx300, xx400, ca), new_esEs19(xx301, xx401, cb))
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), ty_Ordering) -> new_esEs7(xx300, xx400)
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), ty_Float) -> new_esEs10(xx300, xx400)
16.11/6.06	   new_esEs24(xx302, xx402, ty_Double) -> new_esEs5(xx302, xx402)
16.11/6.06	   new_primEqInt(Pos(Zero), Neg(Zero)) -> True
16.11/6.06	   new_primEqInt(Neg(Zero), Pos(Zero)) -> True
16.11/6.06	   new_esEs23(xx300, xx400, ty_Ordering) -> new_esEs7(xx300, xx400)
16.11/6.06	   new_esEs26(xx300, xx400, app(app(ty_Either, beh), bfa)) -> new_esEs13(xx300, xx400, beh, bfa)
16.11/6.06	   new_esEs23(xx300, xx400, ty_Float) -> new_esEs10(xx300, xx400)
16.11/6.06	   new_primEqNat0(Zero, Zero) -> True
16.11/6.06	   new_esEs19(xx301, xx401, ty_Char) -> new_esEs12(xx301, xx401)
16.11/6.06	   new_esEs5(Double(xx300, xx301), Double(xx400, xx401)) -> new_esEs6(new_sr(xx300, xx401), new_sr(xx301, xx400))
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), ty_@0, be) -> new_esEs8(xx300, xx400)
16.11/6.06	   new_esEs23(xx300, xx400, ty_Double) -> new_esEs5(xx300, xx400)
16.11/6.06	   new_esEs25(xx301, xx401, ty_Char) -> new_esEs12(xx301, xx401)
16.11/6.06	   new_esEs19(xx301, xx401, app(app(ty_@2, ga), gb)) -> new_esEs16(xx301, xx401, ga, gb)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, app(ty_Ratio, dh)) -> new_esEs9(xx300, xx400, dh)
16.11/6.06	   new_asAs(False, xx27) -> False
16.11/6.06	   new_esEs25(xx301, xx401, app(app(ty_@2, bec), bed)) -> new_esEs16(xx301, xx401, bec, bed)
16.11/6.06	   new_esEs20(xx300, xx400, ty_Integer) -> new_esEs11(xx300, xx400)
16.11/6.06	   new_esEs20(xx300, xx400, ty_Char) -> new_esEs12(xx300, xx400)
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), app(app(app(ty_@3, bab), bac), bad)) -> new_esEs14(xx300, xx400, bab, bac, bad)
16.11/6.06	   new_esEs20(xx300, xx400, app(app(ty_@2, hc), hd)) -> new_esEs16(xx300, xx400, hc, hd)
16.11/6.06	   new_esEs17(Just(xx300), Just(xx400), ty_Bool) -> new_esEs15(xx300, xx400)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, app(app(ty_@2, ef), eg)) -> new_esEs16(xx300, xx400, ef, eg)
16.11/6.06	   new_esEs13(Right(xx300), Right(xx400), bd, app(ty_Maybe, eh)) -> new_esEs17(xx300, xx400, eh)
16.11/6.06	   new_esEs24(xx302, xx402, ty_Int) -> new_esEs6(xx302, xx402)
16.11/6.06	   new_esEs19(xx301, xx401, app(ty_Ratio, fb)) -> new_esEs9(xx301, xx401, fb)
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), ty_Integer, be) -> new_esEs11(xx300, xx400)
16.11/6.06	   new_esEs7(GT, GT) -> True
16.11/6.06	   new_esEs13(Left(xx300), Left(xx400), app(ty_Ratio, ce), be) -> new_esEs9(xx300, xx400, ce)
16.11/6.06	   new_esEs25(xx301, xx401, ty_Integer) -> new_esEs11(xx301, xx401)
16.11/6.06	   new_esEs4(xx30, xx40, ty_Float) -> new_esEs10(xx30, xx40)
16.11/6.06	   new_esEs4(xx30, xx40, ty_Ordering) -> new_esEs7(xx30, xx40)
16.11/6.06	   new_esEs24(xx302, xx402, app(ty_[], bdd)) -> new_esEs18(xx302, xx402, bdd)
16.11/6.06	   new_esEs19(xx301, xx401, ty_Integer) -> new_esEs11(xx301, xx401)
16.11/6.06	
16.11/6.06	The set Q consists of the following terms:
16.11/6.06	
16.11/6.06	   new_esEs19(x0, x1, ty_Float)
16.11/6.06	   new_esEs4(x0, x1, ty_Float)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, ty_Ordering)
16.11/6.06	   new_esEs24(x0, x1, app(app(ty_@2, x2), x3))
16.11/6.06	   new_esEs24(x0, x1, app(app(ty_Either, x2), x3))
16.11/6.06	   new_primPlusNat0(Succ(x0), x1)
16.11/6.06	   new_esEs23(x0, x1, ty_Char)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
16.11/6.06	   new_esEs25(x0, x1, app(ty_[], x2))
16.11/6.06	   new_esEs7(EQ, EQ)
16.11/6.06	   new_esEs17(Just(x0), Just(x1), ty_Ordering)
16.11/6.06	   new_esEs26(x0, x1, ty_Int)
16.11/6.06	   new_esEs4(x0, x1, ty_Double)
16.11/6.06	   new_esEs17(Just(x0), Just(x1), ty_Double)
16.11/6.06	   new_esEs4(x0, x1, ty_Ordering)
16.11/6.06	   new_primPlusNat1(Succ(x0), Zero)
16.11/6.06	   new_primMulNat0(Zero, Zero)
16.11/6.06	   new_esEs24(x0, x1, app(ty_Ratio, x2))
16.11/6.06	   new_primPlusNat1(Zero, Zero)
16.11/6.06	   new_esEs20(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.11/6.06	   new_esEs20(x0, x1, ty_Char)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, ty_Int)
16.11/6.06	   new_esEs25(x0, x1, ty_@0)
16.11/6.06	   new_esEs17(Just(x0), Just(x1), ty_Float)
16.11/6.06	   new_esEs19(x0, x1, ty_Double)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
16.11/6.06	   new_esEs18([], :(x0, x1), x2)
16.11/6.06	   new_esEs19(x0, x1, ty_Int)
16.11/6.06	   new_primEqInt(Pos(Zero), Pos(Zero))
16.11/6.06	   new_esEs26(x0, x1, ty_Ordering)
16.11/6.06	   new_primEqInt(Pos(Zero), Pos(Succ(x0)))
16.11/6.06	   new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1)))
16.11/6.06	   new_primEqInt(Neg(Zero), Neg(Succ(x0)))
16.11/6.06	   new_esEs9(:%(x0, x1), :%(x2, x3), x4)
16.11/6.06	   new_esEs13(Left(x0), Left(x1), ty_Char, x2)
16.11/6.06	   new_primEqInt(Pos(Succ(x0)), Neg(x1))
16.11/6.06	   new_primEqInt(Neg(Succ(x0)), Pos(x1))
16.11/6.06	   new_esEs13(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
16.11/6.06	   new_primEqInt(Neg(Succ(x0)), Neg(Zero))
16.11/6.06	   new_esEs19(x0, x1, app(ty_Maybe, x2))
16.11/6.06	   new_esEs26(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.11/6.06	   new_esEs20(x0, x1, ty_Int)
16.11/6.06	   new_primPlusNat1(Zero, Succ(x0))
16.11/6.06	   new_esEs25(x0, x1, app(ty_Maybe, x2))
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, ty_Char)
16.11/6.06	   new_esEs24(x0, x1, ty_Bool)
16.11/6.06	   new_esEs7(LT, LT)
16.11/6.06	   new_esEs13(Left(x0), Left(x1), ty_@0, x2)
16.11/6.06	   new_esEs17(Just(x0), Just(x1), app(ty_Maybe, x2))
16.11/6.06	   new_esEs26(x0, x1, ty_Double)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, ty_Double)
16.11/6.06	   new_primEqInt(Neg(Zero), Neg(Zero))
16.11/6.06	   new_esEs17(Just(x0), Just(x1), app(ty_Ratio, x2))
16.11/6.06	   new_esEs19(x0, x1, ty_Ordering)
16.11/6.06	   new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1)))
16.11/6.06	   new_esEs26(x0, x1, ty_Char)
16.11/6.06	   new_esEs23(x0, x1, ty_Int)
16.11/6.06	   new_esEs20(x0, x1, ty_@0)
16.11/6.06	   new_primPlusNat1(Succ(x0), Succ(x1))
16.11/6.06	   new_esEs20(x0, x1, app(ty_Ratio, x2))
16.11/6.06	   new_esEs25(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.11/6.06	   new_esEs23(x0, x1, ty_Bool)
16.11/6.06	   new_primEqNat0(Succ(x0), Zero)
16.11/6.06	   new_esEs25(x0, x1, ty_Int)
16.11/6.06	   new_esEs20(x0, x1, app(ty_Maybe, x2))
16.11/6.06	   new_esEs13(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
16.11/6.06	   new_esEs4(x0, x1, ty_Char)
16.11/6.06	   new_esEs23(x0, x1, ty_Ordering)
16.11/6.06	   new_esEs19(x0, x1, app(ty_Ratio, x2))
16.11/6.06	   new_esEs17(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
16.11/6.06	   new_esEs23(x0, x1, ty_Double)
16.11/6.06	   new_esEs17(Just(x0), Just(x1), ty_Char)
16.11/6.06	   new_esEs4(x0, x1, app(app(ty_Either, x2), x3))
16.11/6.06	   new_esEs26(x0, x1, app(ty_Maybe, x2))
16.11/6.06	   new_esEs13(Left(x0), Right(x1), x2, x3)
16.11/6.06	   new_esEs13(Right(x0), Left(x1), x2, x3)
16.11/6.06	   new_esEs26(x0, x1, ty_Bool)
16.11/6.06	   new_esEs20(x0, x1, ty_Double)
16.11/6.06	   new_esEs20(x0, x1, app(app(ty_@2, x2), x3))
16.11/6.06	   new_esEs4(x0, x1, ty_Int)
16.11/6.06	   new_primEqInt(Pos(Zero), Neg(Zero))
16.11/6.06	   new_primEqInt(Neg(Zero), Pos(Zero))
16.11/6.06	   new_esEs19(x0, x1, app(app(ty_Either, x2), x3))
16.11/6.06	   new_esEs24(x0, x1, ty_@0)
16.11/6.06	   new_esEs22(x0, x1, ty_Int)
16.11/6.06	   new_esEs26(x0, x1, app(ty_Ratio, x2))
16.11/6.06	   new_esEs18(:(x0, x1), :(x2, x3), x4)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, ty_Integer)
16.11/6.06	   new_primPlusNat0(Zero, x0)
16.11/6.06	   new_esEs17(Just(x0), Just(x1), app(ty_[], x2))
16.11/6.06	   new_esEs23(x0, x1, app(app(ty_@2, x2), x3))
16.11/6.06	   new_esEs25(x0, x1, ty_Bool)
16.11/6.06	   new_esEs11(Integer(x0), Integer(x1))
16.11/6.06	   new_esEs19(x0, x1, app(ty_[], x2))
16.11/6.06	   new_esEs15(False, False)
16.11/6.06	   new_esEs20(x0, x1, ty_Bool)
16.11/6.06	   new_esEs17(Nothing, Just(x0), x1)
16.11/6.06	   new_primMulNat0(Succ(x0), Succ(x1))
16.11/6.06	   new_esEs23(x0, x1, app(app(ty_Either, x2), x3))
16.11/6.06	   new_esEs24(x0, x1, ty_Float)
16.11/6.06	   new_esEs26(x0, x1, app(app(ty_@2, x2), x3))
16.11/6.06	   new_esEs25(x0, x1, ty_Char)
16.11/6.06	   new_primMulNat0(Zero, Succ(x0))
16.11/6.06	   new_esEs17(Just(x0), Just(x1), ty_Int)
16.11/6.06	   new_esEs25(x0, x1, ty_Double)
16.11/6.06	   new_sr(Neg(x0), Neg(x1))
16.11/6.06	   new_esEs4(x0, x1, ty_Bool)
16.11/6.06	   new_primEqNat0(Succ(x0), Succ(x1))
16.11/6.06	   new_esEs19(x0, x1, ty_Bool)
16.11/6.06	   new_esEs26(x0, x1, ty_Integer)
16.11/6.06	   new_esEs17(Just(x0), Just(x1), ty_Bool)
16.11/6.06	   new_esEs25(x0, x1, app(app(ty_Either, x2), x3))
16.11/6.06	   new_esEs17(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
16.11/6.06	   new_esEs24(x0, x1, ty_Ordering)
16.11/6.06	   new_esEs17(Just(x0), Just(x1), ty_@0)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, app(ty_[], x3))
16.11/6.06	   new_esEs17(Just(x0), Nothing, x1)
16.11/6.06	   new_esEs25(x0, x1, app(app(ty_@2, x2), x3))
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, ty_Bool)
16.11/6.06	   new_esEs4(x0, x1, ty_@0)
16.11/6.06	   new_esEs7(GT, GT)
16.11/6.06	   new_esEs24(x0, x1, ty_Int)
16.11/6.06	   new_esEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.11/6.06	   new_esEs26(x0, x1, app(ty_[], x2))
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, ty_@0)
16.11/6.06	   new_esEs24(x0, x1, app(ty_Maybe, x2))
16.11/6.06	   new_esEs7(LT, EQ)
16.11/6.06	   new_esEs7(EQ, LT)
16.11/6.06	   new_esEs6(x0, x1)
16.11/6.06	   new_primEqNat0(Zero, Succ(x0))
16.11/6.06	   new_esEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.11/6.06	   new_esEs23(x0, x1, ty_Integer)
16.11/6.06	   new_esEs25(x0, x1, ty_Float)
16.11/6.06	   new_esEs24(x0, x1, app(ty_[], x2))
16.11/6.06	   new_esEs7(LT, GT)
16.11/6.06	   new_esEs7(GT, LT)
16.11/6.06	   new_esEs13(Left(x0), Left(x1), ty_Float, x2)
16.11/6.06	   new_esEs13(Left(x0), Left(x1), ty_Double, x2)
16.11/6.06	   new_esEs24(x0, x1, ty_Char)
16.11/6.06	   new_esEs24(x0, x1, ty_Double)
16.11/6.06	   new_esEs20(x0, x1, ty_Integer)
16.11/6.06	   new_esEs12(Char(x0), Char(x1))
16.11/6.06	   new_esEs21(x0, x1, ty_Int)
16.11/6.06	   new_esEs17(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
16.11/6.06	   new_esEs19(x0, x1, ty_Integer)
16.11/6.06	   new_esEs18(:(x0, x1), [], x2)
16.11/6.06	   new_esEs15(False, True)
16.11/6.06	   new_esEs15(True, False)
16.11/6.06	   new_asAs(False, x0)
16.11/6.06	   new_esEs20(x0, x1, ty_Ordering)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
16.11/6.06	   new_esEs13(Left(x0), Left(x1), ty_Ordering, x2)
16.11/6.06	   new_esEs19(x0, x1, ty_@0)
16.11/6.06	   new_esEs17(Nothing, Nothing, x0)
16.11/6.06	   new_esEs8(@0, @0)
16.11/6.06	   new_esEs13(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
16.11/6.06	   new_esEs25(x0, x1, app(ty_Ratio, x2))
16.11/6.06	   new_esEs23(x0, x1, ty_Float)
16.11/6.06	   new_esEs16(@2(x0, x1), @2(x2, x3), x4, x5)
16.11/6.06	   new_primEqNat0(Zero, Zero)
16.11/6.06	   new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.11/6.06	   new_esEs19(x0, x1, app(app(ty_@2, x2), x3))
16.11/6.06	   new_esEs13(Left(x0), Left(x1), ty_Int, x2)
16.11/6.06	   new_esEs19(x0, x1, app(app(app(ty_@3, x2), x3), x4))
16.11/6.06	   new_esEs7(EQ, GT)
16.11/6.06	   new_esEs7(GT, EQ)
16.11/6.06	   new_esEs23(x0, x1, app(ty_[], x2))
16.11/6.06	   new_esEs13(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
16.11/6.06	   new_esEs26(x0, x1, ty_@0)
16.11/6.06	   new_esEs23(x0, x1, ty_@0)
16.11/6.06	   new_esEs25(x0, x1, ty_Integer)
16.11/6.06	   new_esEs4(x0, x1, app(ty_Maybe, x2))
16.11/6.06	   new_esEs21(x0, x1, ty_Integer)
16.11/6.06	   new_sr(Pos(x0), Neg(x1))
16.11/6.06	   new_sr(Neg(x0), Pos(x1))
16.11/6.06	   new_esEs20(x0, x1, ty_Float)
16.11/6.06	   new_esEs15(True, True)
16.11/6.06	   new_esEs20(x0, x1, app(ty_[], x2))
16.11/6.06	   new_esEs26(x0, x1, ty_Float)
16.11/6.06	   new_esEs4(x0, x1, app(ty_Ratio, x2))
16.11/6.06	   new_esEs13(Left(x0), Left(x1), ty_Integer, x2)
16.11/6.06	   new_esEs23(x0, x1, app(ty_Maybe, x2))
16.11/6.06	   new_esEs4(x0, x1, ty_Integer)
16.11/6.06	   new_esEs19(x0, x1, ty_Char)
16.11/6.06	   new_esEs26(x0, x1, app(app(ty_Either, x2), x3))
16.11/6.06	   new_esEs17(Just(x0), Just(x1), ty_Integer)
16.11/6.06	   new_sr(Pos(x0), Pos(x1))
16.11/6.06	   new_esEs23(x0, x1, app(ty_Ratio, x2))
16.11/6.06	   new_esEs25(x0, x1, ty_Ordering)
16.11/6.06	   new_primEqInt(Pos(Zero), Neg(Succ(x0)))
16.11/6.06	   new_primEqInt(Neg(Zero), Pos(Succ(x0)))
16.11/6.06	   new_esEs13(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
16.11/6.06	   new_esEs13(Left(x0), Left(x1), ty_Bool, x2)
16.11/6.06	   new_esEs4(x0, x1, app(ty_[], x2))
16.11/6.06	   new_primMulNat0(Succ(x0), Zero)
16.11/6.06	   new_esEs22(x0, x1, ty_Integer)
16.11/6.06	   new_esEs13(Left(x0), Left(x1), app(ty_[], x2), x3)
16.11/6.06	   new_esEs5(Double(x0, x1), Double(x2, x3))
16.11/6.06	   new_esEs10(Float(x0, x1), Float(x2, x3))
16.11/6.06	   new_primEqInt(Pos(Succ(x0)), Pos(Zero))
16.11/6.06	   new_esEs4(x0, x1, app(app(ty_@2, x2), x3))
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, ty_Float)
16.11/6.06	   new_esEs20(x0, x1, app(app(ty_Either, x2), x3))
16.11/6.06	   new_esEs14(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
16.11/6.06	   new_esEs24(x0, x1, ty_Integer)
16.11/6.06	   new_asAs(True, x0)
16.11/6.06	   new_esEs13(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
16.11/6.06	   new_esEs18([], [], x0)
16.11/6.06	
16.11/6.06	We have to consider all minimal (P,Q,R)-chains.
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(14) QDPSizeChangeProof (EQUIVALENT)
16.11/6.06	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
16.11/6.06	
16.11/6.06	From the DPs we obtained the following set of size-change graphs:
16.11/6.06	*new_psPs0(xx30, :(xx40, xx41), xx5, bb) -> new_psPs(xx30, new_esEs4(xx30, xx40, bb), xx41, xx5, bb)
16.11/6.06	The graph contains the following edges 1 >= 1, 2 > 3, 3 >= 4, 4 >= 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_psPs(xx11, False, xx13, xx14, ba) -> new_psPs0(xx11, xx13, xx14, ba)
16.11/6.06	The graph contains the following edges 1 >= 1, 3 >= 2, 4 >= 3, 5 >= 4
16.11/6.06	
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(15)
16.11/6.06	YES
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(16)
16.11/6.06	Obligation:
16.11/6.06	Q DP problem:
16.11/6.06	The TRS P consists of the following rules:
16.11/6.06	
16.11/6.06	   new_esEs(Left(xx300), Left(xx400), app(app(app(ty_@3, bd), be), bf), bc) -> new_esEs0(xx300, xx400, bd, be, bf)
16.11/6.06	   new_esEs2(Just(xx300), Just(xx400), app(app(ty_@2, bcf), bcg)) -> new_esEs1(xx300, xx400, bcf, bcg)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(ty_Maybe, gb), fc) -> new_esEs2(xx301, xx401, gb)
16.11/6.06	   new_esEs(Right(xx300), Right(xx400), cc, app(app(app(ty_@3, cf), cg), da)) -> new_esEs0(xx300, xx400, cf, cg, da)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(ty_Maybe, hc), dg, fc) -> new_esEs2(xx300, xx400, hc)
16.11/6.06	   new_esEs3(:(xx300, xx301), :(xx400, xx401), app(app(ty_Either, bdc), bdd)) -> new_esEs(xx300, xx400, bdc, bdd)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(app(ty_@2, ee), ef)) -> new_esEs1(xx302, xx402, ee, ef)
16.11/6.06	   new_esEs(Right(xx300), Right(xx400), cc, app(app(ty_@2, db), dc)) -> new_esEs1(xx300, xx400, db, dc)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(app(ty_Either, gd), ge), dg, fc) -> new_esEs(xx300, xx400, gd, ge)
16.11/6.06	   new_esEs(Left(xx300), Left(xx400), app(ty_Maybe, ca), bc) -> new_esEs2(xx300, xx400, ca)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(app(app(ty_@3, fd), ff), fg), fc) -> new_esEs0(xx301, xx401, fd, ff, fg)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(app(ty_@2, fh), ga), fc) -> new_esEs1(xx301, xx401, fh, ga)
16.11/6.06	   new_esEs3(:(xx300, xx301), :(xx400, xx401), app(ty_Maybe, beb)) -> new_esEs2(xx300, xx400, beb)
16.11/6.06	   new_esEs3(:(xx300, xx301), :(xx400, xx401), app(ty_[], bec)) -> new_esEs3(xx300, xx400, bec)
16.11/6.06	   new_esEs2(Just(xx300), Just(xx400), app(ty_Maybe, bch)) -> new_esEs2(xx300, xx400, bch)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(app(ty_Either, dh), ea)) -> new_esEs(xx302, xx402, dh, ea)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(app(ty_Either, hf), hg)) -> new_esEs(xx301, xx401, hf, hg)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(app(app(ty_@3, bbb), bbc), bbd), bba) -> new_esEs0(xx300, xx400, bbb, bbc, bbd)
16.11/6.06	   new_esEs(Left(xx300), Left(xx400), app(app(ty_@2, bg), bh), bc) -> new_esEs1(xx300, xx400, bg, bh)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(ty_[], eh)) -> new_esEs3(xx302, xx402, eh)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(ty_[], bbh), bba) -> new_esEs3(xx300, xx400, bbh)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(ty_Maybe, bae)) -> new_esEs2(xx301, xx401, bae)
16.11/6.06	   new_esEs2(Just(xx300), Just(xx400), app(ty_[], bda)) -> new_esEs3(xx300, xx400, bda)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(app(app(ty_@3, eb), ec), ed)) -> new_esEs0(xx302, xx402, eb, ec, ed)
16.11/6.06	   new_esEs3(:(xx300, xx301), :(xx400, xx401), app(app(ty_@2, bdh), bea)) -> new_esEs1(xx300, xx400, bdh, bea)
16.11/6.06	   new_esEs(Right(xx300), Right(xx400), cc, app(app(ty_Either, cd), ce)) -> new_esEs(xx300, xx400, cd, ce)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(ty_Maybe, eg)) -> new_esEs2(xx302, xx402, eg)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(ty_[], baf)) -> new_esEs3(xx301, xx401, baf)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(ty_Maybe, bbg), bba) -> new_esEs2(xx300, xx400, bbg)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(app(app(ty_@3, hh), baa), bab)) -> new_esEs0(xx301, xx401, hh, baa, bab)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(app(ty_Either, fa), fb), fc) -> new_esEs(xx301, xx401, fa, fb)
16.11/6.06	   new_esEs3(:(xx300, xx301), :(xx400, xx401), bdb) -> new_esEs3(xx301, xx401, bdb)
16.11/6.06	   new_esEs(Right(xx300), Right(xx400), cc, app(ty_[], de)) -> new_esEs3(xx300, xx400, de)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(ty_[], gc), fc) -> new_esEs3(xx301, xx401, gc)
16.11/6.06	   new_esEs(Left(xx300), Left(xx400), app(app(ty_Either, ba), bb), bc) -> new_esEs(xx300, xx400, ba, bb)
16.11/6.06	   new_esEs3(:(xx300, xx301), :(xx400, xx401), app(app(app(ty_@3, bde), bdf), bdg)) -> new_esEs0(xx300, xx400, bde, bdf, bdg)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(ty_[], hd), dg, fc) -> new_esEs3(xx300, xx400, hd)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(app(ty_@2, bbe), bbf), bba) -> new_esEs1(xx300, xx400, bbe, bbf)
16.11/6.06	   new_esEs(Right(xx300), Right(xx400), cc, app(ty_Maybe, dd)) -> new_esEs2(xx300, xx400, dd)
16.11/6.06	   new_esEs2(Just(xx300), Just(xx400), app(app(ty_Either, bca), bcb)) -> new_esEs(xx300, xx400, bca, bcb)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(app(ty_Either, bag), bah), bba) -> new_esEs(xx300, xx400, bag, bah)
16.11/6.06	   new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(app(ty_@2, bac), bad)) -> new_esEs1(xx301, xx401, bac, bad)
16.11/6.06	   new_esEs2(Just(xx300), Just(xx400), app(app(app(ty_@3, bcc), bcd), bce)) -> new_esEs0(xx300, xx400, bcc, bcd, bce)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(app(app(ty_@3, gf), gg), gh), dg, fc) -> new_esEs0(xx300, xx400, gf, gg, gh)
16.11/6.06	   new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(app(ty_@2, ha), hb), dg, fc) -> new_esEs1(xx300, xx400, ha, hb)
16.11/6.06	   new_esEs(Left(xx300), Left(xx400), app(ty_[], cb), bc) -> new_esEs3(xx300, xx400, cb)
16.11/6.06	
16.11/6.06	R is empty.
16.11/6.06	Q is empty.
16.11/6.06	We have to consider all minimal (P,Q,R)-chains.
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(17) QDPSizeChangeProof (EQUIVALENT)
16.11/6.06	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
16.11/6.06	
16.11/6.06	From the DPs we obtained the following set of size-change graphs:
16.11/6.06	*new_esEs2(Just(xx300), Just(xx400), app(app(ty_Either, bca), bcb)) -> new_esEs(xx300, xx400, bca, bcb)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs2(Just(xx300), Just(xx400), app(ty_Maybe, bch)) -> new_esEs2(xx300, xx400, bch)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs2(Just(xx300), Just(xx400), app(app(app(ty_@3, bcc), bcd), bce)) -> new_esEs0(xx300, xx400, bcc, bcd, bce)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs3(:(xx300, xx301), :(xx400, xx401), app(app(ty_Either, bdc), bdd)) -> new_esEs(xx300, xx400, bdc, bdd)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs3(:(xx300, xx301), :(xx400, xx401), app(ty_Maybe, beb)) -> new_esEs2(xx300, xx400, beb)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs2(Just(xx300), Just(xx400), app(ty_[], bda)) -> new_esEs3(xx300, xx400, bda)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs2(Just(xx300), Just(xx400), app(app(ty_@2, bcf), bcg)) -> new_esEs1(xx300, xx400, bcf, bcg)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs3(:(xx300, xx301), :(xx400, xx401), app(app(app(ty_@3, bde), bdf), bdg)) -> new_esEs0(xx300, xx400, bde, bdf, bdg)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs3(:(xx300, xx301), :(xx400, xx401), app(app(ty_@2, bdh), bea)) -> new_esEs1(xx300, xx400, bdh, bea)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(app(ty_Either, gd), ge), dg, fc) -> new_esEs(xx300, xx400, gd, ge)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(app(ty_Either, dh), ea)) -> new_esEs(xx302, xx402, dh, ea)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(app(ty_Either, fa), fb), fc) -> new_esEs(xx301, xx401, fa, fb)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(ty_Maybe, gb), fc) -> new_esEs2(xx301, xx401, gb)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(ty_Maybe, hc), dg, fc) -> new_esEs2(xx300, xx400, hc)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(ty_Maybe, eg)) -> new_esEs2(xx302, xx402, eg)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(app(app(ty_@3, fd), ff), fg), fc) -> new_esEs0(xx301, xx401, fd, ff, fg)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(app(app(ty_@3, eb), ec), ed)) -> new_esEs0(xx302, xx402, eb, ec, ed)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(app(app(ty_@3, gf), gg), gh), dg, fc) -> new_esEs0(xx300, xx400, gf, gg, gh)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(ty_[], eh)) -> new_esEs3(xx302, xx402, eh)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(ty_[], gc), fc) -> new_esEs3(xx301, xx401, gc)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(ty_[], hd), dg, fc) -> new_esEs3(xx300, xx400, hd)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, dg, app(app(ty_@2, ee), ef)) -> new_esEs1(xx302, xx402, ee, ef)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), df, app(app(ty_@2, fh), ga), fc) -> new_esEs1(xx301, xx401, fh, ga)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs0(@3(xx300, xx301, xx302), @3(xx400, xx401, xx402), app(app(ty_@2, ha), hb), dg, fc) -> new_esEs1(xx300, xx400, ha, hb)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(app(ty_Either, hf), hg)) -> new_esEs(xx301, xx401, hf, hg)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(app(ty_Either, bag), bah), bba) -> new_esEs(xx300, xx400, bag, bah)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Right(xx300), Right(xx400), cc, app(app(ty_Either, cd), ce)) -> new_esEs(xx300, xx400, cd, ce)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Left(xx300), Left(xx400), app(app(ty_Either, ba), bb), bc) -> new_esEs(xx300, xx400, ba, bb)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(ty_Maybe, bae)) -> new_esEs2(xx301, xx401, bae)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(ty_Maybe, bbg), bba) -> new_esEs2(xx300, xx400, bbg)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(app(app(ty_@3, bbb), bbc), bbd), bba) -> new_esEs0(xx300, xx400, bbb, bbc, bbd)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(app(app(ty_@3, hh), baa), bab)) -> new_esEs0(xx301, xx401, hh, baa, bab)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(ty_[], bbh), bba) -> new_esEs3(xx300, xx400, bbh)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(ty_[], baf)) -> new_esEs3(xx301, xx401, baf)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), app(app(ty_@2, bbe), bbf), bba) -> new_esEs1(xx300, xx400, bbe, bbf)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs1(@2(xx300, xx301), @2(xx400, xx401), he, app(app(ty_@2, bac), bad)) -> new_esEs1(xx301, xx401, bac, bad)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Left(xx300), Left(xx400), app(ty_Maybe, ca), bc) -> new_esEs2(xx300, xx400, ca)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Right(xx300), Right(xx400), cc, app(ty_Maybe, dd)) -> new_esEs2(xx300, xx400, dd)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Left(xx300), Left(xx400), app(app(app(ty_@3, bd), be), bf), bc) -> new_esEs0(xx300, xx400, bd, be, bf)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Right(xx300), Right(xx400), cc, app(app(app(ty_@3, cf), cg), da)) -> new_esEs0(xx300, xx400, cf, cg, da)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Right(xx300), Right(xx400), cc, app(ty_[], de)) -> new_esEs3(xx300, xx400, de)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Left(xx300), Left(xx400), app(ty_[], cb), bc) -> new_esEs3(xx300, xx400, cb)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Right(xx300), Right(xx400), cc, app(app(ty_@2, db), dc)) -> new_esEs1(xx300, xx400, db, dc)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs(Left(xx300), Left(xx400), app(app(ty_@2, bg), bh), bc) -> new_esEs1(xx300, xx400, bg, bh)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs3(:(xx300, xx301), :(xx400, xx401), app(ty_[], bec)) -> new_esEs3(xx300, xx400, bec)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
16.11/6.06	
16.11/6.06	
16.11/6.06	*new_esEs3(:(xx300, xx301), :(xx400, xx401), bdb) -> new_esEs3(xx301, xx401, bdb)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3
16.11/6.06	
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(18)
16.11/6.06	YES
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(19)
16.11/6.06	Obligation:
16.11/6.06	Q DP problem:
16.11/6.06	The TRS P consists of the following rules:
16.11/6.06	
16.11/6.06	   new_foldr(xx4, :(xx30, xx31), ba) -> new_foldr(xx4, xx31, ba)
16.11/6.06	
16.11/6.06	R is empty.
16.11/6.06	Q is empty.
16.11/6.06	We have to consider all minimal (P,Q,R)-chains.
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(20) QDPSizeChangeProof (EQUIVALENT)
16.11/6.06	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
16.11/6.06	
16.11/6.06	From the DPs we obtained the following set of size-change graphs:
16.11/6.06	*new_foldr(xx4, :(xx30, xx31), ba) -> new_foldr(xx4, xx31, ba)
16.11/6.06	The graph contains the following edges 1 >= 1, 2 > 2, 3 >= 3
16.11/6.06	
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(21)
16.11/6.06	YES
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(22)
16.11/6.06	Obligation:
16.11/6.06	Q DP problem:
16.11/6.06	The TRS P consists of the following rules:
16.11/6.06	
16.11/6.06	   new_primMulNat(Succ(xx30100), Succ(xx40000)) -> new_primMulNat(xx30100, Succ(xx40000))
16.11/6.06	
16.11/6.06	R is empty.
16.11/6.06	Q is empty.
16.11/6.06	We have to consider all minimal (P,Q,R)-chains.
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(23) QDPSizeChangeProof (EQUIVALENT)
16.11/6.06	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
16.11/6.06	
16.11/6.06	From the DPs we obtained the following set of size-change graphs:
16.11/6.06	*new_primMulNat(Succ(xx30100), Succ(xx40000)) -> new_primMulNat(xx30100, Succ(xx40000))
16.11/6.06	The graph contains the following edges 1 > 1, 2 >= 2
16.11/6.06	
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(24)
16.11/6.06	YES
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(25)
16.11/6.06	Obligation:
16.11/6.06	Q DP problem:
16.11/6.06	The TRS P consists of the following rules:
16.11/6.06	
16.11/6.06	   new_primPlusNat(Succ(xx2800), Succ(xx400000)) -> new_primPlusNat(xx2800, xx400000)
16.11/6.06	
16.11/6.06	R is empty.
16.11/6.06	Q is empty.
16.11/6.06	We have to consider all minimal (P,Q,R)-chains.
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(26) QDPSizeChangeProof (EQUIVALENT)
16.11/6.06	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
16.11/6.06	
16.11/6.06	From the DPs we obtained the following set of size-change graphs:
16.11/6.06	*new_primPlusNat(Succ(xx2800), Succ(xx400000)) -> new_primPlusNat(xx2800, xx400000)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2
16.11/6.06	
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(27)
16.11/6.06	YES
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(28)
16.11/6.06	Obligation:
16.11/6.06	Q DP problem:
16.11/6.06	The TRS P consists of the following rules:
16.11/6.06	
16.11/6.06	   new_primEqNat(Succ(xx3000), Succ(xx4000)) -> new_primEqNat(xx3000, xx4000)
16.11/6.06	
16.11/6.06	R is empty.
16.11/6.06	Q is empty.
16.11/6.06	We have to consider all minimal (P,Q,R)-chains.
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(29) QDPSizeChangeProof (EQUIVALENT)
16.11/6.06	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
16.11/6.06	
16.11/6.06	From the DPs we obtained the following set of size-change graphs:
16.11/6.06	*new_primEqNat(Succ(xx3000), Succ(xx4000)) -> new_primEqNat(xx3000, xx4000)
16.11/6.06	The graph contains the following edges 1 > 1, 2 > 2
16.11/6.06	
16.11/6.06	
16.11/6.06	----------------------------------------
16.11/6.06	
16.11/6.06	(30)
16.11/6.06	YES
16.39/6.23	EOF