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