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