11.46/4.67	YES
13.15/5.12	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
13.15/5.12	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
13.15/5.12	
13.15/5.12	
13.15/5.12	H-Termination with start terms of the given HASKELL could be proven:
13.15/5.12	
13.15/5.12	(0) HASKELL
13.15/5.12	(1) BR [EQUIVALENT, 0 ms]
13.15/5.12	(2) HASKELL
13.15/5.12	(3) COR [EQUIVALENT, 0 ms]
13.15/5.12	(4) HASKELL
13.15/5.12	(5) Narrow [SOUND, 0 ms]
13.15/5.12	(6) AND
13.15/5.12	    (7) QDP
13.15/5.12	        (8) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.15/5.12	        (9) YES
13.15/5.12	    (10) QDP
13.15/5.12	        (11) QDPSizeChangeProof [EQUIVALENT, 16 ms]
13.15/5.12	        (12) YES
13.15/5.12	    (13) QDP
13.15/5.12	        (14) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.15/5.12	        (15) YES
13.15/5.12	    (16) QDP
13.15/5.12	        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.15/5.12	        (18) YES
13.15/5.12	    (19) QDP
13.15/5.12	        (20) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.15/5.12	        (21) YES
13.15/5.12	
13.15/5.12	
13.15/5.12	----------------------------------------
13.15/5.12	
13.15/5.12	(0)
13.15/5.12	Obligation:
13.15/5.12	mainModule Main 
13.15/5.12	module Main where {
13.15/5.12	import qualified Prelude;
13.15/5.12	}
13.15/5.12	
13.15/5.12	----------------------------------------
13.15/5.12	
13.15/5.12	(1) BR (EQUIVALENT)
13.15/5.12	Replaced joker patterns by fresh variables and removed binding patterns.
13.15/5.12	----------------------------------------
13.15/5.12	
13.15/5.12	(2)
13.15/5.12	Obligation:
13.15/5.12	mainModule Main 
13.15/5.12	module Main where {
13.15/5.12	import qualified Prelude;
13.15/5.12	}
13.15/5.12	
13.15/5.12	----------------------------------------
13.15/5.12	
13.15/5.12	(3) COR (EQUIVALENT)
13.15/5.12	Cond Reductions:
13.15/5.12	The following Function with conditions
13.15/5.12	"lookup k [] = Nothing;
13.15/5.12	lookup k ((x,y) : xys)|k == xJust y|otherwiselookup k xys;
13.15/5.12	"
13.15/5.12	is transformed to
13.15/5.12	"lookup k [] = lookup3 k [];
13.15/5.12	lookup k ((x,y) : xys) = lookup2 k ((x,y) : xys);
13.15/5.12	"
13.15/5.12	"lookup1 k x y xys True = Just y;
13.15/5.12	lookup1 k x y xys False = lookup0 k x y xys otherwise;
13.15/5.12	"
13.15/5.12	"lookup0 k x y xys True = lookup k xys;
13.15/5.12	"
13.15/5.12	"lookup2 k ((x,y) : xys) = lookup1 k x y xys (k == x);
13.15/5.12	"
13.15/5.12	"lookup3 k [] = Nothing;
13.15/5.12	lookup3 xy xz = lookup2 xy xz;
13.15/5.12	"
13.15/5.12	The following Function with conditions
13.15/5.12	"undefined |Falseundefined;
13.15/5.12	"
13.15/5.12	is transformed to
13.15/5.12	"undefined  = undefined1;
13.15/5.12	"
13.15/5.12	"undefined0 True = undefined;
13.15/5.12	"
13.15/5.12	"undefined1  = undefined0 False;
13.15/5.12	"
13.15/5.12	
13.15/5.12	----------------------------------------
13.15/5.12	
13.15/5.12	(4)
13.15/5.12	Obligation:
13.15/5.12	mainModule Main 
13.15/5.12	module Main where {
13.15/5.12	import qualified Prelude;
13.15/5.12	}
13.15/5.12	
13.15/5.12	----------------------------------------
13.15/5.12	
13.15/5.12	(5) Narrow (SOUND)
13.15/5.12	Haskell To QDPs
13.15/5.12	
13.15/5.12	digraph dp_graph {
13.15/5.12	node [outthreshold=100, inthreshold=100];1[label="lookup",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
13.15/5.12	3[label="lookup yu3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
13.15/5.12	4[label="lookup yu3 yu4",fontsize=16,color="burlywood",shape="triangle"];1008[label="yu4/yu40 : yu41",fontsize=10,color="white",style="solid",shape="box"];4 -> 1008[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1008 -> 5[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1009[label="yu4/[]",fontsize=10,color="white",style="solid",shape="box"];4 -> 1009[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1009 -> 6[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	5[label="lookup yu3 (yu40 : yu41)",fontsize=16,color="burlywood",shape="box"];1010[label="yu40/(yu400,yu401)",fontsize=10,color="white",style="solid",shape="box"];5 -> 1010[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1010 -> 7[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	6[label="lookup yu3 []",fontsize=16,color="black",shape="box"];6 -> 8[label="",style="solid", color="black", weight=3];
13.15/5.12	7[label="lookup yu3 ((yu400,yu401) : yu41)",fontsize=16,color="black",shape="box"];7 -> 9[label="",style="solid", color="black", weight=3];
13.15/5.12	8[label="lookup3 yu3 []",fontsize=16,color="black",shape="box"];8 -> 10[label="",style="solid", color="black", weight=3];
13.15/5.12	9[label="lookup2 yu3 ((yu400,yu401) : yu41)",fontsize=16,color="black",shape="box"];9 -> 11[label="",style="solid", color="black", weight=3];
13.15/5.12	10[label="Nothing",fontsize=16,color="green",shape="box"];11[label="lookup1 yu3 yu400 yu401 yu41 (yu3 == yu400)",fontsize=16,color="burlywood",shape="box"];1011[label="yu3/(yu30,yu31)",fontsize=10,color="white",style="solid",shape="box"];11 -> 1011[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1011 -> 12[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	12[label="lookup1 (yu30,yu31) yu400 yu401 yu41 ((yu30,yu31) == yu400)",fontsize=16,color="burlywood",shape="box"];1012[label="yu400/(yu4000,yu4001)",fontsize=10,color="white",style="solid",shape="box"];12 -> 1012[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1012 -> 13[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	13[label="lookup1 (yu30,yu31) (yu4000,yu4001) yu401 yu41 ((yu30,yu31) == (yu4000,yu4001))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
13.15/5.12	14 -> 97[label="",style="dashed", color="red", weight=0];
13.15/5.12	14[label="lookup1 (yu30,yu31) (yu4000,yu4001) yu401 yu41 (yu30 == yu4000 && yu31 == yu4001)",fontsize=16,color="magenta"];14 -> 98[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	14 -> 99[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	14 -> 100[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	14 -> 101[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	14 -> 102[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	14 -> 103[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	14 -> 104[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	98[label="yu4000",fontsize=16,color="green",shape="box"];99[label="yu4001",fontsize=16,color="green",shape="box"];100[label="yu30",fontsize=16,color="green",shape="box"];101[label="yu401",fontsize=16,color="green",shape="box"];102[label="yu41",fontsize=16,color="green",shape="box"];103[label="yu31",fontsize=16,color="green",shape="box"];104 -> 333[label="",style="dashed", color="red", weight=0];
13.15/5.12	104[label="yu30 == yu4000 && yu31 == yu4001",fontsize=16,color="magenta"];104 -> 334[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	104 -> 335[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	97[label="lookup1 (yu28,yu29) (yu30,yu31) yu32 yu33 yu34",fontsize=16,color="burlywood",shape="triangle"];1013[label="yu34/False",fontsize=10,color="white",style="solid",shape="box"];97 -> 1013[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1013 -> 130[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1014[label="yu34/True",fontsize=10,color="white",style="solid",shape="box"];97 -> 1014[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1014 -> 131[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	334[label="yu31 == yu4001",fontsize=16,color="blue",shape="box"];1015[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1015[label="",style="solid", color="blue", weight=9];
13.15/5.12	1015 -> 338[label="",style="solid", color="blue", weight=3];
13.15/5.12	1016[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1016[label="",style="solid", color="blue", weight=9];
13.15/5.12	1016 -> 339[label="",style="solid", color="blue", weight=3];
13.15/5.12	1017[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1017[label="",style="solid", color="blue", weight=9];
13.15/5.12	1017 -> 340[label="",style="solid", color="blue", weight=3];
13.15/5.12	1018[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1018[label="",style="solid", color="blue", weight=9];
13.15/5.12	1018 -> 341[label="",style="solid", color="blue", weight=3];
13.15/5.12	1019[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1019[label="",style="solid", color="blue", weight=9];
13.15/5.12	1019 -> 342[label="",style="solid", color="blue", weight=3];
13.15/5.12	1020[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1020[label="",style="solid", color="blue", weight=9];
13.15/5.12	1020 -> 343[label="",style="solid", color="blue", weight=3];
13.15/5.12	1021[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1021[label="",style="solid", color="blue", weight=9];
13.15/5.12	1021 -> 344[label="",style="solid", color="blue", weight=3];
13.15/5.12	1022[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1022[label="",style="solid", color="blue", weight=9];
13.15/5.12	1022 -> 345[label="",style="solid", color="blue", weight=3];
13.15/5.12	1023[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1023[label="",style="solid", color="blue", weight=9];
13.15/5.12	1023 -> 346[label="",style="solid", color="blue", weight=3];
13.15/5.12	1024[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1024[label="",style="solid", color="blue", weight=9];
13.15/5.12	1024 -> 347[label="",style="solid", color="blue", weight=3];
13.15/5.12	1025[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1025[label="",style="solid", color="blue", weight=9];
13.15/5.12	1025 -> 348[label="",style="solid", color="blue", weight=3];
13.15/5.12	1026[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1026[label="",style="solid", color="blue", weight=9];
13.15/5.12	1026 -> 349[label="",style="solid", color="blue", weight=3];
13.15/5.12	1027[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1027[label="",style="solid", color="blue", weight=9];
13.15/5.12	1027 -> 350[label="",style="solid", color="blue", weight=3];
13.15/5.12	1028[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];334 -> 1028[label="",style="solid", color="blue", weight=9];
13.15/5.12	1028 -> 351[label="",style="solid", color="blue", weight=3];
13.15/5.12	335[label="yu30 == yu4000",fontsize=16,color="blue",shape="box"];1029[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1029[label="",style="solid", color="blue", weight=9];
13.15/5.12	1029 -> 352[label="",style="solid", color="blue", weight=3];
13.15/5.12	1030[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1030[label="",style="solid", color="blue", weight=9];
13.15/5.12	1030 -> 353[label="",style="solid", color="blue", weight=3];
13.15/5.12	1031[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1031[label="",style="solid", color="blue", weight=9];
13.15/5.12	1031 -> 354[label="",style="solid", color="blue", weight=3];
13.15/5.12	1032[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1032[label="",style="solid", color="blue", weight=9];
13.15/5.12	1032 -> 355[label="",style="solid", color="blue", weight=3];
13.15/5.12	1033[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1033[label="",style="solid", color="blue", weight=9];
13.15/5.12	1033 -> 356[label="",style="solid", color="blue", weight=3];
13.15/5.12	1034[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1034[label="",style="solid", color="blue", weight=9];
13.15/5.12	1034 -> 357[label="",style="solid", color="blue", weight=3];
13.15/5.12	1035[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1035[label="",style="solid", color="blue", weight=9];
13.15/5.12	1035 -> 358[label="",style="solid", color="blue", weight=3];
13.15/5.12	1036[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1036[label="",style="solid", color="blue", weight=9];
13.15/5.12	1036 -> 359[label="",style="solid", color="blue", weight=3];
13.15/5.12	1037[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1037[label="",style="solid", color="blue", weight=9];
13.15/5.12	1037 -> 360[label="",style="solid", color="blue", weight=3];
13.15/5.12	1038[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1038[label="",style="solid", color="blue", weight=9];
13.15/5.12	1038 -> 361[label="",style="solid", color="blue", weight=3];
13.15/5.12	1039[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1039[label="",style="solid", color="blue", weight=9];
13.15/5.12	1039 -> 362[label="",style="solid", color="blue", weight=3];
13.15/5.12	1040[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1040[label="",style="solid", color="blue", weight=9];
13.15/5.12	1040 -> 363[label="",style="solid", color="blue", weight=3];
13.15/5.12	1041[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1041[label="",style="solid", color="blue", weight=9];
13.15/5.12	1041 -> 364[label="",style="solid", color="blue", weight=3];
13.15/5.12	1042[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];335 -> 1042[label="",style="solid", color="blue", weight=9];
13.15/5.12	1042 -> 365[label="",style="solid", color="blue", weight=3];
13.15/5.12	333[label="yu46 && yu47",fontsize=16,color="burlywood",shape="triangle"];1043[label="yu46/False",fontsize=10,color="white",style="solid",shape="box"];333 -> 1043[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1043 -> 366[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1044[label="yu46/True",fontsize=10,color="white",style="solid",shape="box"];333 -> 1044[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1044 -> 367[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	130[label="lookup1 (yu28,yu29) (yu30,yu31) yu32 yu33 False",fontsize=16,color="black",shape="box"];130 -> 148[label="",style="solid", color="black", weight=3];
13.15/5.12	131[label="lookup1 (yu28,yu29) (yu30,yu31) yu32 yu33 True",fontsize=16,color="black",shape="box"];131 -> 149[label="",style="solid", color="black", weight=3];
13.15/5.12	338[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1045[label="yu31/()",fontsize=10,color="white",style="solid",shape="box"];338 -> 1045[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1045 -> 368[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	339[label="yu31 == yu4001",fontsize=16,color="black",shape="triangle"];339 -> 369[label="",style="solid", color="black", weight=3];
13.15/5.12	340[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1046[label="yu31/False",fontsize=10,color="white",style="solid",shape="box"];340 -> 1046[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1046 -> 370[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1047[label="yu31/True",fontsize=10,color="white",style="solid",shape="box"];340 -> 1047[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1047 -> 371[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	341[label="yu31 == yu4001",fontsize=16,color="black",shape="triangle"];341 -> 372[label="",style="solid", color="black", weight=3];
13.15/5.12	342[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1048[label="yu31/Integer yu310",fontsize=10,color="white",style="solid",shape="box"];342 -> 1048[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1048 -> 373[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	343[label="yu31 == yu4001",fontsize=16,color="black",shape="triangle"];343 -> 374[label="",style="solid", color="black", weight=3];
13.15/5.12	344[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1049[label="yu31/LT",fontsize=10,color="white",style="solid",shape="box"];344 -> 1049[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1049 -> 375[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1050[label="yu31/EQ",fontsize=10,color="white",style="solid",shape="box"];344 -> 1050[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1050 -> 376[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1051[label="yu31/GT",fontsize=10,color="white",style="solid",shape="box"];344 -> 1051[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1051 -> 377[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	345[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1052[label="yu31/yu310 :% yu311",fontsize=10,color="white",style="solid",shape="box"];345 -> 1052[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1052 -> 378[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	346[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1053[label="yu31/(yu310,yu311,yu312)",fontsize=10,color="white",style="solid",shape="box"];346 -> 1053[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1053 -> 379[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	347[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1054[label="yu31/Nothing",fontsize=10,color="white",style="solid",shape="box"];347 -> 1054[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1054 -> 380[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1055[label="yu31/Just yu310",fontsize=10,color="white",style="solid",shape="box"];347 -> 1055[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1055 -> 381[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	348[label="yu31 == yu4001",fontsize=16,color="black",shape="triangle"];348 -> 382[label="",style="solid", color="black", weight=3];
13.15/5.12	349[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1056[label="yu31/Left yu310",fontsize=10,color="white",style="solid",shape="box"];349 -> 1056[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1056 -> 383[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1057[label="yu31/Right yu310",fontsize=10,color="white",style="solid",shape="box"];349 -> 1057[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1057 -> 384[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	350[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1058[label="yu31/(yu310,yu311)",fontsize=10,color="white",style="solid",shape="box"];350 -> 1058[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1058 -> 385[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	351[label="yu31 == yu4001",fontsize=16,color="burlywood",shape="triangle"];1059[label="yu31/yu310 : yu311",fontsize=10,color="white",style="solid",shape="box"];351 -> 1059[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1059 -> 386[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1060[label="yu31/[]",fontsize=10,color="white",style="solid",shape="box"];351 -> 1060[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1060 -> 387[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	352 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.12	352[label="yu30 == yu4000",fontsize=16,color="magenta"];352 -> 388[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	352 -> 389[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	353 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.12	353[label="yu30 == yu4000",fontsize=16,color="magenta"];353 -> 390[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	353 -> 391[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	354 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.12	354[label="yu30 == yu4000",fontsize=16,color="magenta"];354 -> 392[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	354 -> 393[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	355 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.12	355[label="yu30 == yu4000",fontsize=16,color="magenta"];355 -> 394[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	355 -> 395[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	356 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.12	356[label="yu30 == yu4000",fontsize=16,color="magenta"];356 -> 396[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	356 -> 397[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	357 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.12	357[label="yu30 == yu4000",fontsize=16,color="magenta"];357 -> 398[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	357 -> 399[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	358 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.12	358[label="yu30 == yu4000",fontsize=16,color="magenta"];358 -> 400[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	358 -> 401[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	359 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.12	359[label="yu30 == yu4000",fontsize=16,color="magenta"];359 -> 402[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	359 -> 403[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	360 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.12	360[label="yu30 == yu4000",fontsize=16,color="magenta"];360 -> 404[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	360 -> 405[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	361 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.12	361[label="yu30 == yu4000",fontsize=16,color="magenta"];361 -> 406[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	361 -> 407[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	362 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.12	362[label="yu30 == yu4000",fontsize=16,color="magenta"];362 -> 408[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	362 -> 409[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	363 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.12	363[label="yu30 == yu4000",fontsize=16,color="magenta"];363 -> 410[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	363 -> 411[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	364 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.12	364[label="yu30 == yu4000",fontsize=16,color="magenta"];364 -> 412[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	364 -> 413[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	365 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.12	365[label="yu30 == yu4000",fontsize=16,color="magenta"];365 -> 414[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	365 -> 415[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	366[label="False && yu47",fontsize=16,color="black",shape="box"];366 -> 416[label="",style="solid", color="black", weight=3];
13.15/5.12	367[label="True && yu47",fontsize=16,color="black",shape="box"];367 -> 417[label="",style="solid", color="black", weight=3];
13.15/5.12	148[label="lookup0 (yu28,yu29) (yu30,yu31) yu32 yu33 otherwise",fontsize=16,color="black",shape="box"];148 -> 172[label="",style="solid", color="black", weight=3];
13.15/5.12	149[label="Just yu32",fontsize=16,color="green",shape="box"];368[label="() == yu4001",fontsize=16,color="burlywood",shape="box"];1061[label="yu4001/()",fontsize=10,color="white",style="solid",shape="box"];368 -> 1061[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1061 -> 418[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	369[label="primEqChar yu31 yu4001",fontsize=16,color="burlywood",shape="box"];1062[label="yu31/Char yu310",fontsize=10,color="white",style="solid",shape="box"];369 -> 1062[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1062 -> 419[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	370[label="False == yu4001",fontsize=16,color="burlywood",shape="box"];1063[label="yu4001/False",fontsize=10,color="white",style="solid",shape="box"];370 -> 1063[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1063 -> 420[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1064[label="yu4001/True",fontsize=10,color="white",style="solid",shape="box"];370 -> 1064[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1064 -> 421[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	371[label="True == yu4001",fontsize=16,color="burlywood",shape="box"];1065[label="yu4001/False",fontsize=10,color="white",style="solid",shape="box"];371 -> 1065[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1065 -> 422[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1066[label="yu4001/True",fontsize=10,color="white",style="solid",shape="box"];371 -> 1066[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1066 -> 423[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	372[label="primEqInt yu31 yu4001",fontsize=16,color="burlywood",shape="triangle"];1067[label="yu31/Pos yu310",fontsize=10,color="white",style="solid",shape="box"];372 -> 1067[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1067 -> 424[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1068[label="yu31/Neg yu310",fontsize=10,color="white",style="solid",shape="box"];372 -> 1068[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1068 -> 425[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	373[label="Integer yu310 == yu4001",fontsize=16,color="burlywood",shape="box"];1069[label="yu4001/Integer yu40010",fontsize=10,color="white",style="solid",shape="box"];373 -> 1069[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1069 -> 426[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	374[label="primEqFloat yu31 yu4001",fontsize=16,color="burlywood",shape="box"];1070[label="yu31/Float yu310 yu311",fontsize=10,color="white",style="solid",shape="box"];374 -> 1070[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1070 -> 427[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	375[label="LT == yu4001",fontsize=16,color="burlywood",shape="box"];1071[label="yu4001/LT",fontsize=10,color="white",style="solid",shape="box"];375 -> 1071[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1071 -> 428[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1072[label="yu4001/EQ",fontsize=10,color="white",style="solid",shape="box"];375 -> 1072[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1072 -> 429[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1073[label="yu4001/GT",fontsize=10,color="white",style="solid",shape="box"];375 -> 1073[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1073 -> 430[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	376[label="EQ == yu4001",fontsize=16,color="burlywood",shape="box"];1074[label="yu4001/LT",fontsize=10,color="white",style="solid",shape="box"];376 -> 1074[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1074 -> 431[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1075[label="yu4001/EQ",fontsize=10,color="white",style="solid",shape="box"];376 -> 1075[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1075 -> 432[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1076[label="yu4001/GT",fontsize=10,color="white",style="solid",shape="box"];376 -> 1076[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1076 -> 433[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	377[label="GT == yu4001",fontsize=16,color="burlywood",shape="box"];1077[label="yu4001/LT",fontsize=10,color="white",style="solid",shape="box"];377 -> 1077[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1077 -> 434[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1078[label="yu4001/EQ",fontsize=10,color="white",style="solid",shape="box"];377 -> 1078[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1078 -> 435[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1079[label="yu4001/GT",fontsize=10,color="white",style="solid",shape="box"];377 -> 1079[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1079 -> 436[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	378[label="yu310 :% yu311 == yu4001",fontsize=16,color="burlywood",shape="box"];1080[label="yu4001/yu40010 :% yu40011",fontsize=10,color="white",style="solid",shape="box"];378 -> 1080[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1080 -> 437[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	379[label="(yu310,yu311,yu312) == yu4001",fontsize=16,color="burlywood",shape="box"];1081[label="yu4001/(yu40010,yu40011,yu40012)",fontsize=10,color="white",style="solid",shape="box"];379 -> 1081[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1081 -> 438[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	380[label="Nothing == yu4001",fontsize=16,color="burlywood",shape="box"];1082[label="yu4001/Nothing",fontsize=10,color="white",style="solid",shape="box"];380 -> 1082[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1082 -> 439[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1083[label="yu4001/Just yu40010",fontsize=10,color="white",style="solid",shape="box"];380 -> 1083[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1083 -> 440[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	381[label="Just yu310 == yu4001",fontsize=16,color="burlywood",shape="box"];1084[label="yu4001/Nothing",fontsize=10,color="white",style="solid",shape="box"];381 -> 1084[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1084 -> 441[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1085[label="yu4001/Just yu40010",fontsize=10,color="white",style="solid",shape="box"];381 -> 1085[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1085 -> 442[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	382[label="primEqDouble yu31 yu4001",fontsize=16,color="burlywood",shape="box"];1086[label="yu31/Double yu310 yu311",fontsize=10,color="white",style="solid",shape="box"];382 -> 1086[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1086 -> 443[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	383[label="Left yu310 == yu4001",fontsize=16,color="burlywood",shape="box"];1087[label="yu4001/Left yu40010",fontsize=10,color="white",style="solid",shape="box"];383 -> 1087[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1087 -> 444[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1088[label="yu4001/Right yu40010",fontsize=10,color="white",style="solid",shape="box"];383 -> 1088[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1088 -> 445[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	384[label="Right yu310 == yu4001",fontsize=16,color="burlywood",shape="box"];1089[label="yu4001/Left yu40010",fontsize=10,color="white",style="solid",shape="box"];384 -> 1089[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1089 -> 446[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1090[label="yu4001/Right yu40010",fontsize=10,color="white",style="solid",shape="box"];384 -> 1090[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1090 -> 447[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	385[label="(yu310,yu311) == yu4001",fontsize=16,color="burlywood",shape="box"];1091[label="yu4001/(yu40010,yu40011)",fontsize=10,color="white",style="solid",shape="box"];385 -> 1091[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1091 -> 448[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	386[label="yu310 : yu311 == yu4001",fontsize=16,color="burlywood",shape="box"];1092[label="yu4001/yu40010 : yu40011",fontsize=10,color="white",style="solid",shape="box"];386 -> 1092[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1092 -> 449[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1093[label="yu4001/[]",fontsize=10,color="white",style="solid",shape="box"];386 -> 1093[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1093 -> 450[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	387[label="[] == yu4001",fontsize=16,color="burlywood",shape="box"];1094[label="yu4001/yu40010 : yu40011",fontsize=10,color="white",style="solid",shape="box"];387 -> 1094[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1094 -> 451[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1095[label="yu4001/[]",fontsize=10,color="white",style="solid",shape="box"];387 -> 1095[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1095 -> 452[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	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="yu4000",fontsize=16,color="green",shape="box"];394[label="yu30",fontsize=16,color="green",shape="box"];395[label="yu4000",fontsize=16,color="green",shape="box"];396[label="yu30",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="yu4000",fontsize=16,color="green",shape="box"];402[label="yu30",fontsize=16,color="green",shape="box"];403[label="yu4000",fontsize=16,color="green",shape="box"];404[label="yu30",fontsize=16,color="green",shape="box"];405[label="yu4000",fontsize=16,color="green",shape="box"];406[label="yu30",fontsize=16,color="green",shape="box"];407[label="yu4000",fontsize=16,color="green",shape="box"];408[label="yu30",fontsize=16,color="green",shape="box"];409[label="yu4000",fontsize=16,color="green",shape="box"];410[label="yu30",fontsize=16,color="green",shape="box"];411[label="yu4000",fontsize=16,color="green",shape="box"];412[label="yu30",fontsize=16,color="green",shape="box"];413[label="yu4000",fontsize=16,color="green",shape="box"];414[label="yu30",fontsize=16,color="green",shape="box"];415[label="yu4000",fontsize=16,color="green",shape="box"];416[label="False",fontsize=16,color="green",shape="box"];417[label="yu47",fontsize=16,color="green",shape="box"];172[label="lookup0 (yu28,yu29) (yu30,yu31) yu32 yu33 True",fontsize=16,color="black",shape="box"];172 -> 222[label="",style="solid", color="black", weight=3];
13.15/5.12	418[label="() == ()",fontsize=16,color="black",shape="box"];418 -> 453[label="",style="solid", color="black", weight=3];
13.15/5.12	419[label="primEqChar (Char yu310) yu4001",fontsize=16,color="burlywood",shape="box"];1096[label="yu4001/Char yu40010",fontsize=10,color="white",style="solid",shape="box"];419 -> 1096[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1096 -> 454[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	420[label="False == False",fontsize=16,color="black",shape="box"];420 -> 455[label="",style="solid", color="black", weight=3];
13.15/5.12	421[label="False == True",fontsize=16,color="black",shape="box"];421 -> 456[label="",style="solid", color="black", weight=3];
13.15/5.12	422[label="True == False",fontsize=16,color="black",shape="box"];422 -> 457[label="",style="solid", color="black", weight=3];
13.15/5.12	423[label="True == True",fontsize=16,color="black",shape="box"];423 -> 458[label="",style="solid", color="black", weight=3];
13.15/5.12	424[label="primEqInt (Pos yu310) yu4001",fontsize=16,color="burlywood",shape="box"];1097[label="yu310/Succ yu3100",fontsize=10,color="white",style="solid",shape="box"];424 -> 1097[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1097 -> 459[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1098[label="yu310/Zero",fontsize=10,color="white",style="solid",shape="box"];424 -> 1098[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1098 -> 460[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	425[label="primEqInt (Neg yu310) yu4001",fontsize=16,color="burlywood",shape="box"];1099[label="yu310/Succ yu3100",fontsize=10,color="white",style="solid",shape="box"];425 -> 1099[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1099 -> 461[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1100[label="yu310/Zero",fontsize=10,color="white",style="solid",shape="box"];425 -> 1100[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1100 -> 462[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	426[label="Integer yu310 == Integer yu40010",fontsize=16,color="black",shape="box"];426 -> 463[label="",style="solid", color="black", weight=3];
13.15/5.12	427[label="primEqFloat (Float yu310 yu311) yu4001",fontsize=16,color="burlywood",shape="box"];1101[label="yu4001/Float yu40010 yu40011",fontsize=10,color="white",style="solid",shape="box"];427 -> 1101[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1101 -> 464[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	428[label="LT == LT",fontsize=16,color="black",shape="box"];428 -> 465[label="",style="solid", color="black", weight=3];
13.15/5.12	429[label="LT == EQ",fontsize=16,color="black",shape="box"];429 -> 466[label="",style="solid", color="black", weight=3];
13.15/5.12	430[label="LT == GT",fontsize=16,color="black",shape="box"];430 -> 467[label="",style="solid", color="black", weight=3];
13.15/5.12	431[label="EQ == LT",fontsize=16,color="black",shape="box"];431 -> 468[label="",style="solid", color="black", weight=3];
13.15/5.12	432[label="EQ == EQ",fontsize=16,color="black",shape="box"];432 -> 469[label="",style="solid", color="black", weight=3];
13.15/5.12	433[label="EQ == GT",fontsize=16,color="black",shape="box"];433 -> 470[label="",style="solid", color="black", weight=3];
13.15/5.12	434[label="GT == LT",fontsize=16,color="black",shape="box"];434 -> 471[label="",style="solid", color="black", weight=3];
13.15/5.12	435[label="GT == EQ",fontsize=16,color="black",shape="box"];435 -> 472[label="",style="solid", color="black", weight=3];
13.15/5.12	436[label="GT == GT",fontsize=16,color="black",shape="box"];436 -> 473[label="",style="solid", color="black", weight=3];
13.15/5.12	437[label="yu310 :% yu311 == yu40010 :% yu40011",fontsize=16,color="black",shape="box"];437 -> 474[label="",style="solid", color="black", weight=3];
13.15/5.12	438[label="(yu310,yu311,yu312) == (yu40010,yu40011,yu40012)",fontsize=16,color="black",shape="box"];438 -> 475[label="",style="solid", color="black", weight=3];
13.15/5.12	439[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];439 -> 476[label="",style="solid", color="black", weight=3];
13.15/5.12	440[label="Nothing == Just yu40010",fontsize=16,color="black",shape="box"];440 -> 477[label="",style="solid", color="black", weight=3];
13.15/5.12	441[label="Just yu310 == Nothing",fontsize=16,color="black",shape="box"];441 -> 478[label="",style="solid", color="black", weight=3];
13.15/5.12	442[label="Just yu310 == Just yu40010",fontsize=16,color="black",shape="box"];442 -> 479[label="",style="solid", color="black", weight=3];
13.15/5.12	443[label="primEqDouble (Double yu310 yu311) yu4001",fontsize=16,color="burlywood",shape="box"];1102[label="yu4001/Double yu40010 yu40011",fontsize=10,color="white",style="solid",shape="box"];443 -> 1102[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1102 -> 480[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	444[label="Left yu310 == Left yu40010",fontsize=16,color="black",shape="box"];444 -> 481[label="",style="solid", color="black", weight=3];
13.15/5.12	445[label="Left yu310 == Right yu40010",fontsize=16,color="black",shape="box"];445 -> 482[label="",style="solid", color="black", weight=3];
13.15/5.12	446[label="Right yu310 == Left yu40010",fontsize=16,color="black",shape="box"];446 -> 483[label="",style="solid", color="black", weight=3];
13.15/5.12	447[label="Right yu310 == Right yu40010",fontsize=16,color="black",shape="box"];447 -> 484[label="",style="solid", color="black", weight=3];
13.15/5.12	448[label="(yu310,yu311) == (yu40010,yu40011)",fontsize=16,color="black",shape="box"];448 -> 485[label="",style="solid", color="black", weight=3];
13.15/5.12	449[label="yu310 : yu311 == yu40010 : yu40011",fontsize=16,color="black",shape="box"];449 -> 486[label="",style="solid", color="black", weight=3];
13.15/5.12	450[label="yu310 : yu311 == []",fontsize=16,color="black",shape="box"];450 -> 487[label="",style="solid", color="black", weight=3];
13.15/5.12	451[label="[] == yu40010 : yu40011",fontsize=16,color="black",shape="box"];451 -> 488[label="",style="solid", color="black", weight=3];
13.15/5.12	452[label="[] == []",fontsize=16,color="black",shape="box"];452 -> 489[label="",style="solid", color="black", weight=3];
13.15/5.12	222 -> 4[label="",style="dashed", color="red", weight=0];
13.15/5.12	222[label="lookup (yu28,yu29) yu33",fontsize=16,color="magenta"];222 -> 288[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	222 -> 289[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	453[label="True",fontsize=16,color="green",shape="box"];454[label="primEqChar (Char yu310) (Char yu40010)",fontsize=16,color="black",shape="box"];454 -> 490[label="",style="solid", color="black", weight=3];
13.15/5.12	455[label="True",fontsize=16,color="green",shape="box"];456[label="False",fontsize=16,color="green",shape="box"];457[label="False",fontsize=16,color="green",shape="box"];458[label="True",fontsize=16,color="green",shape="box"];459[label="primEqInt (Pos (Succ yu3100)) yu4001",fontsize=16,color="burlywood",shape="box"];1103[label="yu4001/Pos yu40010",fontsize=10,color="white",style="solid",shape="box"];459 -> 1103[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1103 -> 491[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1104[label="yu4001/Neg yu40010",fontsize=10,color="white",style="solid",shape="box"];459 -> 1104[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1104 -> 492[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	460[label="primEqInt (Pos Zero) yu4001",fontsize=16,color="burlywood",shape="box"];1105[label="yu4001/Pos yu40010",fontsize=10,color="white",style="solid",shape="box"];460 -> 1105[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1105 -> 493[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1106[label="yu4001/Neg yu40010",fontsize=10,color="white",style="solid",shape="box"];460 -> 1106[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1106 -> 494[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	461[label="primEqInt (Neg (Succ yu3100)) yu4001",fontsize=16,color="burlywood",shape="box"];1107[label="yu4001/Pos yu40010",fontsize=10,color="white",style="solid",shape="box"];461 -> 1107[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1107 -> 495[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1108[label="yu4001/Neg yu40010",fontsize=10,color="white",style="solid",shape="box"];461 -> 1108[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1108 -> 496[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	462[label="primEqInt (Neg Zero) yu4001",fontsize=16,color="burlywood",shape="box"];1109[label="yu4001/Pos yu40010",fontsize=10,color="white",style="solid",shape="box"];462 -> 1109[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1109 -> 497[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	1110[label="yu4001/Neg yu40010",fontsize=10,color="white",style="solid",shape="box"];462 -> 1110[label="",style="solid", color="burlywood", weight=9];
13.15/5.12	1110 -> 498[label="",style="solid", color="burlywood", weight=3];
13.15/5.12	463 -> 372[label="",style="dashed", color="red", weight=0];
13.15/5.12	463[label="primEqInt yu310 yu40010",fontsize=16,color="magenta"];463 -> 499[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	463 -> 500[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	464[label="primEqFloat (Float yu310 yu311) (Float yu40010 yu40011)",fontsize=16,color="black",shape="box"];464 -> 501[label="",style="solid", color="black", weight=3];
13.15/5.12	465[label="True",fontsize=16,color="green",shape="box"];466[label="False",fontsize=16,color="green",shape="box"];467[label="False",fontsize=16,color="green",shape="box"];468[label="False",fontsize=16,color="green",shape="box"];469[label="True",fontsize=16,color="green",shape="box"];470[label="False",fontsize=16,color="green",shape="box"];471[label="False",fontsize=16,color="green",shape="box"];472[label="False",fontsize=16,color="green",shape="box"];473[label="True",fontsize=16,color="green",shape="box"];474 -> 333[label="",style="dashed", color="red", weight=0];
13.15/5.12	474[label="yu310 == yu40010 && yu311 == yu40011",fontsize=16,color="magenta"];474 -> 502[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	474 -> 503[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	475 -> 333[label="",style="dashed", color="red", weight=0];
13.15/5.12	475[label="yu310 == yu40010 && yu311 == yu40011 && yu312 == yu40012",fontsize=16,color="magenta"];475 -> 504[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	475 -> 505[label="",style="dashed", color="magenta", weight=3];
13.15/5.12	476[label="True",fontsize=16,color="green",shape="box"];477[label="False",fontsize=16,color="green",shape="box"];478[label="False",fontsize=16,color="green",shape="box"];479[label="yu310 == yu40010",fontsize=16,color="blue",shape="box"];1111[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1111[label="",style="solid", color="blue", weight=9];
13.15/5.12	1111 -> 506[label="",style="solid", color="blue", weight=3];
13.15/5.12	1112[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1112[label="",style="solid", color="blue", weight=9];
13.15/5.12	1112 -> 507[label="",style="solid", color="blue", weight=3];
13.15/5.12	1113[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1113[label="",style="solid", color="blue", weight=9];
13.15/5.12	1113 -> 508[label="",style="solid", color="blue", weight=3];
13.15/5.12	1114[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1114[label="",style="solid", color="blue", weight=9];
13.15/5.12	1114 -> 509[label="",style="solid", color="blue", weight=3];
13.15/5.12	1115[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1115[label="",style="solid", color="blue", weight=9];
13.15/5.12	1115 -> 510[label="",style="solid", color="blue", weight=3];
13.15/5.12	1116[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1116[label="",style="solid", color="blue", weight=9];
13.15/5.12	1116 -> 511[label="",style="solid", color="blue", weight=3];
13.15/5.12	1117[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1117[label="",style="solid", color="blue", weight=9];
13.15/5.12	1117 -> 512[label="",style="solid", color="blue", weight=3];
13.15/5.12	1118[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1118[label="",style="solid", color="blue", weight=9];
13.15/5.12	1118 -> 513[label="",style="solid", color="blue", weight=3];
13.15/5.12	1119[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1119[label="",style="solid", color="blue", weight=9];
13.15/5.12	1119 -> 514[label="",style="solid", color="blue", weight=3];
13.15/5.12	1120[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1120[label="",style="solid", color="blue", weight=9];
13.15/5.12	1120 -> 515[label="",style="solid", color="blue", weight=3];
13.15/5.12	1121[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1121[label="",style="solid", color="blue", weight=9];
13.15/5.12	1121 -> 516[label="",style="solid", color="blue", weight=3];
13.15/5.12	1122[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1122[label="",style="solid", color="blue", weight=9];
13.15/5.12	1122 -> 517[label="",style="solid", color="blue", weight=3];
13.15/5.12	1123[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1123[label="",style="solid", color="blue", weight=9];
13.15/5.12	1123 -> 518[label="",style="solid", color="blue", weight=3];
13.15/5.12	1124[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];479 -> 1124[label="",style="solid", color="blue", weight=9];
13.15/5.12	1124 -> 519[label="",style="solid", color="blue", weight=3];
13.15/5.12	480[label="primEqDouble (Double yu310 yu311) (Double yu40010 yu40011)",fontsize=16,color="black",shape="box"];480 -> 520[label="",style="solid", color="black", weight=3];
13.15/5.12	481[label="yu310 == yu40010",fontsize=16,color="blue",shape="box"];1125[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1125[label="",style="solid", color="blue", weight=9];
13.15/5.12	1125 -> 521[label="",style="solid", color="blue", weight=3];
13.15/5.12	1126[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1126[label="",style="solid", color="blue", weight=9];
13.15/5.12	1126 -> 522[label="",style="solid", color="blue", weight=3];
13.15/5.12	1127[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1127[label="",style="solid", color="blue", weight=9];
13.15/5.12	1127 -> 523[label="",style="solid", color="blue", weight=3];
13.15/5.12	1128[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1128[label="",style="solid", color="blue", weight=9];
13.15/5.12	1128 -> 524[label="",style="solid", color="blue", weight=3];
13.15/5.12	1129[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1129[label="",style="solid", color="blue", weight=9];
13.15/5.12	1129 -> 525[label="",style="solid", color="blue", weight=3];
13.15/5.12	1130[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1130[label="",style="solid", color="blue", weight=9];
13.15/5.12	1130 -> 526[label="",style="solid", color="blue", weight=3];
13.15/5.12	1131[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1131[label="",style="solid", color="blue", weight=9];
13.15/5.12	1131 -> 527[label="",style="solid", color="blue", weight=3];
13.15/5.12	1132[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1132[label="",style="solid", color="blue", weight=9];
13.15/5.12	1132 -> 528[label="",style="solid", color="blue", weight=3];
13.15/5.12	1133[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1133[label="",style="solid", color="blue", weight=9];
13.15/5.12	1133 -> 529[label="",style="solid", color="blue", weight=3];
13.15/5.12	1134[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1134[label="",style="solid", color="blue", weight=9];
13.15/5.12	1134 -> 530[label="",style="solid", color="blue", weight=3];
13.15/5.12	1135[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1135[label="",style="solid", color="blue", weight=9];
13.15/5.12	1135 -> 531[label="",style="solid", color="blue", weight=3];
13.15/5.12	1136[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1136[label="",style="solid", color="blue", weight=9];
13.15/5.12	1136 -> 532[label="",style="solid", color="blue", weight=3];
13.15/5.12	1137[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1137[label="",style="solid", color="blue", weight=9];
13.15/5.12	1137 -> 533[label="",style="solid", color="blue", weight=3];
13.15/5.12	1138[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];481 -> 1138[label="",style="solid", color="blue", weight=9];
13.15/5.12	1138 -> 534[label="",style="solid", color="blue", weight=3];
13.15/5.12	482[label="False",fontsize=16,color="green",shape="box"];483[label="False",fontsize=16,color="green",shape="box"];484[label="yu310 == yu40010",fontsize=16,color="blue",shape="box"];1139[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1139[label="",style="solid", color="blue", weight=9];
13.15/5.12	1139 -> 535[label="",style="solid", color="blue", weight=3];
13.15/5.12	1140[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1140[label="",style="solid", color="blue", weight=9];
13.15/5.12	1140 -> 536[label="",style="solid", color="blue", weight=3];
13.15/5.12	1141[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1141[label="",style="solid", color="blue", weight=9];
13.15/5.12	1141 -> 537[label="",style="solid", color="blue", weight=3];
13.15/5.12	1142[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1142[label="",style="solid", color="blue", weight=9];
13.15/5.12	1142 -> 538[label="",style="solid", color="blue", weight=3];
13.15/5.12	1143[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1143[label="",style="solid", color="blue", weight=9];
13.15/5.12	1143 -> 539[label="",style="solid", color="blue", weight=3];
13.15/5.12	1144[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1144[label="",style="solid", color="blue", weight=9];
13.15/5.12	1144 -> 540[label="",style="solid", color="blue", weight=3];
13.15/5.12	1145[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1145[label="",style="solid", color="blue", weight=9];
13.15/5.13	1145 -> 541[label="",style="solid", color="blue", weight=3];
13.15/5.13	1146[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1146[label="",style="solid", color="blue", weight=9];
13.15/5.13	1146 -> 542[label="",style="solid", color="blue", weight=3];
13.15/5.13	1147[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1147[label="",style="solid", color="blue", weight=9];
13.15/5.13	1147 -> 543[label="",style="solid", color="blue", weight=3];
13.15/5.13	1148[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1148[label="",style="solid", color="blue", weight=9];
13.15/5.13	1148 -> 544[label="",style="solid", color="blue", weight=3];
13.15/5.13	1149[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1149[label="",style="solid", color="blue", weight=9];
13.15/5.13	1149 -> 545[label="",style="solid", color="blue", weight=3];
13.15/5.13	1150[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1150[label="",style="solid", color="blue", weight=9];
13.15/5.13	1150 -> 546[label="",style="solid", color="blue", weight=3];
13.15/5.13	1151[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1151[label="",style="solid", color="blue", weight=9];
13.15/5.13	1151 -> 547[label="",style="solid", color="blue", weight=3];
13.15/5.13	1152[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];484 -> 1152[label="",style="solid", color="blue", weight=9];
13.15/5.13	1152 -> 548[label="",style="solid", color="blue", weight=3];
13.15/5.13	485 -> 333[label="",style="dashed", color="red", weight=0];
13.15/5.13	485[label="yu310 == yu40010 && yu311 == yu40011",fontsize=16,color="magenta"];485 -> 549[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	485 -> 550[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	486 -> 333[label="",style="dashed", color="red", weight=0];
13.15/5.13	486[label="yu310 == yu40010 && yu311 == yu40011",fontsize=16,color="magenta"];486 -> 551[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	486 -> 552[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	487[label="False",fontsize=16,color="green",shape="box"];488[label="False",fontsize=16,color="green",shape="box"];489[label="True",fontsize=16,color="green",shape="box"];288[label="yu33",fontsize=16,color="green",shape="box"];289[label="(yu28,yu29)",fontsize=16,color="green",shape="box"];490[label="primEqNat yu310 yu40010",fontsize=16,color="burlywood",shape="triangle"];1153[label="yu310/Succ yu3100",fontsize=10,color="white",style="solid",shape="box"];490 -> 1153[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1153 -> 553[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1154[label="yu310/Zero",fontsize=10,color="white",style="solid",shape="box"];490 -> 1154[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1154 -> 554[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	491[label="primEqInt (Pos (Succ yu3100)) (Pos yu40010)",fontsize=16,color="burlywood",shape="box"];1155[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];491 -> 1155[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1155 -> 555[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1156[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];491 -> 1156[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1156 -> 556[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	492[label="primEqInt (Pos (Succ yu3100)) (Neg yu40010)",fontsize=16,color="black",shape="box"];492 -> 557[label="",style="solid", color="black", weight=3];
13.15/5.13	493[label="primEqInt (Pos Zero) (Pos yu40010)",fontsize=16,color="burlywood",shape="box"];1157[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];493 -> 1157[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1157 -> 558[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1158[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];493 -> 1158[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1158 -> 559[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	494[label="primEqInt (Pos Zero) (Neg yu40010)",fontsize=16,color="burlywood",shape="box"];1159[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];494 -> 1159[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1159 -> 560[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1160[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];494 -> 1160[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1160 -> 561[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	495[label="primEqInt (Neg (Succ yu3100)) (Pos yu40010)",fontsize=16,color="black",shape="box"];495 -> 562[label="",style="solid", color="black", weight=3];
13.15/5.13	496[label="primEqInt (Neg (Succ yu3100)) (Neg yu40010)",fontsize=16,color="burlywood",shape="box"];1161[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];496 -> 1161[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1161 -> 563[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1162[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];496 -> 1162[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1162 -> 564[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	497[label="primEqInt (Neg Zero) (Pos yu40010)",fontsize=16,color="burlywood",shape="box"];1163[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];497 -> 1163[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1163 -> 565[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1164[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];497 -> 1164[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1164 -> 566[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	498[label="primEqInt (Neg Zero) (Neg yu40010)",fontsize=16,color="burlywood",shape="box"];1165[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];498 -> 1165[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1165 -> 567[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1166[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];498 -> 1166[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1166 -> 568[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	499[label="yu310",fontsize=16,color="green",shape="box"];500[label="yu40010",fontsize=16,color="green",shape="box"];501 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	501[label="yu310 * yu40011 == yu311 * yu40010",fontsize=16,color="magenta"];501 -> 569[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	501 -> 570[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	502[label="yu311 == yu40011",fontsize=16,color="blue",shape="box"];1167[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];502 -> 1167[label="",style="solid", color="blue", weight=9];
13.15/5.13	1167 -> 571[label="",style="solid", color="blue", weight=3];
13.15/5.13	1168[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];502 -> 1168[label="",style="solid", color="blue", weight=9];
13.15/5.13	1168 -> 572[label="",style="solid", color="blue", weight=3];
13.15/5.13	503[label="yu310 == yu40010",fontsize=16,color="blue",shape="box"];1169[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];503 -> 1169[label="",style="solid", color="blue", weight=9];
13.15/5.13	1169 -> 573[label="",style="solid", color="blue", weight=3];
13.15/5.13	1170[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];503 -> 1170[label="",style="solid", color="blue", weight=9];
13.15/5.13	1170 -> 574[label="",style="solid", color="blue", weight=3];
13.15/5.13	504 -> 333[label="",style="dashed", color="red", weight=0];
13.15/5.13	504[label="yu311 == yu40011 && yu312 == yu40012",fontsize=16,color="magenta"];504 -> 575[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	504 -> 576[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	505[label="yu310 == yu40010",fontsize=16,color="blue",shape="box"];1171[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1171[label="",style="solid", color="blue", weight=9];
13.15/5.13	1171 -> 577[label="",style="solid", color="blue", weight=3];
13.15/5.13	1172[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1172[label="",style="solid", color="blue", weight=9];
13.15/5.13	1172 -> 578[label="",style="solid", color="blue", weight=3];
13.15/5.13	1173[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1173[label="",style="solid", color="blue", weight=9];
13.15/5.13	1173 -> 579[label="",style="solid", color="blue", weight=3];
13.15/5.13	1174[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1174[label="",style="solid", color="blue", weight=9];
13.15/5.13	1174 -> 580[label="",style="solid", color="blue", weight=3];
13.15/5.13	1175[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1175[label="",style="solid", color="blue", weight=9];
13.15/5.13	1175 -> 581[label="",style="solid", color="blue", weight=3];
13.15/5.13	1176[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1176[label="",style="solid", color="blue", weight=9];
13.15/5.13	1176 -> 582[label="",style="solid", color="blue", weight=3];
13.15/5.13	1177[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1177[label="",style="solid", color="blue", weight=9];
13.15/5.13	1177 -> 583[label="",style="solid", color="blue", weight=3];
13.15/5.13	1178[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1178[label="",style="solid", color="blue", weight=9];
13.15/5.13	1178 -> 584[label="",style="solid", color="blue", weight=3];
13.15/5.13	1179[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1179[label="",style="solid", color="blue", weight=9];
13.15/5.13	1179 -> 585[label="",style="solid", color="blue", weight=3];
13.15/5.13	1180[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1180[label="",style="solid", color="blue", weight=9];
13.15/5.13	1180 -> 586[label="",style="solid", color="blue", weight=3];
13.15/5.13	1181[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1181[label="",style="solid", color="blue", weight=9];
13.15/5.13	1181 -> 587[label="",style="solid", color="blue", weight=3];
13.15/5.13	1182[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1182[label="",style="solid", color="blue", weight=9];
13.15/5.13	1182 -> 588[label="",style="solid", color="blue", weight=3];
13.15/5.13	1183[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1183[label="",style="solid", color="blue", weight=9];
13.15/5.13	1183 -> 589[label="",style="solid", color="blue", weight=3];
13.15/5.13	1184[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];505 -> 1184[label="",style="solid", color="blue", weight=9];
13.15/5.13	1184 -> 590[label="",style="solid", color="blue", weight=3];
13.15/5.13	506 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.13	506[label="yu310 == yu40010",fontsize=16,color="magenta"];506 -> 591[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	506 -> 592[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	507 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.13	507[label="yu310 == yu40010",fontsize=16,color="magenta"];507 -> 593[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	507 -> 594[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	508 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.13	508[label="yu310 == yu40010",fontsize=16,color="magenta"];508 -> 595[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	508 -> 596[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	509 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	509[label="yu310 == yu40010",fontsize=16,color="magenta"];509 -> 597[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	509 -> 598[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	510 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	510[label="yu310 == yu40010",fontsize=16,color="magenta"];510 -> 599[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	510 -> 600[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	511 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.13	511[label="yu310 == yu40010",fontsize=16,color="magenta"];511 -> 601[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	511 -> 602[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	512 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.13	512[label="yu310 == yu40010",fontsize=16,color="magenta"];512 -> 603[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	512 -> 604[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	513 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.13	513[label="yu310 == yu40010",fontsize=16,color="magenta"];513 -> 605[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	513 -> 606[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	514 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.13	514[label="yu310 == yu40010",fontsize=16,color="magenta"];514 -> 607[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	514 -> 608[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	515 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.13	515[label="yu310 == yu40010",fontsize=16,color="magenta"];515 -> 609[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	515 -> 610[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	516 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.13	516[label="yu310 == yu40010",fontsize=16,color="magenta"];516 -> 611[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	516 -> 612[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	517 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.13	517[label="yu310 == yu40010",fontsize=16,color="magenta"];517 -> 613[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	517 -> 614[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	518 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.13	518[label="yu310 == yu40010",fontsize=16,color="magenta"];518 -> 615[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	518 -> 616[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	519 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	519[label="yu310 == yu40010",fontsize=16,color="magenta"];519 -> 617[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	519 -> 618[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	520 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	520[label="yu310 * yu40011 == yu311 * yu40010",fontsize=16,color="magenta"];520 -> 619[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	520 -> 620[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	521 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.13	521[label="yu310 == yu40010",fontsize=16,color="magenta"];521 -> 621[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	521 -> 622[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	522 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.13	522[label="yu310 == yu40010",fontsize=16,color="magenta"];522 -> 623[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	522 -> 624[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	523 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.13	523[label="yu310 == yu40010",fontsize=16,color="magenta"];523 -> 625[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	523 -> 626[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	524 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	524[label="yu310 == yu40010",fontsize=16,color="magenta"];524 -> 627[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	524 -> 628[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	525 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	525[label="yu310 == yu40010",fontsize=16,color="magenta"];525 -> 629[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	525 -> 630[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	526 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.13	526[label="yu310 == yu40010",fontsize=16,color="magenta"];526 -> 631[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	526 -> 632[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	527 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.13	527[label="yu310 == yu40010",fontsize=16,color="magenta"];527 -> 633[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	527 -> 634[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	528 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.13	528[label="yu310 == yu40010",fontsize=16,color="magenta"];528 -> 635[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	528 -> 636[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	529 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.13	529[label="yu310 == yu40010",fontsize=16,color="magenta"];529 -> 637[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	529 -> 638[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	530 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.13	530[label="yu310 == yu40010",fontsize=16,color="magenta"];530 -> 639[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	530 -> 640[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	531 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.13	531[label="yu310 == yu40010",fontsize=16,color="magenta"];531 -> 641[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	531 -> 642[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	532 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.13	532[label="yu310 == yu40010",fontsize=16,color="magenta"];532 -> 643[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	532 -> 644[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	533 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.13	533[label="yu310 == yu40010",fontsize=16,color="magenta"];533 -> 645[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	533 -> 646[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	534 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	534[label="yu310 == yu40010",fontsize=16,color="magenta"];534 -> 647[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	534 -> 648[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	535 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.13	535[label="yu310 == yu40010",fontsize=16,color="magenta"];535 -> 649[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	535 -> 650[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	536 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.13	536[label="yu310 == yu40010",fontsize=16,color="magenta"];536 -> 651[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	536 -> 652[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	537 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.13	537[label="yu310 == yu40010",fontsize=16,color="magenta"];537 -> 653[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	537 -> 654[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	538 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	538[label="yu310 == yu40010",fontsize=16,color="magenta"];538 -> 655[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	538 -> 656[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	539 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	539[label="yu310 == yu40010",fontsize=16,color="magenta"];539 -> 657[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	539 -> 658[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	540 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.13	540[label="yu310 == yu40010",fontsize=16,color="magenta"];540 -> 659[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	540 -> 660[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	541 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.13	541[label="yu310 == yu40010",fontsize=16,color="magenta"];541 -> 661[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	541 -> 662[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	542 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.13	542[label="yu310 == yu40010",fontsize=16,color="magenta"];542 -> 663[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	542 -> 664[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	543 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.13	543[label="yu310 == yu40010",fontsize=16,color="magenta"];543 -> 665[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	543 -> 666[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	544 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.13	544[label="yu310 == yu40010",fontsize=16,color="magenta"];544 -> 667[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	544 -> 668[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	545 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.13	545[label="yu310 == yu40010",fontsize=16,color="magenta"];545 -> 669[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	545 -> 670[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	546 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.13	546[label="yu310 == yu40010",fontsize=16,color="magenta"];546 -> 671[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	546 -> 672[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	547 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.13	547[label="yu310 == yu40010",fontsize=16,color="magenta"];547 -> 673[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	547 -> 674[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	548 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	548[label="yu310 == yu40010",fontsize=16,color="magenta"];548 -> 675[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	548 -> 676[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	549[label="yu311 == yu40011",fontsize=16,color="blue",shape="box"];1185[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1185[label="",style="solid", color="blue", weight=9];
13.15/5.13	1185 -> 677[label="",style="solid", color="blue", weight=3];
13.15/5.13	1186[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1186[label="",style="solid", color="blue", weight=9];
13.15/5.13	1186 -> 678[label="",style="solid", color="blue", weight=3];
13.15/5.13	1187[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1187[label="",style="solid", color="blue", weight=9];
13.15/5.13	1187 -> 679[label="",style="solid", color="blue", weight=3];
13.15/5.13	1188[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1188[label="",style="solid", color="blue", weight=9];
13.15/5.13	1188 -> 680[label="",style="solid", color="blue", weight=3];
13.15/5.13	1189[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1189[label="",style="solid", color="blue", weight=9];
13.15/5.13	1189 -> 681[label="",style="solid", color="blue", weight=3];
13.15/5.13	1190[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1190[label="",style="solid", color="blue", weight=9];
13.15/5.13	1190 -> 682[label="",style="solid", color="blue", weight=3];
13.15/5.13	1191[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1191[label="",style="solid", color="blue", weight=9];
13.15/5.13	1191 -> 683[label="",style="solid", color="blue", weight=3];
13.15/5.13	1192[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1192[label="",style="solid", color="blue", weight=9];
13.15/5.13	1192 -> 684[label="",style="solid", color="blue", weight=3];
13.15/5.13	1193[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1193[label="",style="solid", color="blue", weight=9];
13.15/5.13	1193 -> 685[label="",style="solid", color="blue", weight=3];
13.15/5.13	1194[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1194[label="",style="solid", color="blue", weight=9];
13.15/5.13	1194 -> 686[label="",style="solid", color="blue", weight=3];
13.15/5.13	1195[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1195[label="",style="solid", color="blue", weight=9];
13.15/5.13	1195 -> 687[label="",style="solid", color="blue", weight=3];
13.15/5.13	1196[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1196[label="",style="solid", color="blue", weight=9];
13.15/5.13	1196 -> 688[label="",style="solid", color="blue", weight=3];
13.15/5.13	1197[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1197[label="",style="solid", color="blue", weight=9];
13.15/5.13	1197 -> 689[label="",style="solid", color="blue", weight=3];
13.15/5.13	1198[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];549 -> 1198[label="",style="solid", color="blue", weight=9];
13.15/5.13	1198 -> 690[label="",style="solid", color="blue", weight=3];
13.15/5.13	550[label="yu310 == yu40010",fontsize=16,color="blue",shape="box"];1199[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1199[label="",style="solid", color="blue", weight=9];
13.15/5.13	1199 -> 691[label="",style="solid", color="blue", weight=3];
13.15/5.13	1200[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1200[label="",style="solid", color="blue", weight=9];
13.15/5.13	1200 -> 692[label="",style="solid", color="blue", weight=3];
13.15/5.13	1201[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1201[label="",style="solid", color="blue", weight=9];
13.15/5.13	1201 -> 693[label="",style="solid", color="blue", weight=3];
13.15/5.13	1202[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1202[label="",style="solid", color="blue", weight=9];
13.15/5.13	1202 -> 694[label="",style="solid", color="blue", weight=3];
13.15/5.13	1203[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1203[label="",style="solid", color="blue", weight=9];
13.15/5.13	1203 -> 695[label="",style="solid", color="blue", weight=3];
13.15/5.13	1204[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1204[label="",style="solid", color="blue", weight=9];
13.15/5.13	1204 -> 696[label="",style="solid", color="blue", weight=3];
13.15/5.13	1205[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1205[label="",style="solid", color="blue", weight=9];
13.15/5.13	1205 -> 697[label="",style="solid", color="blue", weight=3];
13.15/5.13	1206[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1206[label="",style="solid", color="blue", weight=9];
13.15/5.13	1206 -> 698[label="",style="solid", color="blue", weight=3];
13.15/5.13	1207[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1207[label="",style="solid", color="blue", weight=9];
13.15/5.13	1207 -> 699[label="",style="solid", color="blue", weight=3];
13.15/5.13	1208[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1208[label="",style="solid", color="blue", weight=9];
13.15/5.13	1208 -> 700[label="",style="solid", color="blue", weight=3];
13.15/5.13	1209[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1209[label="",style="solid", color="blue", weight=9];
13.15/5.13	1209 -> 701[label="",style="solid", color="blue", weight=3];
13.15/5.13	1210[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1210[label="",style="solid", color="blue", weight=9];
13.15/5.13	1210 -> 702[label="",style="solid", color="blue", weight=3];
13.15/5.13	1211[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1211[label="",style="solid", color="blue", weight=9];
13.15/5.13	1211 -> 703[label="",style="solid", color="blue", weight=3];
13.15/5.13	1212[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];550 -> 1212[label="",style="solid", color="blue", weight=9];
13.15/5.13	1212 -> 704[label="",style="solid", color="blue", weight=3];
13.15/5.13	551 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	551[label="yu311 == yu40011",fontsize=16,color="magenta"];551 -> 705[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	551 -> 706[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	552[label="yu310 == yu40010",fontsize=16,color="blue",shape="box"];1213[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1213[label="",style="solid", color="blue", weight=9];
13.15/5.13	1213 -> 707[label="",style="solid", color="blue", weight=3];
13.15/5.13	1214[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1214[label="",style="solid", color="blue", weight=9];
13.15/5.13	1214 -> 708[label="",style="solid", color="blue", weight=3];
13.15/5.13	1215[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1215[label="",style="solid", color="blue", weight=9];
13.15/5.13	1215 -> 709[label="",style="solid", color="blue", weight=3];
13.15/5.13	1216[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1216[label="",style="solid", color="blue", weight=9];
13.15/5.13	1216 -> 710[label="",style="solid", color="blue", weight=3];
13.15/5.13	1217[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1217[label="",style="solid", color="blue", weight=9];
13.15/5.13	1217 -> 711[label="",style="solid", color="blue", weight=3];
13.15/5.13	1218[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1218[label="",style="solid", color="blue", weight=9];
13.15/5.13	1218 -> 712[label="",style="solid", color="blue", weight=3];
13.15/5.13	1219[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1219[label="",style="solid", color="blue", weight=9];
13.15/5.13	1219 -> 713[label="",style="solid", color="blue", weight=3];
13.15/5.13	1220[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1220[label="",style="solid", color="blue", weight=9];
13.15/5.13	1220 -> 714[label="",style="solid", color="blue", weight=3];
13.15/5.13	1221[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1221[label="",style="solid", color="blue", weight=9];
13.15/5.13	1221 -> 715[label="",style="solid", color="blue", weight=3];
13.15/5.13	1222[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1222[label="",style="solid", color="blue", weight=9];
13.15/5.13	1222 -> 716[label="",style="solid", color="blue", weight=3];
13.15/5.13	1223[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1223[label="",style="solid", color="blue", weight=9];
13.15/5.13	1223 -> 717[label="",style="solid", color="blue", weight=3];
13.15/5.13	1224[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1224[label="",style="solid", color="blue", weight=9];
13.15/5.13	1224 -> 718[label="",style="solid", color="blue", weight=3];
13.15/5.13	1225[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1225[label="",style="solid", color="blue", weight=9];
13.15/5.13	1225 -> 719[label="",style="solid", color="blue", weight=3];
13.15/5.13	1226[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];552 -> 1226[label="",style="solid", color="blue", weight=9];
13.15/5.13	1226 -> 720[label="",style="solid", color="blue", weight=3];
13.15/5.13	553[label="primEqNat (Succ yu3100) yu40010",fontsize=16,color="burlywood",shape="box"];1227[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];553 -> 1227[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1227 -> 721[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1228[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];553 -> 1228[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1228 -> 722[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	554[label="primEqNat Zero yu40010",fontsize=16,color="burlywood",shape="box"];1229[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];554 -> 1229[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1229 -> 723[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1230[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];554 -> 1230[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1230 -> 724[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	555[label="primEqInt (Pos (Succ yu3100)) (Pos (Succ yu400100))",fontsize=16,color="black",shape="box"];555 -> 725[label="",style="solid", color="black", weight=3];
13.15/5.13	556[label="primEqInt (Pos (Succ yu3100)) (Pos Zero)",fontsize=16,color="black",shape="box"];556 -> 726[label="",style="solid", color="black", weight=3];
13.15/5.13	557[label="False",fontsize=16,color="green",shape="box"];558[label="primEqInt (Pos Zero) (Pos (Succ yu400100))",fontsize=16,color="black",shape="box"];558 -> 727[label="",style="solid", color="black", weight=3];
13.15/5.13	559[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];559 -> 728[label="",style="solid", color="black", weight=3];
13.15/5.13	560[label="primEqInt (Pos Zero) (Neg (Succ yu400100))",fontsize=16,color="black",shape="box"];560 -> 729[label="",style="solid", color="black", weight=3];
13.15/5.13	561[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];561 -> 730[label="",style="solid", color="black", weight=3];
13.15/5.13	562[label="False",fontsize=16,color="green",shape="box"];563[label="primEqInt (Neg (Succ yu3100)) (Neg (Succ yu400100))",fontsize=16,color="black",shape="box"];563 -> 731[label="",style="solid", color="black", weight=3];
13.15/5.13	564[label="primEqInt (Neg (Succ yu3100)) (Neg Zero)",fontsize=16,color="black",shape="box"];564 -> 732[label="",style="solid", color="black", weight=3];
13.15/5.13	565[label="primEqInt (Neg Zero) (Pos (Succ yu400100))",fontsize=16,color="black",shape="box"];565 -> 733[label="",style="solid", color="black", weight=3];
13.15/5.13	566[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];566 -> 734[label="",style="solid", color="black", weight=3];
13.15/5.13	567[label="primEqInt (Neg Zero) (Neg (Succ yu400100))",fontsize=16,color="black",shape="box"];567 -> 735[label="",style="solid", color="black", weight=3];
13.15/5.13	568[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];568 -> 736[label="",style="solid", color="black", weight=3];
13.15/5.13	569[label="yu310 * yu40011",fontsize=16,color="black",shape="triangle"];569 -> 737[label="",style="solid", color="black", weight=3];
13.15/5.13	570 -> 569[label="",style="dashed", color="red", weight=0];
13.15/5.13	570[label="yu311 * yu40010",fontsize=16,color="magenta"];570 -> 738[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	570 -> 739[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	571 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	571[label="yu311 == yu40011",fontsize=16,color="magenta"];571 -> 740[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	571 -> 741[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	572 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	572[label="yu311 == yu40011",fontsize=16,color="magenta"];572 -> 742[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	572 -> 743[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	573 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	573[label="yu310 == yu40010",fontsize=16,color="magenta"];573 -> 744[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	573 -> 745[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	574 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	574[label="yu310 == yu40010",fontsize=16,color="magenta"];574 -> 746[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	574 -> 747[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	575[label="yu312 == yu40012",fontsize=16,color="blue",shape="box"];1231[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1231[label="",style="solid", color="blue", weight=9];
13.15/5.13	1231 -> 748[label="",style="solid", color="blue", weight=3];
13.15/5.13	1232[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1232[label="",style="solid", color="blue", weight=9];
13.15/5.13	1232 -> 749[label="",style="solid", color="blue", weight=3];
13.15/5.13	1233[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1233[label="",style="solid", color="blue", weight=9];
13.15/5.13	1233 -> 750[label="",style="solid", color="blue", weight=3];
13.15/5.13	1234[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1234[label="",style="solid", color="blue", weight=9];
13.15/5.13	1234 -> 751[label="",style="solid", color="blue", weight=3];
13.15/5.13	1235[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1235[label="",style="solid", color="blue", weight=9];
13.15/5.13	1235 -> 752[label="",style="solid", color="blue", weight=3];
13.15/5.13	1236[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1236[label="",style="solid", color="blue", weight=9];
13.15/5.13	1236 -> 753[label="",style="solid", color="blue", weight=3];
13.15/5.13	1237[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1237[label="",style="solid", color="blue", weight=9];
13.15/5.13	1237 -> 754[label="",style="solid", color="blue", weight=3];
13.15/5.13	1238[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1238[label="",style="solid", color="blue", weight=9];
13.15/5.13	1238 -> 755[label="",style="solid", color="blue", weight=3];
13.15/5.13	1239[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1239[label="",style="solid", color="blue", weight=9];
13.15/5.13	1239 -> 756[label="",style="solid", color="blue", weight=3];
13.15/5.13	1240[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1240[label="",style="solid", color="blue", weight=9];
13.15/5.13	1240 -> 757[label="",style="solid", color="blue", weight=3];
13.15/5.13	1241[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1241[label="",style="solid", color="blue", weight=9];
13.15/5.13	1241 -> 758[label="",style="solid", color="blue", weight=3];
13.15/5.13	1242[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1242[label="",style="solid", color="blue", weight=9];
13.15/5.13	1242 -> 759[label="",style="solid", color="blue", weight=3];
13.15/5.13	1243[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1243[label="",style="solid", color="blue", weight=9];
13.15/5.13	1243 -> 760[label="",style="solid", color="blue", weight=3];
13.15/5.13	1244[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];575 -> 1244[label="",style="solid", color="blue", weight=9];
13.15/5.13	1244 -> 761[label="",style="solid", color="blue", weight=3];
13.15/5.13	576[label="yu311 == yu40011",fontsize=16,color="blue",shape="box"];1245[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1245[label="",style="solid", color="blue", weight=9];
13.15/5.13	1245 -> 762[label="",style="solid", color="blue", weight=3];
13.15/5.13	1246[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1246[label="",style="solid", color="blue", weight=9];
13.15/5.13	1246 -> 763[label="",style="solid", color="blue", weight=3];
13.15/5.13	1247[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1247[label="",style="solid", color="blue", weight=9];
13.15/5.13	1247 -> 764[label="",style="solid", color="blue", weight=3];
13.15/5.13	1248[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1248[label="",style="solid", color="blue", weight=9];
13.15/5.13	1248 -> 765[label="",style="solid", color="blue", weight=3];
13.15/5.13	1249[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1249[label="",style="solid", color="blue", weight=9];
13.15/5.13	1249 -> 766[label="",style="solid", color="blue", weight=3];
13.15/5.13	1250[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1250[label="",style="solid", color="blue", weight=9];
13.15/5.13	1250 -> 767[label="",style="solid", color="blue", weight=3];
13.15/5.13	1251[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1251[label="",style="solid", color="blue", weight=9];
13.15/5.13	1251 -> 768[label="",style="solid", color="blue", weight=3];
13.15/5.13	1252[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1252[label="",style="solid", color="blue", weight=9];
13.15/5.13	1252 -> 769[label="",style="solid", color="blue", weight=3];
13.15/5.13	1253[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1253[label="",style="solid", color="blue", weight=9];
13.15/5.13	1253 -> 770[label="",style="solid", color="blue", weight=3];
13.15/5.13	1254[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1254[label="",style="solid", color="blue", weight=9];
13.15/5.13	1254 -> 771[label="",style="solid", color="blue", weight=3];
13.15/5.13	1255[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1255[label="",style="solid", color="blue", weight=9];
13.15/5.13	1255 -> 772[label="",style="solid", color="blue", weight=3];
13.15/5.13	1256[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1256[label="",style="solid", color="blue", weight=9];
13.15/5.13	1256 -> 773[label="",style="solid", color="blue", weight=3];
13.15/5.13	1257[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1257[label="",style="solid", color="blue", weight=9];
13.15/5.13	1257 -> 774[label="",style="solid", color="blue", weight=3];
13.15/5.13	1258[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];576 -> 1258[label="",style="solid", color="blue", weight=9];
13.15/5.13	1258 -> 775[label="",style="solid", color="blue", weight=3];
13.15/5.13	577 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.13	577[label="yu310 == yu40010",fontsize=16,color="magenta"];577 -> 776[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	577 -> 777[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	578 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.13	578[label="yu310 == yu40010",fontsize=16,color="magenta"];578 -> 778[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	578 -> 779[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	579 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.13	579[label="yu310 == yu40010",fontsize=16,color="magenta"];579 -> 780[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	579 -> 781[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	580 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	580[label="yu310 == yu40010",fontsize=16,color="magenta"];580 -> 782[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	580 -> 783[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	581 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	581[label="yu310 == yu40010",fontsize=16,color="magenta"];581 -> 784[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	581 -> 785[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	582 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.13	582[label="yu310 == yu40010",fontsize=16,color="magenta"];582 -> 786[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	582 -> 787[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	583 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.13	583[label="yu310 == yu40010",fontsize=16,color="magenta"];583 -> 788[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	583 -> 789[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	584 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.13	584[label="yu310 == yu40010",fontsize=16,color="magenta"];584 -> 790[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	584 -> 791[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	585 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.13	585[label="yu310 == yu40010",fontsize=16,color="magenta"];585 -> 792[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	585 -> 793[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	586 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.13	586[label="yu310 == yu40010",fontsize=16,color="magenta"];586 -> 794[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	586 -> 795[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	587 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.13	587[label="yu310 == yu40010",fontsize=16,color="magenta"];587 -> 796[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	587 -> 797[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	588 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.13	588[label="yu310 == yu40010",fontsize=16,color="magenta"];588 -> 798[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	588 -> 799[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	589 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.13	589[label="yu310 == yu40010",fontsize=16,color="magenta"];589 -> 800[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	589 -> 801[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	590 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	590[label="yu310 == yu40010",fontsize=16,color="magenta"];590 -> 802[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	590 -> 803[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	591[label="yu310",fontsize=16,color="green",shape="box"];592[label="yu40010",fontsize=16,color="green",shape="box"];593[label="yu310",fontsize=16,color="green",shape="box"];594[label="yu40010",fontsize=16,color="green",shape="box"];595[label="yu310",fontsize=16,color="green",shape="box"];596[label="yu40010",fontsize=16,color="green",shape="box"];597[label="yu310",fontsize=16,color="green",shape="box"];598[label="yu40010",fontsize=16,color="green",shape="box"];599[label="yu310",fontsize=16,color="green",shape="box"];600[label="yu40010",fontsize=16,color="green",shape="box"];601[label="yu310",fontsize=16,color="green",shape="box"];602[label="yu40010",fontsize=16,color="green",shape="box"];603[label="yu310",fontsize=16,color="green",shape="box"];604[label="yu40010",fontsize=16,color="green",shape="box"];605[label="yu310",fontsize=16,color="green",shape="box"];606[label="yu40010",fontsize=16,color="green",shape="box"];607[label="yu310",fontsize=16,color="green",shape="box"];608[label="yu40010",fontsize=16,color="green",shape="box"];609[label="yu310",fontsize=16,color="green",shape="box"];610[label="yu40010",fontsize=16,color="green",shape="box"];611[label="yu310",fontsize=16,color="green",shape="box"];612[label="yu40010",fontsize=16,color="green",shape="box"];613[label="yu310",fontsize=16,color="green",shape="box"];614[label="yu40010",fontsize=16,color="green",shape="box"];615[label="yu310",fontsize=16,color="green",shape="box"];616[label="yu40010",fontsize=16,color="green",shape="box"];617[label="yu310",fontsize=16,color="green",shape="box"];618[label="yu40010",fontsize=16,color="green",shape="box"];619 -> 569[label="",style="dashed", color="red", weight=0];
13.15/5.13	619[label="yu310 * yu40011",fontsize=16,color="magenta"];619 -> 804[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	619 -> 805[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	620 -> 569[label="",style="dashed", color="red", weight=0];
13.15/5.13	620[label="yu311 * yu40010",fontsize=16,color="magenta"];620 -> 806[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	620 -> 807[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	621[label="yu310",fontsize=16,color="green",shape="box"];622[label="yu40010",fontsize=16,color="green",shape="box"];623[label="yu310",fontsize=16,color="green",shape="box"];624[label="yu40010",fontsize=16,color="green",shape="box"];625[label="yu310",fontsize=16,color="green",shape="box"];626[label="yu40010",fontsize=16,color="green",shape="box"];627[label="yu310",fontsize=16,color="green",shape="box"];628[label="yu40010",fontsize=16,color="green",shape="box"];629[label="yu310",fontsize=16,color="green",shape="box"];630[label="yu40010",fontsize=16,color="green",shape="box"];631[label="yu310",fontsize=16,color="green",shape="box"];632[label="yu40010",fontsize=16,color="green",shape="box"];633[label="yu310",fontsize=16,color="green",shape="box"];634[label="yu40010",fontsize=16,color="green",shape="box"];635[label="yu310",fontsize=16,color="green",shape="box"];636[label="yu40010",fontsize=16,color="green",shape="box"];637[label="yu310",fontsize=16,color="green",shape="box"];638[label="yu40010",fontsize=16,color="green",shape="box"];639[label="yu310",fontsize=16,color="green",shape="box"];640[label="yu40010",fontsize=16,color="green",shape="box"];641[label="yu310",fontsize=16,color="green",shape="box"];642[label="yu40010",fontsize=16,color="green",shape="box"];643[label="yu310",fontsize=16,color="green",shape="box"];644[label="yu40010",fontsize=16,color="green",shape="box"];645[label="yu310",fontsize=16,color="green",shape="box"];646[label="yu40010",fontsize=16,color="green",shape="box"];647[label="yu310",fontsize=16,color="green",shape="box"];648[label="yu40010",fontsize=16,color="green",shape="box"];649[label="yu310",fontsize=16,color="green",shape="box"];650[label="yu40010",fontsize=16,color="green",shape="box"];651[label="yu310",fontsize=16,color="green",shape="box"];652[label="yu40010",fontsize=16,color="green",shape="box"];653[label="yu310",fontsize=16,color="green",shape="box"];654[label="yu40010",fontsize=16,color="green",shape="box"];655[label="yu310",fontsize=16,color="green",shape="box"];656[label="yu40010",fontsize=16,color="green",shape="box"];657[label="yu310",fontsize=16,color="green",shape="box"];658[label="yu40010",fontsize=16,color="green",shape="box"];659[label="yu310",fontsize=16,color="green",shape="box"];660[label="yu40010",fontsize=16,color="green",shape="box"];661[label="yu310",fontsize=16,color="green",shape="box"];662[label="yu40010",fontsize=16,color="green",shape="box"];663[label="yu310",fontsize=16,color="green",shape="box"];664[label="yu40010",fontsize=16,color="green",shape="box"];665[label="yu310",fontsize=16,color="green",shape="box"];666[label="yu40010",fontsize=16,color="green",shape="box"];667[label="yu310",fontsize=16,color="green",shape="box"];668[label="yu40010",fontsize=16,color="green",shape="box"];669[label="yu310",fontsize=16,color="green",shape="box"];670[label="yu40010",fontsize=16,color="green",shape="box"];671[label="yu310",fontsize=16,color="green",shape="box"];672[label="yu40010",fontsize=16,color="green",shape="box"];673[label="yu310",fontsize=16,color="green",shape="box"];674[label="yu40010",fontsize=16,color="green",shape="box"];675[label="yu310",fontsize=16,color="green",shape="box"];676[label="yu40010",fontsize=16,color="green",shape="box"];677 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.13	677[label="yu311 == yu40011",fontsize=16,color="magenta"];677 -> 808[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	677 -> 809[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	678 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.13	678[label="yu311 == yu40011",fontsize=16,color="magenta"];678 -> 810[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	678 -> 811[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	679 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.13	679[label="yu311 == yu40011",fontsize=16,color="magenta"];679 -> 812[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	679 -> 813[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	680 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	680[label="yu311 == yu40011",fontsize=16,color="magenta"];680 -> 814[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	680 -> 815[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	681 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	681[label="yu311 == yu40011",fontsize=16,color="magenta"];681 -> 816[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	681 -> 817[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	682 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.13	682[label="yu311 == yu40011",fontsize=16,color="magenta"];682 -> 818[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	682 -> 819[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	683 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.13	683[label="yu311 == yu40011",fontsize=16,color="magenta"];683 -> 820[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	683 -> 821[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	684 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.13	684[label="yu311 == yu40011",fontsize=16,color="magenta"];684 -> 822[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	684 -> 823[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	685 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.13	685[label="yu311 == yu40011",fontsize=16,color="magenta"];685 -> 824[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	685 -> 825[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	686 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.13	686[label="yu311 == yu40011",fontsize=16,color="magenta"];686 -> 826[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	686 -> 827[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	687 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.13	687[label="yu311 == yu40011",fontsize=16,color="magenta"];687 -> 828[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	687 -> 829[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	688 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.13	688[label="yu311 == yu40011",fontsize=16,color="magenta"];688 -> 830[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	688 -> 831[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	689 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.13	689[label="yu311 == yu40011",fontsize=16,color="magenta"];689 -> 832[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	689 -> 833[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	690 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	690[label="yu311 == yu40011",fontsize=16,color="magenta"];690 -> 834[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	690 -> 835[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	691 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.13	691[label="yu310 == yu40010",fontsize=16,color="magenta"];691 -> 836[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	691 -> 837[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	692 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.13	692[label="yu310 == yu40010",fontsize=16,color="magenta"];692 -> 838[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	692 -> 839[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	693 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.13	693[label="yu310 == yu40010",fontsize=16,color="magenta"];693 -> 840[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	693 -> 841[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	694 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	694[label="yu310 == yu40010",fontsize=16,color="magenta"];694 -> 842[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	694 -> 843[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	695 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	695[label="yu310 == yu40010",fontsize=16,color="magenta"];695 -> 844[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	695 -> 845[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	696 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.13	696[label="yu310 == yu40010",fontsize=16,color="magenta"];696 -> 846[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	696 -> 847[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	697 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.13	697[label="yu310 == yu40010",fontsize=16,color="magenta"];697 -> 848[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	697 -> 849[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	698 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.13	698[label="yu310 == yu40010",fontsize=16,color="magenta"];698 -> 850[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	698 -> 851[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	699 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.13	699[label="yu310 == yu40010",fontsize=16,color="magenta"];699 -> 852[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	699 -> 853[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	700 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.13	700[label="yu310 == yu40010",fontsize=16,color="magenta"];700 -> 854[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	700 -> 855[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	701 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.13	701[label="yu310 == yu40010",fontsize=16,color="magenta"];701 -> 856[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	701 -> 857[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	702 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.13	702[label="yu310 == yu40010",fontsize=16,color="magenta"];702 -> 858[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	702 -> 859[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	703 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.13	703[label="yu310 == yu40010",fontsize=16,color="magenta"];703 -> 860[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	703 -> 861[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	704 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	704[label="yu310 == yu40010",fontsize=16,color="magenta"];704 -> 862[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	704 -> 863[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	705[label="yu311",fontsize=16,color="green",shape="box"];706[label="yu40011",fontsize=16,color="green",shape="box"];707 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.13	707[label="yu310 == yu40010",fontsize=16,color="magenta"];707 -> 864[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	707 -> 865[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	708 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.13	708[label="yu310 == yu40010",fontsize=16,color="magenta"];708 -> 866[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	708 -> 867[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	709 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.13	709[label="yu310 == yu40010",fontsize=16,color="magenta"];709 -> 868[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	709 -> 869[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	710 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	710[label="yu310 == yu40010",fontsize=16,color="magenta"];710 -> 870[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	710 -> 871[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	711 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	711[label="yu310 == yu40010",fontsize=16,color="magenta"];711 -> 872[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	711 -> 873[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	712 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.13	712[label="yu310 == yu40010",fontsize=16,color="magenta"];712 -> 874[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	712 -> 875[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	713 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.13	713[label="yu310 == yu40010",fontsize=16,color="magenta"];713 -> 876[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	713 -> 877[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	714 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.13	714[label="yu310 == yu40010",fontsize=16,color="magenta"];714 -> 878[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	714 -> 879[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	715 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.13	715[label="yu310 == yu40010",fontsize=16,color="magenta"];715 -> 880[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	715 -> 881[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	716 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.13	716[label="yu310 == yu40010",fontsize=16,color="magenta"];716 -> 882[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	716 -> 883[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	717 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.13	717[label="yu310 == yu40010",fontsize=16,color="magenta"];717 -> 884[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	717 -> 885[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	718 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.13	718[label="yu310 == yu40010",fontsize=16,color="magenta"];718 -> 886[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	718 -> 887[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	719 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.13	719[label="yu310 == yu40010",fontsize=16,color="magenta"];719 -> 888[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	719 -> 889[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	720 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	720[label="yu310 == yu40010",fontsize=16,color="magenta"];720 -> 890[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	720 -> 891[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	721[label="primEqNat (Succ yu3100) (Succ yu400100)",fontsize=16,color="black",shape="box"];721 -> 892[label="",style="solid", color="black", weight=3];
13.15/5.13	722[label="primEqNat (Succ yu3100) Zero",fontsize=16,color="black",shape="box"];722 -> 893[label="",style="solid", color="black", weight=3];
13.15/5.13	723[label="primEqNat Zero (Succ yu400100)",fontsize=16,color="black",shape="box"];723 -> 894[label="",style="solid", color="black", weight=3];
13.15/5.13	724[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];724 -> 895[label="",style="solid", color="black", weight=3];
13.15/5.13	725 -> 490[label="",style="dashed", color="red", weight=0];
13.15/5.13	725[label="primEqNat yu3100 yu400100",fontsize=16,color="magenta"];725 -> 896[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	725 -> 897[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	726[label="False",fontsize=16,color="green",shape="box"];727[label="False",fontsize=16,color="green",shape="box"];728[label="True",fontsize=16,color="green",shape="box"];729[label="False",fontsize=16,color="green",shape="box"];730[label="True",fontsize=16,color="green",shape="box"];731 -> 490[label="",style="dashed", color="red", weight=0];
13.15/5.13	731[label="primEqNat yu3100 yu400100",fontsize=16,color="magenta"];731 -> 898[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	731 -> 899[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	732[label="False",fontsize=16,color="green",shape="box"];733[label="False",fontsize=16,color="green",shape="box"];734[label="True",fontsize=16,color="green",shape="box"];735[label="False",fontsize=16,color="green",shape="box"];736[label="True",fontsize=16,color="green",shape="box"];737[label="primMulInt yu310 yu40011",fontsize=16,color="burlywood",shape="box"];1259[label="yu310/Pos yu3100",fontsize=10,color="white",style="solid",shape="box"];737 -> 1259[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1259 -> 900[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1260[label="yu310/Neg yu3100",fontsize=10,color="white",style="solid",shape="box"];737 -> 1260[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1260 -> 901[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	738[label="yu40010",fontsize=16,color="green",shape="box"];739[label="yu311",fontsize=16,color="green",shape="box"];740[label="yu311",fontsize=16,color="green",shape="box"];741[label="yu40011",fontsize=16,color="green",shape="box"];742[label="yu311",fontsize=16,color="green",shape="box"];743[label="yu40011",fontsize=16,color="green",shape="box"];744[label="yu310",fontsize=16,color="green",shape="box"];745[label="yu40010",fontsize=16,color="green",shape="box"];746[label="yu310",fontsize=16,color="green",shape="box"];747[label="yu40010",fontsize=16,color="green",shape="box"];748 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.13	748[label="yu312 == yu40012",fontsize=16,color="magenta"];748 -> 902[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	748 -> 903[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	749 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.13	749[label="yu312 == yu40012",fontsize=16,color="magenta"];749 -> 904[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	749 -> 905[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	750 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.13	750[label="yu312 == yu40012",fontsize=16,color="magenta"];750 -> 906[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	750 -> 907[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	751 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	751[label="yu312 == yu40012",fontsize=16,color="magenta"];751 -> 908[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	751 -> 909[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	752 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	752[label="yu312 == yu40012",fontsize=16,color="magenta"];752 -> 910[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	752 -> 911[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	753 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.13	753[label="yu312 == yu40012",fontsize=16,color="magenta"];753 -> 912[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	753 -> 913[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	754 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.13	754[label="yu312 == yu40012",fontsize=16,color="magenta"];754 -> 914[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	754 -> 915[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	755 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.13	755[label="yu312 == yu40012",fontsize=16,color="magenta"];755 -> 916[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	755 -> 917[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	756 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.13	756[label="yu312 == yu40012",fontsize=16,color="magenta"];756 -> 918[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	756 -> 919[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	757 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.13	757[label="yu312 == yu40012",fontsize=16,color="magenta"];757 -> 920[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	757 -> 921[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	758 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.13	758[label="yu312 == yu40012",fontsize=16,color="magenta"];758 -> 922[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	758 -> 923[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	759 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.13	759[label="yu312 == yu40012",fontsize=16,color="magenta"];759 -> 924[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	759 -> 925[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	760 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.13	760[label="yu312 == yu40012",fontsize=16,color="magenta"];760 -> 926[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	760 -> 927[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	761 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	761[label="yu312 == yu40012",fontsize=16,color="magenta"];761 -> 928[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	761 -> 929[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	762 -> 338[label="",style="dashed", color="red", weight=0];
13.15/5.13	762[label="yu311 == yu40011",fontsize=16,color="magenta"];762 -> 930[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	762 -> 931[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	763 -> 339[label="",style="dashed", color="red", weight=0];
13.15/5.13	763[label="yu311 == yu40011",fontsize=16,color="magenta"];763 -> 932[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	763 -> 933[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	764 -> 340[label="",style="dashed", color="red", weight=0];
13.15/5.13	764[label="yu311 == yu40011",fontsize=16,color="magenta"];764 -> 934[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	764 -> 935[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	765 -> 341[label="",style="dashed", color="red", weight=0];
13.15/5.13	765[label="yu311 == yu40011",fontsize=16,color="magenta"];765 -> 936[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	765 -> 937[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	766 -> 342[label="",style="dashed", color="red", weight=0];
13.15/5.13	766[label="yu311 == yu40011",fontsize=16,color="magenta"];766 -> 938[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	766 -> 939[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	767 -> 343[label="",style="dashed", color="red", weight=0];
13.15/5.13	767[label="yu311 == yu40011",fontsize=16,color="magenta"];767 -> 940[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	767 -> 941[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	768 -> 344[label="",style="dashed", color="red", weight=0];
13.15/5.13	768[label="yu311 == yu40011",fontsize=16,color="magenta"];768 -> 942[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	768 -> 943[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	769 -> 345[label="",style="dashed", color="red", weight=0];
13.15/5.13	769[label="yu311 == yu40011",fontsize=16,color="magenta"];769 -> 944[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	769 -> 945[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	770 -> 346[label="",style="dashed", color="red", weight=0];
13.15/5.13	770[label="yu311 == yu40011",fontsize=16,color="magenta"];770 -> 946[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	770 -> 947[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	771 -> 347[label="",style="dashed", color="red", weight=0];
13.15/5.13	771[label="yu311 == yu40011",fontsize=16,color="magenta"];771 -> 948[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	771 -> 949[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	772 -> 348[label="",style="dashed", color="red", weight=0];
13.15/5.13	772[label="yu311 == yu40011",fontsize=16,color="magenta"];772 -> 950[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	772 -> 951[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	773 -> 349[label="",style="dashed", color="red", weight=0];
13.15/5.13	773[label="yu311 == yu40011",fontsize=16,color="magenta"];773 -> 952[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	773 -> 953[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	774 -> 350[label="",style="dashed", color="red", weight=0];
13.15/5.13	774[label="yu311 == yu40011",fontsize=16,color="magenta"];774 -> 954[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	774 -> 955[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	775 -> 351[label="",style="dashed", color="red", weight=0];
13.15/5.13	775[label="yu311 == yu40011",fontsize=16,color="magenta"];775 -> 956[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	775 -> 957[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	776[label="yu310",fontsize=16,color="green",shape="box"];777[label="yu40010",fontsize=16,color="green",shape="box"];778[label="yu310",fontsize=16,color="green",shape="box"];779[label="yu40010",fontsize=16,color="green",shape="box"];780[label="yu310",fontsize=16,color="green",shape="box"];781[label="yu40010",fontsize=16,color="green",shape="box"];782[label="yu310",fontsize=16,color="green",shape="box"];783[label="yu40010",fontsize=16,color="green",shape="box"];784[label="yu310",fontsize=16,color="green",shape="box"];785[label="yu40010",fontsize=16,color="green",shape="box"];786[label="yu310",fontsize=16,color="green",shape="box"];787[label="yu40010",fontsize=16,color="green",shape="box"];788[label="yu310",fontsize=16,color="green",shape="box"];789[label="yu40010",fontsize=16,color="green",shape="box"];790[label="yu310",fontsize=16,color="green",shape="box"];791[label="yu40010",fontsize=16,color="green",shape="box"];792[label="yu310",fontsize=16,color="green",shape="box"];793[label="yu40010",fontsize=16,color="green",shape="box"];794[label="yu310",fontsize=16,color="green",shape="box"];795[label="yu40010",fontsize=16,color="green",shape="box"];796[label="yu310",fontsize=16,color="green",shape="box"];797[label="yu40010",fontsize=16,color="green",shape="box"];798[label="yu310",fontsize=16,color="green",shape="box"];799[label="yu40010",fontsize=16,color="green",shape="box"];800[label="yu310",fontsize=16,color="green",shape="box"];801[label="yu40010",fontsize=16,color="green",shape="box"];802[label="yu310",fontsize=16,color="green",shape="box"];803[label="yu40010",fontsize=16,color="green",shape="box"];804[label="yu40011",fontsize=16,color="green",shape="box"];805[label="yu310",fontsize=16,color="green",shape="box"];806[label="yu40010",fontsize=16,color="green",shape="box"];807[label="yu311",fontsize=16,color="green",shape="box"];808[label="yu311",fontsize=16,color="green",shape="box"];809[label="yu40011",fontsize=16,color="green",shape="box"];810[label="yu311",fontsize=16,color="green",shape="box"];811[label="yu40011",fontsize=16,color="green",shape="box"];812[label="yu311",fontsize=16,color="green",shape="box"];813[label="yu40011",fontsize=16,color="green",shape="box"];814[label="yu311",fontsize=16,color="green",shape="box"];815[label="yu40011",fontsize=16,color="green",shape="box"];816[label="yu311",fontsize=16,color="green",shape="box"];817[label="yu40011",fontsize=16,color="green",shape="box"];818[label="yu311",fontsize=16,color="green",shape="box"];819[label="yu40011",fontsize=16,color="green",shape="box"];820[label="yu311",fontsize=16,color="green",shape="box"];821[label="yu40011",fontsize=16,color="green",shape="box"];822[label="yu311",fontsize=16,color="green",shape="box"];823[label="yu40011",fontsize=16,color="green",shape="box"];824[label="yu311",fontsize=16,color="green",shape="box"];825[label="yu40011",fontsize=16,color="green",shape="box"];826[label="yu311",fontsize=16,color="green",shape="box"];827[label="yu40011",fontsize=16,color="green",shape="box"];828[label="yu311",fontsize=16,color="green",shape="box"];829[label="yu40011",fontsize=16,color="green",shape="box"];830[label="yu311",fontsize=16,color="green",shape="box"];831[label="yu40011",fontsize=16,color="green",shape="box"];832[label="yu311",fontsize=16,color="green",shape="box"];833[label="yu40011",fontsize=16,color="green",shape="box"];834[label="yu311",fontsize=16,color="green",shape="box"];835[label="yu40011",fontsize=16,color="green",shape="box"];836[label="yu310",fontsize=16,color="green",shape="box"];837[label="yu40010",fontsize=16,color="green",shape="box"];838[label="yu310",fontsize=16,color="green",shape="box"];839[label="yu40010",fontsize=16,color="green",shape="box"];840[label="yu310",fontsize=16,color="green",shape="box"];841[label="yu40010",fontsize=16,color="green",shape="box"];842[label="yu310",fontsize=16,color="green",shape="box"];843[label="yu40010",fontsize=16,color="green",shape="box"];844[label="yu310",fontsize=16,color="green",shape="box"];845[label="yu40010",fontsize=16,color="green",shape="box"];846[label="yu310",fontsize=16,color="green",shape="box"];847[label="yu40010",fontsize=16,color="green",shape="box"];848[label="yu310",fontsize=16,color="green",shape="box"];849[label="yu40010",fontsize=16,color="green",shape="box"];850[label="yu310",fontsize=16,color="green",shape="box"];851[label="yu40010",fontsize=16,color="green",shape="box"];852[label="yu310",fontsize=16,color="green",shape="box"];853[label="yu40010",fontsize=16,color="green",shape="box"];854[label="yu310",fontsize=16,color="green",shape="box"];855[label="yu40010",fontsize=16,color="green",shape="box"];856[label="yu310",fontsize=16,color="green",shape="box"];857[label="yu40010",fontsize=16,color="green",shape="box"];858[label="yu310",fontsize=16,color="green",shape="box"];859[label="yu40010",fontsize=16,color="green",shape="box"];860[label="yu310",fontsize=16,color="green",shape="box"];861[label="yu40010",fontsize=16,color="green",shape="box"];862[label="yu310",fontsize=16,color="green",shape="box"];863[label="yu40010",fontsize=16,color="green",shape="box"];864[label="yu310",fontsize=16,color="green",shape="box"];865[label="yu40010",fontsize=16,color="green",shape="box"];866[label="yu310",fontsize=16,color="green",shape="box"];867[label="yu40010",fontsize=16,color="green",shape="box"];868[label="yu310",fontsize=16,color="green",shape="box"];869[label="yu40010",fontsize=16,color="green",shape="box"];870[label="yu310",fontsize=16,color="green",shape="box"];871[label="yu40010",fontsize=16,color="green",shape="box"];872[label="yu310",fontsize=16,color="green",shape="box"];873[label="yu40010",fontsize=16,color="green",shape="box"];874[label="yu310",fontsize=16,color="green",shape="box"];875[label="yu40010",fontsize=16,color="green",shape="box"];876[label="yu310",fontsize=16,color="green",shape="box"];877[label="yu40010",fontsize=16,color="green",shape="box"];878[label="yu310",fontsize=16,color="green",shape="box"];879[label="yu40010",fontsize=16,color="green",shape="box"];880[label="yu310",fontsize=16,color="green",shape="box"];881[label="yu40010",fontsize=16,color="green",shape="box"];882[label="yu310",fontsize=16,color="green",shape="box"];883[label="yu40010",fontsize=16,color="green",shape="box"];884[label="yu310",fontsize=16,color="green",shape="box"];885[label="yu40010",fontsize=16,color="green",shape="box"];886[label="yu310",fontsize=16,color="green",shape="box"];887[label="yu40010",fontsize=16,color="green",shape="box"];888[label="yu310",fontsize=16,color="green",shape="box"];889[label="yu40010",fontsize=16,color="green",shape="box"];890[label="yu310",fontsize=16,color="green",shape="box"];891[label="yu40010",fontsize=16,color="green",shape="box"];892 -> 490[label="",style="dashed", color="red", weight=0];
13.15/5.13	892[label="primEqNat yu3100 yu400100",fontsize=16,color="magenta"];892 -> 958[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	892 -> 959[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	893[label="False",fontsize=16,color="green",shape="box"];894[label="False",fontsize=16,color="green",shape="box"];895[label="True",fontsize=16,color="green",shape="box"];896[label="yu400100",fontsize=16,color="green",shape="box"];897[label="yu3100",fontsize=16,color="green",shape="box"];898[label="yu400100",fontsize=16,color="green",shape="box"];899[label="yu3100",fontsize=16,color="green",shape="box"];900[label="primMulInt (Pos yu3100) yu40011",fontsize=16,color="burlywood",shape="box"];1261[label="yu40011/Pos yu400110",fontsize=10,color="white",style="solid",shape="box"];900 -> 1261[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1261 -> 960[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1262[label="yu40011/Neg yu400110",fontsize=10,color="white",style="solid",shape="box"];900 -> 1262[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1262 -> 961[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	901[label="primMulInt (Neg yu3100) yu40011",fontsize=16,color="burlywood",shape="box"];1263[label="yu40011/Pos yu400110",fontsize=10,color="white",style="solid",shape="box"];901 -> 1263[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1263 -> 962[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1264[label="yu40011/Neg yu400110",fontsize=10,color="white",style="solid",shape="box"];901 -> 1264[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1264 -> 963[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	902[label="yu312",fontsize=16,color="green",shape="box"];903[label="yu40012",fontsize=16,color="green",shape="box"];904[label="yu312",fontsize=16,color="green",shape="box"];905[label="yu40012",fontsize=16,color="green",shape="box"];906[label="yu312",fontsize=16,color="green",shape="box"];907[label="yu40012",fontsize=16,color="green",shape="box"];908[label="yu312",fontsize=16,color="green",shape="box"];909[label="yu40012",fontsize=16,color="green",shape="box"];910[label="yu312",fontsize=16,color="green",shape="box"];911[label="yu40012",fontsize=16,color="green",shape="box"];912[label="yu312",fontsize=16,color="green",shape="box"];913[label="yu40012",fontsize=16,color="green",shape="box"];914[label="yu312",fontsize=16,color="green",shape="box"];915[label="yu40012",fontsize=16,color="green",shape="box"];916[label="yu312",fontsize=16,color="green",shape="box"];917[label="yu40012",fontsize=16,color="green",shape="box"];918[label="yu312",fontsize=16,color="green",shape="box"];919[label="yu40012",fontsize=16,color="green",shape="box"];920[label="yu312",fontsize=16,color="green",shape="box"];921[label="yu40012",fontsize=16,color="green",shape="box"];922[label="yu312",fontsize=16,color="green",shape="box"];923[label="yu40012",fontsize=16,color="green",shape="box"];924[label="yu312",fontsize=16,color="green",shape="box"];925[label="yu40012",fontsize=16,color="green",shape="box"];926[label="yu312",fontsize=16,color="green",shape="box"];927[label="yu40012",fontsize=16,color="green",shape="box"];928[label="yu312",fontsize=16,color="green",shape="box"];929[label="yu40012",fontsize=16,color="green",shape="box"];930[label="yu311",fontsize=16,color="green",shape="box"];931[label="yu40011",fontsize=16,color="green",shape="box"];932[label="yu311",fontsize=16,color="green",shape="box"];933[label="yu40011",fontsize=16,color="green",shape="box"];934[label="yu311",fontsize=16,color="green",shape="box"];935[label="yu40011",fontsize=16,color="green",shape="box"];936[label="yu311",fontsize=16,color="green",shape="box"];937[label="yu40011",fontsize=16,color="green",shape="box"];938[label="yu311",fontsize=16,color="green",shape="box"];939[label="yu40011",fontsize=16,color="green",shape="box"];940[label="yu311",fontsize=16,color="green",shape="box"];941[label="yu40011",fontsize=16,color="green",shape="box"];942[label="yu311",fontsize=16,color="green",shape="box"];943[label="yu40011",fontsize=16,color="green",shape="box"];944[label="yu311",fontsize=16,color="green",shape="box"];945[label="yu40011",fontsize=16,color="green",shape="box"];946[label="yu311",fontsize=16,color="green",shape="box"];947[label="yu40011",fontsize=16,color="green",shape="box"];948[label="yu311",fontsize=16,color="green",shape="box"];949[label="yu40011",fontsize=16,color="green",shape="box"];950[label="yu311",fontsize=16,color="green",shape="box"];951[label="yu40011",fontsize=16,color="green",shape="box"];952[label="yu311",fontsize=16,color="green",shape="box"];953[label="yu40011",fontsize=16,color="green",shape="box"];954[label="yu311",fontsize=16,color="green",shape="box"];955[label="yu40011",fontsize=16,color="green",shape="box"];956[label="yu311",fontsize=16,color="green",shape="box"];957[label="yu40011",fontsize=16,color="green",shape="box"];958[label="yu400100",fontsize=16,color="green",shape="box"];959[label="yu3100",fontsize=16,color="green",shape="box"];960[label="primMulInt (Pos yu3100) (Pos yu400110)",fontsize=16,color="black",shape="box"];960 -> 964[label="",style="solid", color="black", weight=3];
13.15/5.13	961[label="primMulInt (Pos yu3100) (Neg yu400110)",fontsize=16,color="black",shape="box"];961 -> 965[label="",style="solid", color="black", weight=3];
13.15/5.13	962[label="primMulInt (Neg yu3100) (Pos yu400110)",fontsize=16,color="black",shape="box"];962 -> 966[label="",style="solid", color="black", weight=3];
13.15/5.13	963[label="primMulInt (Neg yu3100) (Neg yu400110)",fontsize=16,color="black",shape="box"];963 -> 967[label="",style="solid", color="black", weight=3];
13.15/5.13	964[label="Pos (primMulNat yu3100 yu400110)",fontsize=16,color="green",shape="box"];964 -> 968[label="",style="dashed", color="green", weight=3];
13.15/5.13	965[label="Neg (primMulNat yu3100 yu400110)",fontsize=16,color="green",shape="box"];965 -> 969[label="",style="dashed", color="green", weight=3];
13.15/5.13	966[label="Neg (primMulNat yu3100 yu400110)",fontsize=16,color="green",shape="box"];966 -> 970[label="",style="dashed", color="green", weight=3];
13.15/5.13	967[label="Pos (primMulNat yu3100 yu400110)",fontsize=16,color="green",shape="box"];967 -> 971[label="",style="dashed", color="green", weight=3];
13.15/5.13	968[label="primMulNat yu3100 yu400110",fontsize=16,color="burlywood",shape="triangle"];1265[label="yu3100/Succ yu31000",fontsize=10,color="white",style="solid",shape="box"];968 -> 1265[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1265 -> 972[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1266[label="yu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];968 -> 1266[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1266 -> 973[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	969 -> 968[label="",style="dashed", color="red", weight=0];
13.15/5.13	969[label="primMulNat yu3100 yu400110",fontsize=16,color="magenta"];969 -> 974[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	970 -> 968[label="",style="dashed", color="red", weight=0];
13.15/5.13	970[label="primMulNat yu3100 yu400110",fontsize=16,color="magenta"];970 -> 975[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	971 -> 968[label="",style="dashed", color="red", weight=0];
13.15/5.13	971[label="primMulNat yu3100 yu400110",fontsize=16,color="magenta"];971 -> 976[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	971 -> 977[label="",style="dashed", color="magenta", weight=3];
13.15/5.13	972[label="primMulNat (Succ yu31000) yu400110",fontsize=16,color="burlywood",shape="box"];1267[label="yu400110/Succ yu4001100",fontsize=10,color="white",style="solid",shape="box"];972 -> 1267[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1267 -> 978[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1268[label="yu400110/Zero",fontsize=10,color="white",style="solid",shape="box"];972 -> 1268[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1268 -> 979[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	973[label="primMulNat Zero yu400110",fontsize=16,color="burlywood",shape="box"];1269[label="yu400110/Succ yu4001100",fontsize=10,color="white",style="solid",shape="box"];973 -> 1269[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1269 -> 980[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	1270[label="yu400110/Zero",fontsize=10,color="white",style="solid",shape="box"];973 -> 1270[label="",style="solid", color="burlywood", weight=9];
13.15/5.13	1270 -> 981[label="",style="solid", color="burlywood", weight=3];
13.15/5.13	974[label="yu400110",fontsize=16,color="green",shape="box"];975[label="yu3100",fontsize=16,color="green",shape="box"];976[label="yu3100",fontsize=16,color="green",shape="box"];977[label="yu400110",fontsize=16,color="green",shape="box"];978[label="primMulNat (Succ yu31000) (Succ yu4001100)",fontsize=16,color="black",shape="box"];978 -> 982[label="",style="solid", color="black", weight=3];
13.15/5.13	979[label="primMulNat (Succ yu31000) Zero",fontsize=16,color="black",shape="box"];979 -> 983[label="",style="solid", color="black", weight=3];
13.15/5.13	980[label="primMulNat Zero (Succ yu4001100)",fontsize=16,color="black",shape="box"];980 -> 984[label="",style="solid", color="black", weight=3];
13.52/5.13	981[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];981 -> 985[label="",style="solid", color="black", weight=3];
13.52/5.13	982 -> 986[label="",style="dashed", color="red", weight=0];
13.52/5.13	982[label="primPlusNat (primMulNat yu31000 (Succ yu4001100)) (Succ yu4001100)",fontsize=16,color="magenta"];982 -> 987[label="",style="dashed", color="magenta", weight=3];
13.52/5.13	983[label="Zero",fontsize=16,color="green",shape="box"];984[label="Zero",fontsize=16,color="green",shape="box"];985[label="Zero",fontsize=16,color="green",shape="box"];987 -> 968[label="",style="dashed", color="red", weight=0];
13.52/5.13	987[label="primMulNat yu31000 (Succ yu4001100)",fontsize=16,color="magenta"];987 -> 988[label="",style="dashed", color="magenta", weight=3];
13.52/5.13	987 -> 989[label="",style="dashed", color="magenta", weight=3];
13.52/5.13	986[label="primPlusNat yu48 (Succ yu4001100)",fontsize=16,color="burlywood",shape="triangle"];1271[label="yu48/Succ yu480",fontsize=10,color="white",style="solid",shape="box"];986 -> 1271[label="",style="solid", color="burlywood", weight=9];
13.52/5.13	1271 -> 990[label="",style="solid", color="burlywood", weight=3];
13.52/5.13	1272[label="yu48/Zero",fontsize=10,color="white",style="solid",shape="box"];986 -> 1272[label="",style="solid", color="burlywood", weight=9];
13.52/5.13	1272 -> 991[label="",style="solid", color="burlywood", weight=3];
13.52/5.13	988[label="yu31000",fontsize=16,color="green",shape="box"];989[label="Succ yu4001100",fontsize=16,color="green",shape="box"];990[label="primPlusNat (Succ yu480) (Succ yu4001100)",fontsize=16,color="black",shape="box"];990 -> 992[label="",style="solid", color="black", weight=3];
13.52/5.13	991[label="primPlusNat Zero (Succ yu4001100)",fontsize=16,color="black",shape="box"];991 -> 993[label="",style="solid", color="black", weight=3];
13.52/5.13	992[label="Succ (Succ (primPlusNat yu480 yu4001100))",fontsize=16,color="green",shape="box"];992 -> 994[label="",style="dashed", color="green", weight=3];
13.52/5.13	993[label="Succ yu4001100",fontsize=16,color="green",shape="box"];994[label="primPlusNat yu480 yu4001100",fontsize=16,color="burlywood",shape="triangle"];1273[label="yu480/Succ yu4800",fontsize=10,color="white",style="solid",shape="box"];994 -> 1273[label="",style="solid", color="burlywood", weight=9];
13.52/5.13	1273 -> 995[label="",style="solid", color="burlywood", weight=3];
13.52/5.13	1274[label="yu480/Zero",fontsize=10,color="white",style="solid",shape="box"];994 -> 1274[label="",style="solid", color="burlywood", weight=9];
13.52/5.13	1274 -> 996[label="",style="solid", color="burlywood", weight=3];
13.52/5.13	995[label="primPlusNat (Succ yu4800) yu4001100",fontsize=16,color="burlywood",shape="box"];1275[label="yu4001100/Succ yu40011000",fontsize=10,color="white",style="solid",shape="box"];995 -> 1275[label="",style="solid", color="burlywood", weight=9];
13.52/5.13	1275 -> 997[label="",style="solid", color="burlywood", weight=3];
13.52/5.13	1276[label="yu4001100/Zero",fontsize=10,color="white",style="solid",shape="box"];995 -> 1276[label="",style="solid", color="burlywood", weight=9];
13.52/5.13	1276 -> 998[label="",style="solid", color="burlywood", weight=3];
13.52/5.13	996[label="primPlusNat Zero yu4001100",fontsize=16,color="burlywood",shape="box"];1277[label="yu4001100/Succ yu40011000",fontsize=10,color="white",style="solid",shape="box"];996 -> 1277[label="",style="solid", color="burlywood", weight=9];
13.52/5.13	1277 -> 999[label="",style="solid", color="burlywood", weight=3];
13.52/5.13	1278[label="yu4001100/Zero",fontsize=10,color="white",style="solid",shape="box"];996 -> 1278[label="",style="solid", color="burlywood", weight=9];
13.52/5.13	1278 -> 1000[label="",style="solid", color="burlywood", weight=3];
13.52/5.13	997[label="primPlusNat (Succ yu4800) (Succ yu40011000)",fontsize=16,color="black",shape="box"];997 -> 1001[label="",style="solid", color="black", weight=3];
13.52/5.13	998[label="primPlusNat (Succ yu4800) Zero",fontsize=16,color="black",shape="box"];998 -> 1002[label="",style="solid", color="black", weight=3];
13.52/5.13	999[label="primPlusNat Zero (Succ yu40011000)",fontsize=16,color="black",shape="box"];999 -> 1003[label="",style="solid", color="black", weight=3];
13.52/5.13	1000[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1000 -> 1004[label="",style="solid", color="black", weight=3];
13.52/5.13	1001[label="Succ (Succ (primPlusNat yu4800 yu40011000))",fontsize=16,color="green",shape="box"];1001 -> 1005[label="",style="dashed", color="green", weight=3];
13.52/5.13	1002[label="Succ yu4800",fontsize=16,color="green",shape="box"];1003[label="Succ yu40011000",fontsize=16,color="green",shape="box"];1004[label="Zero",fontsize=16,color="green",shape="box"];1005 -> 994[label="",style="dashed", color="red", weight=0];
13.52/5.13	1005[label="primPlusNat yu4800 yu40011000",fontsize=16,color="magenta"];1005 -> 1006[label="",style="dashed", color="magenta", weight=3];
13.52/5.13	1005 -> 1007[label="",style="dashed", color="magenta", weight=3];
13.52/5.13	1006[label="yu4800",fontsize=16,color="green",shape="box"];1007[label="yu40011000",fontsize=16,color="green",shape="box"];}
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(6)
13.52/5.13	Complex Obligation (AND)
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(7)
13.52/5.13	Obligation:
13.52/5.13	Q DP problem:
13.52/5.13	The TRS P consists of the following rules:
13.52/5.13	
13.52/5.13	   new_lookup1(yu28, yu29, yu30, yu31, yu32, yu33, False, h, ba, bb) -> new_lookup(@2(yu28, yu29), yu33, h, ba, bb)
13.52/5.13	   new_lookup(@2(yu30, yu31), :(@2(@2(yu4000, yu4001), yu401), yu41), bc, bd, be) -> new_lookup1(yu30, yu31, yu4000, yu4001, yu401, yu41, new_asAs(new_esEs5(yu30, yu4000, bd), new_esEs4(yu31, yu4001, be)), bc, bd, be)
13.52/5.13	
13.52/5.13	The TRS R consists of the following rules:
13.52/5.13	
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), app(ty_Maybe, cc), bf) -> new_esEs16(yu310, yu40010, cc)
13.52/5.13	   new_primEqInt(Pos(Zero), Pos(Zero)) -> True
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), app(app(app(ty_@3, bh), ca), cb), bf) -> new_esEs15(yu310, yu40010, bh, ca, cb)
13.52/5.13	   new_esEs20(yu312, yu40012, ty_@0) -> new_esEs8(yu312, yu40012)
13.52/5.13	   new_esEs26(yu311, yu40011, app(app(ty_Either, bfg), bfh)) -> new_esEs7(yu311, yu40011, bfg, bfh)
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, ty_Double) -> new_esEs17(yu310, yu40010)
13.52/5.13	   new_esEs26(yu311, yu40011, ty_Double) -> new_esEs17(yu311, yu40011)
13.52/5.13	   new_esEs17(Double(yu310, yu311), Double(yu40010, yu40011)) -> new_esEs10(new_sr(yu310, yu40011), new_sr(yu311, yu40010))
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), app(ty_[], bcb)) -> new_esEs19(yu310, yu40010, bcb)
13.52/5.13	   new_esEs26(yu311, yu40011, app(app(app(ty_@3, bfc), bfd), bfe)) -> new_esEs15(yu311, yu40011, bfc, bfd, bfe)
13.52/5.13	   new_esEs25(yu310, yu40010, ty_Char) -> new_esEs9(yu310, yu40010)
13.52/5.13	   new_esEs25(yu310, yu40010, ty_Ordering) -> new_esEs13(yu310, yu40010)
13.52/5.13	   new_esEs18(@2(yu310, yu311), @2(yu40010, yu40011), bcc, bcd) -> new_asAs(new_esEs27(yu310, yu40010, bcc), new_esEs26(yu311, yu40011, bcd))
13.52/5.13	   new_esEs22(yu310, yu40010, ty_Integer) -> new_esEs11(yu310, yu40010)
13.52/5.13	   new_esEs6(False, True) -> False
13.52/5.13	   new_esEs6(True, False) -> False
13.52/5.13	   new_esEs27(yu310, yu40010, ty_Char) -> new_esEs9(yu310, yu40010)
13.52/5.13	   new_esEs19(:(yu310, yu311), [], bce) -> False
13.52/5.13	   new_esEs19([], :(yu40010, yu40011), bce) -> False
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), ty_Integer) -> new_esEs11(yu310, yu40010)
13.52/5.13	   new_esEs20(yu312, yu40012, ty_Bool) -> new_esEs6(yu312, yu40012)
13.52/5.13	   new_esEs4(yu31, yu4001, app(ty_Ratio, bag)) -> new_esEs14(yu31, yu4001, bag)
13.52/5.13	   new_esEs5(yu30, yu4000, app(app(ty_Either, bdc), bdd)) -> new_esEs7(yu30, yu4000, bdc, bdd)
13.52/5.13	   new_esEs21(yu311, yu40011, app(ty_Ratio, gc)) -> new_esEs14(yu311, yu40011, gc)
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, app(ty_Maybe, dg)) -> new_esEs16(yu310, yu40010, dg)
13.52/5.13	   new_esEs20(yu312, yu40012, app(ty_Maybe, fd)) -> new_esEs16(yu312, yu40012, fd)
13.52/5.13	   new_esEs19(:(yu310, yu311), :(yu40010, yu40011), bce) -> new_asAs(new_esEs25(yu310, yu40010, bce), new_esEs19(yu311, yu40011, bce))
13.52/5.13	   new_esEs22(yu310, yu40010, app(ty_Maybe, baa)) -> new_esEs16(yu310, yu40010, baa)
13.52/5.13	   new_esEs27(yu310, yu40010, ty_@0) -> new_esEs8(yu310, yu40010)
13.52/5.13	   new_esEs27(yu310, yu40010, ty_Ordering) -> new_esEs13(yu310, yu40010)
13.52/5.13	   new_esEs5(yu30, yu4000, app(app(app(ty_@3, bcg), bch), bda)) -> new_esEs15(yu30, yu4000, bcg, bch, bda)
13.52/5.13	   new_asAs(True, yu47) -> yu47
13.52/5.13	   new_esEs25(yu310, yu40010, app(ty_Ratio, bdh)) -> new_esEs14(yu310, yu40010, bdh)
13.52/5.13	   new_esEs5(yu30, yu4000, app(ty_[], bdg)) -> new_esEs19(yu30, yu4000, bdg)
13.52/5.13	   new_esEs26(yu311, yu40011, app(app(ty_@2, bga), bgb)) -> new_esEs18(yu311, yu40011, bga, bgb)
13.52/5.13	   new_esEs22(yu310, yu40010, ty_@0) -> new_esEs8(yu310, yu40010)
13.52/5.13	   new_primEqInt(Pos(Succ(yu3100)), Pos(Zero)) -> False
13.52/5.13	   new_primEqInt(Pos(Zero), Pos(Succ(yu400100))) -> False
13.52/5.13	   new_esEs24(yu310, yu40010, ty_Integer) -> new_esEs11(yu310, yu40010)
13.52/5.13	   new_esEs5(yu30, yu4000, ty_Integer) -> new_esEs11(yu30, yu4000)
13.52/5.13	   new_esEs27(yu310, yu40010, app(ty_Maybe, bgh)) -> new_esEs16(yu310, yu40010, bgh)
13.52/5.13	   new_esEs5(yu30, yu4000, app(app(ty_@2, bde), bdf)) -> new_esEs18(yu30, yu4000, bde, bdf)
13.52/5.13	   new_esEs21(yu311, yu40011, app(app(app(ty_@3, gd), ge), gf)) -> new_esEs15(yu311, yu40011, gd, ge, gf)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), ty_Bool) -> new_esEs6(yu310, yu40010)
13.52/5.13	   new_primEqNat0(Succ(yu3100), Succ(yu400100)) -> new_primEqNat0(yu3100, yu400100)
13.52/5.13	   new_esEs21(yu311, yu40011, ty_Ordering) -> new_esEs13(yu311, yu40011)
13.52/5.13	   new_esEs26(yu311, yu40011, app(ty_[], bgc)) -> new_esEs19(yu311, yu40011, bgc)
13.52/5.13	   new_esEs5(yu30, yu4000, ty_Bool) -> new_esEs6(yu30, yu4000)
13.52/5.13	   new_esEs21(yu311, yu40011, ty_Int) -> new_esEs10(yu311, yu40011)
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), ty_Bool, bf) -> new_esEs6(yu310, yu40010)
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, ty_Int) -> new_esEs10(yu310, yu40010)
13.52/5.13	   new_esEs21(yu311, yu40011, ty_Char) -> new_esEs9(yu311, yu40011)
13.52/5.13	   new_esEs4(yu31, yu4001, ty_Float) -> new_esEs12(yu31, yu4001)
13.52/5.13	   new_esEs22(yu310, yu40010, ty_Double) -> new_esEs17(yu310, yu40010)
13.52/5.13	   new_esEs21(yu311, yu40011, app(app(ty_Either, gh), ha)) -> new_esEs7(yu311, yu40011, gh, ha)
13.52/5.13	   new_primMulNat0(Zero, Zero) -> Zero
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), app(app(app(ty_@3, bbb), bbc), bbd)) -> new_esEs15(yu310, yu40010, bbb, bbc, bbd)
13.52/5.13	   new_esEs5(yu30, yu4000, ty_@0) -> new_esEs8(yu30, yu4000)
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), app(app(ty_@2, cf), cg), bf) -> new_esEs18(yu310, yu40010, cf, cg)
13.52/5.13	   new_esEs25(yu310, yu40010, ty_Bool) -> new_esEs6(yu310, yu40010)
13.52/5.13	   new_esEs20(yu312, yu40012, app(app(ty_Either, ff), fg)) -> new_esEs7(yu312, yu40012, ff, fg)
13.52/5.13	   new_esEs16(Nothing, Just(yu40010), bah) -> False
13.52/5.13	   new_esEs16(Just(yu310), Nothing, bah) -> False
13.52/5.13	   new_esEs5(yu30, yu4000, ty_Int) -> new_esEs10(yu30, yu4000)
13.52/5.13	   new_esEs25(yu310, yu40010, app(ty_Maybe, bed)) -> new_esEs16(yu310, yu40010, bed)
13.52/5.13	   new_esEs22(yu310, yu40010, app(app(ty_Either, bab), bac)) -> new_esEs7(yu310, yu40010, bab, bac)
13.52/5.13	   new_esEs4(yu31, yu4001, ty_@0) -> new_esEs8(yu31, yu4001)
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), ty_Float, bf) -> new_esEs12(yu310, yu40010)
13.52/5.13	   new_esEs27(yu310, yu40010, ty_Integer) -> new_esEs11(yu310, yu40010)
13.52/5.13	   new_esEs8(@0, @0) -> True
13.52/5.13	   new_primEqNat0(Succ(yu3100), Zero) -> False
13.52/5.13	   new_primEqNat0(Zero, Succ(yu400100)) -> False
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), app(app(ty_Either, bbf), bbg)) -> new_esEs7(yu310, yu40010, bbf, bbg)
13.52/5.13	   new_esEs22(yu310, yu40010, ty_Float) -> new_esEs12(yu310, yu40010)
13.52/5.13	   new_esEs27(yu310, yu40010, app(ty_[], bhe)) -> new_esEs19(yu310, yu40010, bhe)
13.52/5.13	   new_esEs27(yu310, yu40010, ty_Int) -> new_esEs10(yu310, yu40010)
13.52/5.13	   new_esEs4(yu31, yu4001, ty_Double) -> new_esEs17(yu31, yu4001)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), ty_Float) -> new_esEs12(yu310, yu40010)
13.52/5.13	   new_esEs25(yu310, yu40010, app(app(ty_@2, beg), beh)) -> new_esEs18(yu310, yu40010, beg, beh)
13.52/5.13	   new_esEs26(yu311, yu40011, ty_Float) -> new_esEs12(yu311, yu40011)
13.52/5.13	   new_esEs12(Float(yu310, yu311), Float(yu40010, yu40011)) -> new_esEs10(new_sr(yu310, yu40011), new_sr(yu311, yu40010))
13.52/5.13	   new_esEs4(yu31, yu4001, ty_Integer) -> new_esEs11(yu31, yu4001)
13.52/5.13	   new_esEs13(LT, LT) -> True
13.52/5.13	   new_esEs23(yu311, yu40011, ty_Int) -> new_esEs10(yu311, yu40011)
13.52/5.13	   new_esEs4(yu31, yu4001, ty_Char) -> new_esEs9(yu31, yu4001)
13.52/5.13	   new_esEs22(yu310, yu40010, ty_Ordering) -> new_esEs13(yu310, yu40010)
13.52/5.13	   new_primEqInt(Neg(Succ(yu3100)), Neg(Zero)) -> False
13.52/5.13	   new_primEqInt(Neg(Zero), Neg(Succ(yu400100))) -> False
13.52/5.13	   new_esEs11(Integer(yu310), Integer(yu40010)) -> new_primEqInt(yu310, yu40010)
13.52/5.13	   new_esEs21(yu311, yu40011, ty_Float) -> new_esEs12(yu311, yu40011)
13.52/5.13	   new_primEqInt(Pos(Succ(yu3100)), Pos(Succ(yu400100))) -> new_primEqNat0(yu3100, yu400100)
13.52/5.13	   new_esEs21(yu311, yu40011, app(ty_Maybe, gg)) -> new_esEs16(yu311, yu40011, gg)
13.52/5.13	   new_esEs22(yu310, yu40010, ty_Int) -> new_esEs10(yu310, yu40010)
13.52/5.13	   new_esEs20(yu312, yu40012, app(app(app(ty_@3, fa), fb), fc)) -> new_esEs15(yu312, yu40012, fa, fb, fc)
13.52/5.13	   new_esEs5(yu30, yu4000, ty_Double) -> new_esEs17(yu30, yu4000)
13.52/5.13	   new_esEs27(yu310, yu40010, ty_Float) -> new_esEs12(yu310, yu40010)
13.52/5.13	   new_sr(Pos(yu3100), Neg(yu400110)) -> Neg(new_primMulNat0(yu3100, yu400110))
13.52/5.13	   new_sr(Neg(yu3100), Pos(yu400110)) -> Neg(new_primMulNat0(yu3100, yu400110))
13.52/5.13	   new_esEs22(yu310, yu40010, app(ty_[], baf)) -> new_esEs19(yu310, yu40010, baf)
13.52/5.13	   new_esEs4(yu31, yu4001, app(ty_[], bce)) -> new_esEs19(yu31, yu4001, bce)
13.52/5.13	   new_primPlusNat1(Succ(yu4800), Succ(yu40011000)) -> Succ(Succ(new_primPlusNat1(yu4800, yu40011000)))
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, app(app(ty_Either, dh), ea)) -> new_esEs7(yu310, yu40010, dh, ea)
13.52/5.13	   new_esEs4(yu31, yu4001, ty_Ordering) -> new_esEs13(yu31, yu4001)
13.52/5.13	   new_primEqInt(Pos(Succ(yu3100)), Neg(yu40010)) -> False
13.52/5.13	   new_primEqInt(Neg(Succ(yu3100)), Pos(yu40010)) -> False
13.52/5.13	   new_esEs16(Nothing, Nothing, bah) -> True
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, ty_Float) -> new_esEs12(yu310, yu40010)
13.52/5.13	   new_esEs26(yu311, yu40011, app(ty_Maybe, bff)) -> new_esEs16(yu311, yu40011, bff)
13.52/5.13	   new_esEs25(yu310, yu40010, app(app(app(ty_@3, bea), beb), bec)) -> new_esEs15(yu310, yu40010, bea, beb, bec)
13.52/5.13	   new_esEs13(LT, GT) -> False
13.52/5.13	   new_esEs13(GT, LT) -> False
13.52/5.13	   new_esEs4(yu31, yu4001, ty_Int) -> new_esEs10(yu31, yu4001)
13.52/5.13	   new_esEs22(yu310, yu40010, ty_Char) -> new_esEs9(yu310, yu40010)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), app(ty_Maybe, bbe)) -> new_esEs16(yu310, yu40010, bbe)
13.52/5.13	   new_esEs21(yu311, yu40011, ty_Bool) -> new_esEs6(yu311, yu40011)
13.52/5.13	   new_esEs5(yu30, yu4000, ty_Ordering) -> new_esEs13(yu30, yu4000)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), app(ty_Ratio, bba)) -> new_esEs14(yu310, yu40010, bba)
13.52/5.13	   new_esEs27(yu310, yu40010, app(app(app(ty_@3, bge), bgf), bgg)) -> new_esEs15(yu310, yu40010, bge, bgf, bgg)
13.52/5.13	   new_esEs26(yu311, yu40011, ty_Char) -> new_esEs9(yu311, yu40011)
13.52/5.13	   new_esEs22(yu310, yu40010, app(ty_Ratio, he)) -> new_esEs14(yu310, yu40010, he)
13.52/5.13	   new_esEs19([], [], bce) -> True
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, app(app(app(ty_@3, dd), de), df)) -> new_esEs15(yu310, yu40010, dd, de, df)
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, ty_Char) -> new_esEs9(yu310, yu40010)
13.52/5.13	   new_sr(Neg(yu3100), Neg(yu400110)) -> Pos(new_primMulNat0(yu3100, yu400110))
13.52/5.13	   new_esEs20(yu312, yu40012, ty_Int) -> new_esEs10(yu312, yu40012)
13.52/5.13	   new_esEs26(yu311, yu40011, ty_Ordering) -> new_esEs13(yu311, yu40011)
13.52/5.13	   new_esEs13(GT, GT) -> True
13.52/5.13	   new_esEs21(yu311, yu40011, ty_@0) -> new_esEs8(yu311, yu40011)
13.52/5.13	   new_esEs27(yu310, yu40010, app(app(ty_Either, bha), bhb)) -> new_esEs7(yu310, yu40010, bha, bhb)
13.52/5.13	   new_primEqInt(Pos(Zero), Neg(Succ(yu400100))) -> False
13.52/5.13	   new_primEqInt(Neg(Zero), Pos(Succ(yu400100))) -> False
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), ty_Ordering, bf) -> new_esEs13(yu310, yu40010)
13.52/5.13	   new_esEs25(yu310, yu40010, ty_Double) -> new_esEs17(yu310, yu40010)
13.52/5.13	   new_esEs6(True, True) -> True
13.52/5.13	   new_esEs23(yu311, yu40011, ty_Integer) -> new_esEs11(yu311, yu40011)
13.52/5.13	   new_esEs20(yu312, yu40012, app(ty_Ratio, eh)) -> new_esEs14(yu312, yu40012, eh)
13.52/5.13	   new_esEs5(yu30, yu4000, app(ty_Ratio, bcf)) -> new_esEs14(yu30, yu4000, bcf)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), ty_Ordering) -> new_esEs13(yu310, yu40010)
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, ty_Ordering) -> new_esEs13(yu310, yu40010)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), ty_Int) -> new_esEs10(yu310, yu40010)
13.52/5.13	   new_primEqInt(Neg(Succ(yu3100)), Neg(Succ(yu400100))) -> new_primEqNat0(yu3100, yu400100)
13.52/5.13	   new_esEs20(yu312, yu40012, app(app(ty_@2, fh), ga)) -> new_esEs18(yu312, yu40012, fh, ga)
13.52/5.13	   new_esEs21(yu311, yu40011, app(ty_[], hd)) -> new_esEs19(yu311, yu40011, hd)
13.52/5.13	   new_primPlusNat0(Succ(yu480), yu4001100) -> Succ(Succ(new_primPlusNat1(yu480, yu4001100)))
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, ty_@0) -> new_esEs8(yu310, yu40010)
13.52/5.13	   new_esEs6(False, False) -> True
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, app(ty_Ratio, dc)) -> new_esEs14(yu310, yu40010, dc)
13.52/5.13	   new_esEs15(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), ee, ef, eg) -> new_asAs(new_esEs22(yu310, yu40010, ee), new_asAs(new_esEs21(yu311, yu40011, ef), new_esEs20(yu312, yu40012, eg)))
13.52/5.13	   new_esEs13(EQ, GT) -> False
13.52/5.13	   new_esEs13(GT, EQ) -> False
13.52/5.13	   new_esEs25(yu310, yu40010, ty_Float) -> new_esEs12(yu310, yu40010)
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), app(app(ty_Either, cd), ce), bf) -> new_esEs7(yu310, yu40010, cd, ce)
13.52/5.13	   new_esEs24(yu310, yu40010, ty_Int) -> new_esEs10(yu310, yu40010)
13.52/5.13	   new_esEs10(yu31, yu4001) -> new_primEqInt(yu31, yu4001)
13.52/5.13	   new_esEs5(yu30, yu4000, ty_Char) -> new_esEs9(yu30, yu4000)
13.52/5.13	   new_esEs20(yu312, yu40012, ty_Float) -> new_esEs12(yu312, yu40012)
13.52/5.13	   new_primPlusNat1(Zero, Zero) -> Zero
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), ty_Char, bf) -> new_esEs9(yu310, yu40010)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), ty_Char) -> new_esEs9(yu310, yu40010)
13.52/5.13	   new_primMulNat0(Succ(yu31000), Zero) -> Zero
13.52/5.13	   new_primMulNat0(Zero, Succ(yu4001100)) -> Zero
13.52/5.13	   new_sr(Pos(yu3100), Pos(yu400110)) -> Pos(new_primMulNat0(yu3100, yu400110))
13.52/5.13	   new_primPlusNat0(Zero, yu4001100) -> Succ(yu4001100)
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), app(ty_Ratio, bg), bf) -> new_esEs14(yu310, yu40010, bg)
13.52/5.13	   new_esEs25(yu310, yu40010, app(app(ty_Either, bee), bef)) -> new_esEs7(yu310, yu40010, bee, bef)
13.52/5.13	   new_esEs4(yu31, yu4001, app(app(ty_Either, db), bf)) -> new_esEs7(yu31, yu4001, db, bf)
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, ty_Integer) -> new_esEs11(yu310, yu40010)
13.52/5.13	   new_esEs21(yu311, yu40011, ty_Integer) -> new_esEs11(yu311, yu40011)
13.52/5.13	   new_esEs27(yu310, yu40010, ty_Double) -> new_esEs17(yu310, yu40010)
13.52/5.13	   new_esEs9(Char(yu310), Char(yu40010)) -> new_primEqNat0(yu310, yu40010)
13.52/5.13	   new_esEs26(yu311, yu40011, ty_Integer) -> new_esEs11(yu311, yu40011)
13.52/5.13	   new_esEs27(yu310, yu40010, app(ty_Ratio, bgd)) -> new_esEs14(yu310, yu40010, bgd)
13.52/5.13	   new_esEs22(yu310, yu40010, app(app(app(ty_@3, hf), hg), hh)) -> new_esEs15(yu310, yu40010, hf, hg, hh)
13.52/5.13	   new_esEs25(yu310, yu40010, ty_Int) -> new_esEs10(yu310, yu40010)
13.52/5.13	   new_esEs25(yu310, yu40010, ty_@0) -> new_esEs8(yu310, yu40010)
13.52/5.13	   new_primEqInt(Neg(Zero), Neg(Zero)) -> True
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), ty_Int, bf) -> new_esEs10(yu310, yu40010)
13.52/5.13	   new_esEs26(yu311, yu40011, ty_Bool) -> new_esEs6(yu311, yu40011)
13.52/5.13	   new_esEs20(yu312, yu40012, ty_Ordering) -> new_esEs13(yu312, yu40012)
13.52/5.13	   new_primMulNat0(Succ(yu31000), Succ(yu4001100)) -> new_primPlusNat0(new_primMulNat0(yu31000, Succ(yu4001100)), yu4001100)
13.52/5.13	   new_esEs4(yu31, yu4001, app(ty_Maybe, bah)) -> new_esEs16(yu31, yu4001, bah)
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), ty_@0, bf) -> new_esEs8(yu310, yu40010)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), ty_Double) -> new_esEs17(yu310, yu40010)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), app(app(ty_@2, bbh), bca)) -> new_esEs18(yu310, yu40010, bbh, bca)
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, ty_Bool) -> new_esEs6(yu310, yu40010)
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), app(ty_[], da), bf) -> new_esEs19(yu310, yu40010, da)
13.52/5.13	   new_esEs20(yu312, yu40012, ty_Char) -> new_esEs9(yu312, yu40012)
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, app(app(ty_@2, eb), ec)) -> new_esEs18(yu310, yu40010, eb, ec)
13.52/5.13	   new_esEs22(yu310, yu40010, app(app(ty_@2, bad), bae)) -> new_esEs18(yu310, yu40010, bad, bae)
13.52/5.13	   new_esEs26(yu311, yu40011, app(ty_Ratio, bfb)) -> new_esEs14(yu311, yu40011, bfb)
13.52/5.13	   new_primPlusNat1(Succ(yu4800), Zero) -> Succ(yu4800)
13.52/5.13	   new_primPlusNat1(Zero, Succ(yu40011000)) -> Succ(yu40011000)
13.52/5.13	   new_esEs26(yu311, yu40011, ty_@0) -> new_esEs8(yu311, yu40011)
13.52/5.13	   new_esEs21(yu311, yu40011, ty_Double) -> new_esEs17(yu311, yu40011)
13.52/5.13	   new_esEs26(yu311, yu40011, ty_Int) -> new_esEs10(yu311, yu40011)
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), ty_Integer, bf) -> new_esEs11(yu310, yu40010)
13.52/5.13	   new_esEs4(yu31, yu4001, app(app(ty_@2, bcc), bcd)) -> new_esEs18(yu31, yu4001, bcc, bcd)
13.52/5.13	   new_esEs20(yu312, yu40012, app(ty_[], gb)) -> new_esEs19(yu312, yu40012, gb)
13.52/5.13	   new_primEqInt(Pos(Zero), Neg(Zero)) -> True
13.52/5.13	   new_primEqInt(Neg(Zero), Pos(Zero)) -> True
13.52/5.13	   new_esEs21(yu311, yu40011, app(app(ty_@2, hb), hc)) -> new_esEs18(yu311, yu40011, hb, hc)
13.52/5.13	   new_esEs5(yu30, yu4000, ty_Float) -> new_esEs12(yu30, yu4000)
13.52/5.13	   new_esEs16(Just(yu310), Just(yu40010), ty_@0) -> new_esEs8(yu310, yu40010)
13.52/5.13	   new_primEqNat0(Zero, Zero) -> True
13.52/5.13	   new_esEs7(Right(yu310), Right(yu40010), db, app(ty_[], ed)) -> new_esEs19(yu310, yu40010, ed)
13.52/5.13	   new_esEs4(yu31, yu4001, ty_Bool) -> new_esEs6(yu31, yu4001)
13.52/5.13	   new_esEs25(yu310, yu40010, app(ty_[], bfa)) -> new_esEs19(yu310, yu40010, bfa)
13.52/5.13	   new_esEs20(yu312, yu40012, ty_Double) -> new_esEs17(yu312, yu40012)
13.52/5.13	   new_esEs7(Left(yu310), Left(yu40010), ty_Double, bf) -> new_esEs17(yu310, yu40010)
13.52/5.13	   new_esEs13(EQ, EQ) -> True
13.52/5.13	   new_asAs(False, yu47) -> False
13.52/5.13	   new_esEs20(yu312, yu40012, ty_Integer) -> new_esEs11(yu312, yu40012)
13.52/5.13	   new_esEs13(LT, EQ) -> False
13.52/5.13	   new_esEs13(EQ, LT) -> False
13.52/5.13	   new_esEs22(yu310, yu40010, ty_Bool) -> new_esEs6(yu310, yu40010)
13.52/5.13	   new_esEs14(:%(yu310, yu311), :%(yu40010, yu40011), bag) -> new_asAs(new_esEs24(yu310, yu40010, bag), new_esEs23(yu311, yu40011, bag))
13.52/5.13	   new_esEs27(yu310, yu40010, ty_Bool) -> new_esEs6(yu310, yu40010)
13.52/5.13	   new_esEs7(Left(yu310), Right(yu40010), db, bf) -> False
13.52/5.13	   new_esEs7(Right(yu310), Left(yu40010), db, bf) -> False
13.52/5.13	   new_esEs4(yu31, yu4001, app(app(app(ty_@3, ee), ef), eg)) -> new_esEs15(yu31, yu4001, ee, ef, eg)
13.52/5.13	   new_esEs25(yu310, yu40010, ty_Integer) -> new_esEs11(yu310, yu40010)
13.52/5.13	   new_esEs27(yu310, yu40010, app(app(ty_@2, bhc), bhd)) -> new_esEs18(yu310, yu40010, bhc, bhd)
13.52/5.13	   new_esEs5(yu30, yu4000, app(ty_Maybe, bdb)) -> new_esEs16(yu30, yu4000, bdb)
13.52/5.13	
13.52/5.13	The set Q consists of the following terms:
13.52/5.13	
13.52/5.13	   new_primPlusNat1(Succ(x0), Succ(x1))
13.52/5.13	   new_esEs7(Left(x0), Left(x1), ty_Ordering, x2)
13.52/5.13	   new_primMulNat0(Succ(x0), Succ(x1))
13.52/5.13	   new_esEs4(x0, x1, ty_Int)
13.52/5.13	   new_esEs25(x0, x1, ty_Float)
13.52/5.13	   new_esEs26(x0, x1, app(ty_Ratio, x2))
13.52/5.13	   new_esEs13(EQ, EQ)
13.52/5.13	   new_esEs21(x0, x1, app(ty_Ratio, x2))
13.52/5.13	   new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1)))
13.52/5.13	   new_primMulNat0(Zero, Succ(x0))
13.52/5.13	   new_esEs27(x0, x1, ty_Double)
13.52/5.13	   new_esEs26(x0, x1, ty_Int)
13.52/5.13	   new_esEs7(Left(x0), Left(x1), ty_Double, x2)
13.52/5.13	   new_esEs20(x0, x1, ty_Bool)
13.52/5.13	   new_esEs16(Just(x0), Nothing, x1)
13.52/5.13	   new_esEs22(x0, x1, ty_Ordering)
13.52/5.13	   new_esEs21(x0, x1, app(app(ty_@2, x2), x3))
13.52/5.13	   new_esEs16(Just(x0), Just(x1), ty_Float)
13.52/5.13	   new_esEs7(Left(x0), Right(x1), x2, x3)
13.52/5.13	   new_esEs7(Right(x0), Left(x1), x2, x3)
13.52/5.13	   new_primMulNat0(Zero, Zero)
13.52/5.13	   new_primPlusNat1(Zero, Zero)
13.52/5.13	   new_esEs16(Just(x0), Just(x1), app(ty_[], x2))
13.52/5.13	   new_primEqNat0(Zero, Succ(x0))
13.52/5.13	   new_esEs27(x0, x1, app(ty_[], x2))
13.52/5.13	   new_primEqNat0(Succ(x0), Zero)
13.52/5.13	   new_esEs7(Left(x0), Left(x1), ty_Float, x2)
13.52/5.13	   new_esEs25(x0, x1, ty_Ordering)
13.52/5.13	   new_esEs27(x0, x1, ty_Float)
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
13.52/5.13	   new_esEs22(x0, x1, ty_Float)
13.52/5.13	   new_esEs16(Just(x0), Just(x1), ty_Double)
13.52/5.13	   new_esEs20(x0, x1, ty_@0)
13.52/5.13	   new_esEs5(x0, x1, ty_Double)
13.52/5.13	   new_esEs4(x0, x1, ty_Float)
13.52/5.13	   new_esEs17(Double(x0, x1), Double(x2, x3))
13.52/5.13	   new_primEqInt(Pos(Zero), Pos(Zero))
13.52/5.13	   new_esEs24(x0, x1, ty_Int)
13.52/5.13	   new_primEqInt(Neg(Succ(x0)), Neg(Zero))
13.52/5.13	   new_esEs4(x0, x1, ty_Double)
13.52/5.13	   new_esEs18(@2(x0, x1), @2(x2, x3), x4, x5)
13.52/5.13	   new_esEs4(x0, x1, ty_Char)
13.52/5.13	   new_primMulNat0(Succ(x0), Zero)
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
13.52/5.13	   new_esEs21(x0, x1, ty_Int)
13.52/5.13	   new_esEs27(x0, x1, ty_Ordering)
13.52/5.13	   new_esEs21(x0, x1, ty_Char)
13.52/5.13	   new_esEs20(x0, x1, ty_Integer)
13.52/5.13	   new_esEs13(LT, LT)
13.52/5.13	   new_asAs(False, x0)
13.52/5.13	   new_primEqInt(Neg(Zero), Neg(Zero))
13.52/5.13	   new_esEs4(x0, x1, ty_Ordering)
13.52/5.13	   new_esEs12(Float(x0, x1), Float(x2, x3))
13.52/5.13	   new_esEs4(x0, x1, app(ty_Maybe, x2))
13.52/5.13	   new_esEs5(x0, x1, app(ty_Maybe, x2))
13.52/5.13	   new_esEs27(x0, x1, ty_Int)
13.52/5.13	   new_primEqInt(Pos(Succ(x0)), Neg(x1))
13.52/5.13	   new_primEqInt(Neg(Succ(x0)), Pos(x1))
13.52/5.13	   new_esEs26(x0, x1, app(app(ty_@2, x2), x3))
13.52/5.13	   new_esEs5(x0, x1, app(app(app(ty_@3, x2), x3), x4))
13.52/5.13	   new_esEs7(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
13.52/5.13	   new_esEs16(Nothing, Just(x0), x1)
13.52/5.13	   new_esEs6(False, True)
13.52/5.13	   new_esEs6(True, False)
13.52/5.13	   new_esEs7(Left(x0), Left(x1), app(ty_[], x2), x3)
13.52/5.13	   new_esEs21(x0, x1, ty_Float)
13.52/5.13	   new_esEs5(x0, x1, app(ty_[], x2))
13.52/5.13	   new_esEs5(x0, x1, ty_Int)
13.52/5.13	   new_esEs21(x0, x1, ty_@0)
13.52/5.13	   new_esEs9(Char(x0), Char(x1))
13.52/5.13	   new_esEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
13.52/5.13	   new_esEs20(x0, x1, app(app(app(ty_@3, x2), x3), x4))
13.52/5.13	   new_esEs19([], :(x0, x1), x2)
13.52/5.13	   new_esEs21(x0, x1, app(ty_Maybe, x2))
13.52/5.13	   new_esEs15(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
13.52/5.13	   new_esEs5(x0, x1, ty_Char)
13.52/5.13	   new_esEs16(Just(x0), Just(x1), ty_Char)
13.52/5.13	   new_esEs5(x0, x1, app(ty_Ratio, x2))
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, ty_Ordering)
13.52/5.13	   new_esEs26(x0, x1, app(ty_Maybe, x2))
13.52/5.13	   new_esEs6(False, False)
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
13.52/5.13	   new_esEs7(Left(x0), Left(x1), ty_Integer, x2)
13.52/5.13	   new_esEs25(x0, x1, ty_Int)
13.52/5.13	   new_primEqInt(Pos(Zero), Neg(Zero))
13.52/5.13	   new_primEqInt(Neg(Zero), Pos(Zero))
13.52/5.13	   new_esEs26(x0, x1, ty_Ordering)
13.52/5.13	   new_esEs25(x0, x1, app(app(ty_Either, x2), x3))
13.52/5.13	   new_sr(Pos(x0), Neg(x1))
13.52/5.13	   new_sr(Neg(x0), Pos(x1))
13.52/5.13	   new_esEs16(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
13.52/5.13	   new_primPlusNat1(Zero, Succ(x0))
13.52/5.13	   new_esEs22(x0, x1, ty_Double)
13.52/5.13	   new_primEqNat0(Succ(x0), Succ(x1))
13.52/5.13	   new_esEs22(x0, x1, ty_Char)
13.52/5.13	   new_esEs4(x0, x1, app(app(ty_Either, x2), x3))
13.52/5.13	   new_esEs22(x0, x1, ty_@0)
13.52/5.13	   new_esEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
13.52/5.13	   new_esEs5(x0, x1, ty_Float)
13.52/5.13	   new_esEs16(Just(x0), Just(x1), ty_Int)
13.52/5.13	   new_esEs22(x0, x1, ty_Int)
13.52/5.13	   new_primEqInt(Pos(Zero), Pos(Succ(x0)))
13.52/5.13	   new_esEs25(x0, x1, app(app(app(ty_@3, x2), x3), x4))
13.52/5.13	   new_asAs(True, x0)
13.52/5.13	   new_esEs22(x0, x1, app(ty_Maybe, x2))
13.52/5.13	   new_esEs5(x0, x1, ty_@0)
13.52/5.13	   new_esEs25(x0, x1, ty_Double)
13.52/5.13	   new_esEs7(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
13.52/5.13	   new_esEs16(Just(x0), Just(x1), ty_@0)
13.52/5.13	   new_esEs25(x0, x1, ty_Char)
13.52/5.13	   new_esEs5(x0, x1, app(app(ty_Either, x2), x3))
13.52/5.13	   new_esEs27(x0, x1, app(app(ty_Either, x2), x3))
13.52/5.13	   new_esEs25(x0, x1, ty_Bool)
13.52/5.13	   new_esEs27(x0, x1, ty_@0)
13.52/5.13	   new_esEs25(x0, x1, app(ty_[], x2))
13.52/5.13	   new_esEs7(Left(x0), Left(x1), ty_Bool, x2)
13.52/5.13	   new_esEs26(x0, x1, ty_Integer)
13.52/5.13	   new_esEs22(x0, x1, app(app(ty_Either, x2), x3))
13.52/5.13	   new_esEs20(x0, x1, ty_Float)
13.52/5.13	   new_esEs20(x0, x1, app(app(ty_Either, x2), x3))
13.52/5.13	   new_esEs23(x0, x1, ty_Integer)
13.52/5.13	   new_esEs22(x0, x1, ty_Bool)
13.52/5.13	   new_esEs25(x0, x1, ty_@0)
13.52/5.13	   new_esEs4(x0, x1, ty_Integer)
13.52/5.13	   new_esEs14(:%(x0, x1), :%(x2, x3), x4)
13.52/5.13	   new_esEs4(x0, x1, app(app(ty_@2, x2), x3))
13.52/5.13	   new_esEs27(x0, x1, ty_Bool)
13.52/5.13	   new_esEs13(LT, GT)
13.52/5.13	   new_esEs13(GT, LT)
13.52/5.13	   new_esEs22(x0, x1, ty_Integer)
13.52/5.13	   new_esEs20(x0, x1, ty_Ordering)
13.52/5.13	   new_esEs11(Integer(x0), Integer(x1))
13.52/5.13	   new_esEs10(x0, x1)
13.52/5.13	   new_esEs24(x0, x1, ty_Integer)
13.52/5.13	   new_esEs22(x0, x1, app(ty_Ratio, x2))
13.52/5.13	   new_esEs16(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
13.52/5.13	   new_sr(Neg(x0), Neg(x1))
13.52/5.13	   new_esEs16(Just(x0), Just(x1), app(ty_Ratio, x2))
13.52/5.13	   new_esEs25(x0, x1, ty_Integer)
13.52/5.13	   new_esEs4(x0, x1, app(ty_Ratio, x2))
13.52/5.13	   new_esEs7(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
13.52/5.13	   new_primPlusNat0(Succ(x0), x1)
13.52/5.13	   new_sr(Pos(x0), Pos(x1))
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, ty_Integer)
13.52/5.13	   new_esEs27(x0, x1, app(ty_Ratio, x2))
13.52/5.13	   new_esEs7(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
13.52/5.13	   new_esEs21(x0, x1, app(ty_[], x2))
13.52/5.13	   new_esEs16(Just(x0), Just(x1), ty_Bool)
13.52/5.13	   new_esEs26(x0, x1, app(ty_[], x2))
13.52/5.13	   new_esEs20(x0, x1, app(app(ty_@2, x2), x3))
13.52/5.13	   new_primPlusNat0(Zero, x0)
13.52/5.13	   new_esEs5(x0, x1, ty_Bool)
13.52/5.13	   new_esEs21(x0, x1, ty_Double)
13.52/5.13	   new_esEs4(x0, x1, ty_@0)
13.52/5.13	   new_esEs16(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
13.52/5.13	   new_esEs8(@0, @0)
13.52/5.13	   new_esEs19(:(x0, x1), :(x2, x3), x4)
13.52/5.13	   new_esEs7(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
13.52/5.13	   new_esEs19([], [], x0)
13.52/5.13	   new_esEs20(x0, x1, ty_Char)
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, ty_Float)
13.52/5.13	   new_primEqNat0(Zero, Zero)
13.52/5.13	   new_esEs22(x0, x1, app(ty_[], x2))
13.52/5.13	   new_esEs6(True, True)
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, ty_Double)
13.52/5.13	   new_esEs21(x0, x1, ty_Bool)
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, ty_Bool)
13.52/5.13	   new_esEs21(x0, x1, ty_Ordering)
13.52/5.13	   new_esEs27(x0, x1, app(app(ty_@2, x2), x3))
13.52/5.13	   new_esEs22(x0, x1, app(app(ty_@2, x2), x3))
13.52/5.13	   new_esEs13(EQ, GT)
13.52/5.13	   new_esEs13(GT, EQ)
13.52/5.13	   new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4))
13.52/5.13	   new_esEs20(x0, x1, app(ty_Ratio, x2))
13.52/5.13	   new_esEs26(x0, x1, app(app(app(ty_@3, x2), x3), x4))
13.52/5.13	   new_esEs27(x0, x1, ty_Char)
13.52/5.13	   new_esEs5(x0, x1, ty_Integer)
13.52/5.13	   new_esEs16(Nothing, Nothing, x0)
13.52/5.13	   new_primEqInt(Pos(Zero), Neg(Succ(x0)))
13.52/5.13	   new_primEqInt(Neg(Zero), Pos(Succ(x0)))
13.52/5.13	   new_esEs26(x0, x1, ty_@0)
13.52/5.13	   new_esEs4(x0, x1, app(ty_[], x2))
13.52/5.13	   new_esEs20(x0, x1, ty_Int)
13.52/5.13	   new_esEs19(:(x0, x1), [], x2)
13.52/5.13	   new_esEs26(x0, x1, app(app(ty_Either, x2), x3))
13.52/5.13	   new_esEs26(x0, x1, ty_Float)
13.52/5.13	   new_primEqInt(Neg(Zero), Neg(Succ(x0)))
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
13.52/5.13	   new_esEs27(x0, x1, app(app(app(ty_@3, x2), x3), x4))
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, ty_@0)
13.52/5.13	   new_esEs27(x0, x1, ty_Integer)
13.52/5.13	   new_esEs26(x0, x1, ty_Bool)
13.52/5.13	   new_esEs25(x0, x1, app(ty_Ratio, x2))
13.52/5.13	   new_esEs21(x0, x1, app(app(ty_Either, x2), x3))
13.52/5.13	   new_esEs21(x0, x1, ty_Integer)
13.52/5.13	   new_esEs16(Just(x0), Just(x1), ty_Integer)
13.52/5.13	   new_esEs20(x0, x1, app(ty_[], x2))
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, app(ty_[], x3))
13.52/5.13	   new_esEs20(x0, x1, app(ty_Maybe, x2))
13.52/5.13	   new_primEqInt(Pos(Succ(x0)), Pos(Zero))
13.52/5.13	   new_esEs4(x0, x1, ty_Bool)
13.52/5.13	   new_esEs7(Left(x0), Left(x1), ty_@0, x2)
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, ty_Int)
13.52/5.13	   new_esEs26(x0, x1, ty_Char)
13.52/5.13	   new_esEs7(Left(x0), Left(x1), ty_Char, x2)
13.52/5.13	   new_esEs16(Just(x0), Just(x1), app(ty_Maybe, x2))
13.52/5.13	   new_esEs26(x0, x1, ty_Double)
13.52/5.13	   new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1)))
13.52/5.13	   new_esEs13(GT, GT)
13.52/5.13	   new_esEs25(x0, x1, app(app(ty_@2, x2), x3))
13.52/5.13	   new_esEs23(x0, x1, ty_Int)
13.52/5.13	   new_esEs7(Right(x0), Right(x1), x2, ty_Char)
13.52/5.13	   new_esEs13(LT, EQ)
13.52/5.13	   new_esEs13(EQ, LT)
13.52/5.13	   new_primPlusNat1(Succ(x0), Zero)
13.52/5.13	   new_esEs25(x0, x1, app(ty_Maybe, x2))
13.52/5.13	   new_esEs7(Left(x0), Left(x1), ty_Int, x2)
13.52/5.13	   new_esEs5(x0, x1, ty_Ordering)
13.52/5.13	   new_esEs20(x0, x1, ty_Double)
13.52/5.13	   new_esEs27(x0, x1, app(ty_Maybe, x2))
13.52/5.13	   new_esEs5(x0, x1, app(app(ty_@2, x2), x3))
13.52/5.13	   new_esEs16(Just(x0), Just(x1), ty_Ordering)
13.52/5.13	
13.52/5.13	We have to consider all minimal (P,Q,R)-chains.
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(8) QDPSizeChangeProof (EQUIVALENT)
13.52/5.13	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.52/5.13	
13.52/5.13	From the DPs we obtained the following set of size-change graphs:
13.52/5.13	*new_lookup(@2(yu30, yu31), :(@2(@2(yu4000, yu4001), yu401), yu41), bc, bd, be) -> new_lookup1(yu30, yu31, yu4000, yu4001, yu401, yu41, new_asAs(new_esEs5(yu30, yu4000, bd), new_esEs4(yu31, yu4001, be)), bc, bd, be)
13.52/5.13	The graph contains the following edges 1 > 1, 1 > 2, 2 > 3, 2 > 4, 2 > 5, 2 > 6, 3 >= 8, 4 >= 9, 5 >= 10
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_lookup1(yu28, yu29, yu30, yu31, yu32, yu33, False, h, ba, bb) -> new_lookup(@2(yu28, yu29), yu33, h, ba, bb)
13.52/5.13	The graph contains the following edges 6 >= 2, 8 >= 3, 9 >= 4, 10 >= 5
13.52/5.13	
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(9)
13.52/5.13	YES
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(10)
13.52/5.13	Obligation:
13.52/5.13	Q DP problem:
13.52/5.13	The TRS P consists of the following rules:
13.52/5.13	
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(app(ty_@2, dc), dd), cf) -> new_esEs2(yu311, yu40011, dc, dd)
13.52/5.13	   new_esEs1(Left(yu310), Left(yu40010), app(app(ty_Either, gf), gg), gd) -> new_esEs1(yu310, yu40010, gf, gg)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(app(ty_@2, bh), ca)) -> new_esEs2(yu312, yu40012, bh, ca)
13.52/5.13	   new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(app(ty_Either, bdf), bdg)) -> new_esEs1(yu310, yu40010, bdf, bdg)
13.52/5.13	   new_esEs1(Left(yu310), Left(yu40010), app(ty_[], hb), gd) -> new_esEs3(yu310, yu40010, hb)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(app(app(ty_@3, bb), bc), bd)) -> new_esEs(yu312, yu40012, bb, bc, bd)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(ty_[], cb)) -> new_esEs3(yu312, yu40012, cb)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(app(ty_@2, bbd), bbe)) -> new_esEs2(yu311, yu40011, bbd, bbe)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(app(app(ty_@3, bbg), bbh), bca), bcb) -> new_esEs(yu310, yu40010, bbg, bbh, bca)
13.52/5.13	   new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(ty_[], beb)) -> new_esEs3(yu310, yu40010, beb)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(ty_[], de), cf) -> new_esEs3(yu311, yu40011, de)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(ty_Maybe, ea), ba, cf) -> new_esEs0(yu310, yu40010, ea)
13.52/5.13	   new_esEs0(Just(yu310), Just(yu40010), app(ty_[], fh)) -> new_esEs3(yu310, yu40010, fh)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(ty_[], ef), ba, cf) -> new_esEs3(yu310, yu40010, ef)
13.52/5.13	   new_esEs0(Just(yu310), Just(yu40010), app(app(ty_@2, ff), fg)) -> new_esEs2(yu310, yu40010, ff, fg)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(ty_Maybe, bcc), bcb) -> new_esEs0(yu310, yu40010, bcc)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(ty_Maybe, cg), cf) -> new_esEs0(yu311, yu40011, cg)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(app(ty_@2, bcf), bcg), bcb) -> new_esEs2(yu310, yu40010, bcf, bcg)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(app(app(ty_@3, cc), cd), ce), cf) -> new_esEs(yu311, yu40011, cc, cd, ce)
13.52/5.13	   new_esEs1(Right(yu310), Right(yu40010), hc, app(app(ty_@2, bab), bac)) -> new_esEs2(yu310, yu40010, bab, bac)
13.52/5.13	   new_esEs1(Left(yu310), Left(yu40010), app(app(app(ty_@3, ga), gb), gc), gd) -> new_esEs(yu310, yu40010, ga, gb, gc)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(ty_Maybe, be)) -> new_esEs0(yu312, yu40012, be)
13.52/5.13	   new_esEs1(Right(yu310), Right(yu40010), hc, app(ty_Maybe, hg)) -> new_esEs0(yu310, yu40010, hg)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(app(ty_@2, ed), ee), ba, cf) -> new_esEs2(yu310, yu40010, ed, ee)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(app(ty_Either, da), db), cf) -> new_esEs1(yu311, yu40011, da, db)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(app(ty_Either, bf), bg)) -> new_esEs1(yu312, yu40012, bf, bg)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(app(app(ty_@3, baf), bag), bah)) -> new_esEs(yu311, yu40011, baf, bag, bah)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(app(ty_Either, eb), ec), ba, cf) -> new_esEs1(yu310, yu40010, eb, ec)
13.52/5.13	   new_esEs3(:(yu310, yu311), :(yu40010, yu40011), bda) -> new_esEs3(yu311, yu40011, bda)
13.52/5.13	   new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(app(app(ty_@3, bdb), bdc), bdd)) -> new_esEs(yu310, yu40010, bdb, bdc, bdd)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(ty_Maybe, bba)) -> new_esEs0(yu311, yu40011, bba)
13.52/5.13	   new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(app(app(ty_@3, df), dg), dh), ba, cf) -> new_esEs(yu310, yu40010, df, dg, dh)
13.52/5.13	   new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(ty_Maybe, bde)) -> new_esEs0(yu310, yu40010, bde)
13.52/5.13	   new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(app(ty_@2, bdh), bea)) -> new_esEs2(yu310, yu40010, bdh, bea)
13.52/5.13	   new_esEs1(Left(yu310), Left(yu40010), app(app(ty_@2, gh), ha), gd) -> new_esEs2(yu310, yu40010, gh, ha)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(ty_[], bbf)) -> new_esEs3(yu311, yu40011, bbf)
13.52/5.13	   new_esEs0(Just(yu310), Just(yu40010), app(app(ty_Either, fc), fd)) -> new_esEs1(yu310, yu40010, fc, fd)
13.52/5.13	   new_esEs1(Right(yu310), Right(yu40010), hc, app(ty_[], bad)) -> new_esEs3(yu310, yu40010, bad)
13.52/5.13	   new_esEs1(Right(yu310), Right(yu40010), hc, app(app(app(ty_@3, hd), he), hf)) -> new_esEs(yu310, yu40010, hd, he, hf)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(ty_[], bch), bcb) -> new_esEs3(yu310, yu40010, bch)
13.52/5.13	   new_esEs0(Just(yu310), Just(yu40010), app(ty_Maybe, fb)) -> new_esEs0(yu310, yu40010, fb)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(app(ty_Either, bcd), bce), bcb) -> new_esEs1(yu310, yu40010, bcd, bce)
13.52/5.13	   new_esEs1(Left(yu310), Left(yu40010), app(ty_Maybe, ge), gd) -> new_esEs0(yu310, yu40010, ge)
13.52/5.13	   new_esEs1(Right(yu310), Right(yu40010), hc, app(app(ty_Either, hh), baa)) -> new_esEs1(yu310, yu40010, hh, baa)
13.52/5.13	   new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(app(ty_Either, bbb), bbc)) -> new_esEs1(yu311, yu40011, bbb, bbc)
13.52/5.13	   new_esEs0(Just(yu310), Just(yu40010), app(app(app(ty_@3, eg), eh), fa)) -> new_esEs(yu310, yu40010, eg, eh, fa)
13.52/5.13	
13.52/5.13	R is empty.
13.52/5.13	Q is empty.
13.52/5.13	We have to consider all minimal (P,Q,R)-chains.
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(11) QDPSizeChangeProof (EQUIVALENT)
13.52/5.13	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.52/5.13	
13.52/5.13	From the DPs we obtained the following set of size-change graphs:
13.52/5.13	*new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(app(app(ty_@3, bdb), bdc), bdd)) -> new_esEs(yu310, yu40010, bdb, bdc, bdd)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(app(ty_Either, bdf), bdg)) -> new_esEs1(yu310, yu40010, bdf, bdg)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs0(Just(yu310), Just(yu40010), app(app(app(ty_@3, eg), eh), fa)) -> new_esEs(yu310, yu40010, eg, eh, fa)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs0(Just(yu310), Just(yu40010), app(app(ty_Either, fc), fd)) -> new_esEs1(yu310, yu40010, fc, fd)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs0(Just(yu310), Just(yu40010), app(ty_[], fh)) -> new_esEs3(yu310, yu40010, fh)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(app(ty_@2, bdh), bea)) -> new_esEs2(yu310, yu40010, bdh, bea)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(ty_Maybe, bde)) -> new_esEs0(yu310, yu40010, bde)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs0(Just(yu310), Just(yu40010), app(app(ty_@2, ff), fg)) -> new_esEs2(yu310, yu40010, ff, fg)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs0(Just(yu310), Just(yu40010), app(ty_Maybe, fb)) -> new_esEs0(yu310, yu40010, fb)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(app(app(ty_@3, bbg), bbh), bca), bcb) -> new_esEs(yu310, yu40010, bbg, bbh, bca)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(app(app(ty_@3, baf), bag), bah)) -> new_esEs(yu311, yu40011, baf, bag, bah)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(app(ty_Either, bcd), bce), bcb) -> new_esEs1(yu310, yu40010, bcd, bce)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(app(ty_Either, bbb), bbc)) -> new_esEs1(yu311, yu40011, bbb, bbc)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(ty_[], bbf)) -> new_esEs3(yu311, yu40011, bbf)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(ty_[], bch), bcb) -> new_esEs3(yu310, yu40010, bch)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(app(ty_@2, bbd), bbe)) -> new_esEs2(yu311, yu40011, bbd, bbe)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(app(ty_@2, bcf), bcg), bcb) -> new_esEs2(yu310, yu40010, bcf, bcg)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), app(ty_Maybe, bcc), bcb) -> new_esEs0(yu310, yu40010, bcc)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs2(@2(yu310, yu311), @2(yu40010, yu40011), bae, app(ty_Maybe, bba)) -> new_esEs0(yu311, yu40011, bba)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Left(yu310), Left(yu40010), app(app(app(ty_@3, ga), gb), gc), gd) -> new_esEs(yu310, yu40010, ga, gb, gc)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Right(yu310), Right(yu40010), hc, app(app(app(ty_@3, hd), he), hf)) -> new_esEs(yu310, yu40010, hd, he, hf)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(app(app(ty_@3, bb), bc), bd)) -> new_esEs(yu312, yu40012, bb, bc, bd)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(app(app(ty_@3, cc), cd), ce), cf) -> new_esEs(yu311, yu40011, cc, cd, ce)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(app(app(ty_@3, df), dg), dh), ba, cf) -> new_esEs(yu310, yu40010, df, dg, dh)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Left(yu310), Left(yu40010), app(app(ty_Either, gf), gg), gd) -> new_esEs1(yu310, yu40010, gf, gg)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Right(yu310), Right(yu40010), hc, app(app(ty_Either, hh), baa)) -> new_esEs1(yu310, yu40010, hh, baa)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Left(yu310), Left(yu40010), app(ty_[], hb), gd) -> new_esEs3(yu310, yu40010, hb)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Right(yu310), Right(yu40010), hc, app(ty_[], bad)) -> new_esEs3(yu310, yu40010, bad)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Right(yu310), Right(yu40010), hc, app(app(ty_@2, bab), bac)) -> new_esEs2(yu310, yu40010, bab, bac)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Left(yu310), Left(yu40010), app(app(ty_@2, gh), ha), gd) -> new_esEs2(yu310, yu40010, gh, ha)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Right(yu310), Right(yu40010), hc, app(ty_Maybe, hg)) -> new_esEs0(yu310, yu40010, hg)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs1(Left(yu310), Left(yu40010), app(ty_Maybe, ge), gd) -> new_esEs0(yu310, yu40010, ge)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(app(ty_Either, da), db), cf) -> new_esEs1(yu311, yu40011, da, db)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(app(ty_Either, bf), bg)) -> new_esEs1(yu312, yu40012, bf, bg)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(app(ty_Either, eb), ec), ba, cf) -> new_esEs1(yu310, yu40010, eb, ec)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs3(:(yu310, yu311), :(yu40010, yu40011), app(ty_[], beb)) -> new_esEs3(yu310, yu40010, beb)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs3(:(yu310, yu311), :(yu40010, yu40011), bda) -> new_esEs3(yu311, yu40011, bda)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(ty_[], cb)) -> new_esEs3(yu312, yu40012, cb)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(ty_[], de), cf) -> new_esEs3(yu311, yu40011, de)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(ty_[], ef), ba, cf) -> new_esEs3(yu310, yu40010, ef)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(app(ty_@2, dc), dd), cf) -> new_esEs2(yu311, yu40011, dc, dd)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(app(ty_@2, bh), ca)) -> new_esEs2(yu312, yu40012, bh, ca)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(app(ty_@2, ed), ee), ba, cf) -> new_esEs2(yu310, yu40010, ed, ee)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), app(ty_Maybe, ea), ba, cf) -> new_esEs0(yu310, yu40010, ea)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, app(ty_Maybe, cg), cf) -> new_esEs0(yu311, yu40011, cg)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	*new_esEs(@3(yu310, yu311, yu312), @3(yu40010, yu40011, yu40012), h, ba, app(ty_Maybe, be)) -> new_esEs0(yu312, yu40012, be)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
13.52/5.13	
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(12)
13.52/5.13	YES
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(13)
13.52/5.13	Obligation:
13.52/5.13	Q DP problem:
13.52/5.13	The TRS P consists of the following rules:
13.52/5.13	
13.52/5.13	   new_primMulNat(Succ(yu31000), Succ(yu4001100)) -> new_primMulNat(yu31000, Succ(yu4001100))
13.52/5.13	
13.52/5.13	R is empty.
13.52/5.13	Q is empty.
13.52/5.13	We have to consider all minimal (P,Q,R)-chains.
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(14) QDPSizeChangeProof (EQUIVALENT)
13.52/5.13	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.52/5.13	
13.52/5.13	From the DPs we obtained the following set of size-change graphs:
13.52/5.13	*new_primMulNat(Succ(yu31000), Succ(yu4001100)) -> new_primMulNat(yu31000, Succ(yu4001100))
13.52/5.13	The graph contains the following edges 1 > 1, 2 >= 2
13.52/5.13	
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(15)
13.52/5.13	YES
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(16)
13.52/5.13	Obligation:
13.52/5.13	Q DP problem:
13.52/5.13	The TRS P consists of the following rules:
13.52/5.13	
13.52/5.13	   new_primPlusNat(Succ(yu4800), Succ(yu40011000)) -> new_primPlusNat(yu4800, yu40011000)
13.52/5.13	
13.52/5.13	R is empty.
13.52/5.13	Q is empty.
13.52/5.13	We have to consider all minimal (P,Q,R)-chains.
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(17) QDPSizeChangeProof (EQUIVALENT)
13.52/5.13	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.52/5.13	
13.52/5.13	From the DPs we obtained the following set of size-change graphs:
13.52/5.13	*new_primPlusNat(Succ(yu4800), Succ(yu40011000)) -> new_primPlusNat(yu4800, yu40011000)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2
13.52/5.13	
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(18)
13.52/5.13	YES
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(19)
13.52/5.13	Obligation:
13.52/5.13	Q DP problem:
13.52/5.13	The TRS P consists of the following rules:
13.52/5.13	
13.52/5.13	   new_primEqNat(Succ(yu3100), Succ(yu400100)) -> new_primEqNat(yu3100, yu400100)
13.52/5.13	
13.52/5.13	R is empty.
13.52/5.13	Q is empty.
13.52/5.13	We have to consider all minimal (P,Q,R)-chains.
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(20) QDPSizeChangeProof (EQUIVALENT)
13.52/5.13	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.52/5.13	
13.52/5.13	From the DPs we obtained the following set of size-change graphs:
13.52/5.13	*new_primEqNat(Succ(yu3100), Succ(yu400100)) -> new_primEqNat(yu3100, yu400100)
13.52/5.13	The graph contains the following edges 1 > 1, 2 > 2
13.52/5.13	
13.52/5.13	
13.52/5.13	----------------------------------------
13.52/5.13	
13.52/5.13	(21)
13.52/5.13	YES
13.60/5.23	EOF