9.37/4.07	YES
11.12/4.55	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
11.12/4.55	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
11.12/4.55	
11.12/4.55	
11.12/4.55	H-Termination with start terms of the given HASKELL could be proven:
11.12/4.55	
11.12/4.55	(0) HASKELL
11.12/4.55	(1) BR [EQUIVALENT, 0 ms]
11.12/4.55	(2) HASKELL
11.12/4.55	(3) COR [EQUIVALENT, 0 ms]
11.12/4.55	(4) HASKELL
11.12/4.55	(5) Narrow [SOUND, 0 ms]
11.12/4.55	(6) AND
11.12/4.55	    (7) QDP
11.12/4.55	        (8) QDPSizeChangeProof [EQUIVALENT, 19 ms]
11.12/4.55	        (9) YES
11.12/4.55	    (10) QDP
11.12/4.55	        (11) QDPSizeChangeProof [EQUIVALENT, 0 ms]
11.12/4.55	        (12) YES
11.12/4.55	    (13) QDP
11.12/4.55	        (14) QDPSizeChangeProof [EQUIVALENT, 0 ms]
11.12/4.55	        (15) YES
11.12/4.55	    (16) QDP
11.12/4.55	        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
11.12/4.55	        (18) YES
11.12/4.55	
11.12/4.55	
11.12/4.55	----------------------------------------
11.12/4.55	
11.12/4.55	(0)
11.12/4.55	Obligation:
11.12/4.55	mainModule Main 
11.12/4.55	module Main where {
11.12/4.55	import qualified Prelude;
11.12/4.55	}
11.12/4.55	
11.12/4.55	----------------------------------------
11.12/4.55	
11.12/4.55	(1) BR (EQUIVALENT)
11.12/4.55	Replaced joker patterns by fresh variables and removed binding patterns.
11.12/4.55	----------------------------------------
11.12/4.55	
11.12/4.55	(2)
11.12/4.55	Obligation:
11.12/4.55	mainModule Main 
11.12/4.55	module Main where {
11.12/4.55	import qualified Prelude;
11.12/4.55	}
11.12/4.55	
11.12/4.55	----------------------------------------
11.12/4.55	
11.12/4.55	(3) COR (EQUIVALENT)
11.12/4.55	Cond Reductions:
11.12/4.55	The following Function with conditions
11.12/4.55	"undefined |Falseundefined;
11.12/4.55	"
11.12/4.55	is transformed to
11.12/4.55	"undefined  = undefined1;
11.12/4.55	"
11.12/4.55	"undefined0 True = undefined;
11.12/4.55	"
11.12/4.55	"undefined1  = undefined0 False;
11.12/4.55	"
11.12/4.55	
11.12/4.55	----------------------------------------
11.12/4.55	
11.12/4.55	(4)
11.12/4.55	Obligation:
11.12/4.55	mainModule Main 
11.12/4.55	module Main where {
11.12/4.55	import qualified Prelude;
11.12/4.55	}
11.12/4.55	
11.12/4.55	----------------------------------------
11.12/4.55	
11.12/4.55	(5) Narrow (SOUND)
11.12/4.55	Haskell To QDPs
11.12/4.55	
11.12/4.55	digraph dp_graph {
11.12/4.55	node [outthreshold=100, inthreshold=100];1[label="(==)",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
11.12/4.55	3[label="(==) xv3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
11.12/4.55	4[label="(==) xv3 xv4",fontsize=16,color="burlywood",shape="triangle"];805[label="xv3/(xv30,xv31)",fontsize=10,color="white",style="solid",shape="box"];4 -> 805[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	805 -> 5[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	5[label="(==) (xv30,xv31) xv4",fontsize=16,color="burlywood",shape="box"];806[label="xv4/(xv40,xv41)",fontsize=10,color="white",style="solid",shape="box"];5 -> 806[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	806 -> 6[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	6[label="(==) (xv30,xv31) (xv40,xv41)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
11.12/4.55	7 -> 217[label="",style="dashed", color="red", weight=0];
11.12/4.55	7[label="xv30 == xv40 && xv31 == xv41",fontsize=16,color="magenta"];7 -> 218[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	7 -> 219[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	218[label="xv31 == xv41",fontsize=16,color="blue",shape="box"];807[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 807[label="",style="solid", color="blue", weight=9];
11.12/4.55	807 -> 222[label="",style="solid", color="blue", weight=3];
11.12/4.55	808[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 808[label="",style="solid", color="blue", weight=9];
11.12/4.55	808 -> 223[label="",style="solid", color="blue", weight=3];
11.12/4.55	809[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 809[label="",style="solid", color="blue", weight=9];
11.12/4.55	809 -> 224[label="",style="solid", color="blue", weight=3];
11.12/4.55	810[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 810[label="",style="solid", color="blue", weight=9];
11.12/4.55	810 -> 225[label="",style="solid", color="blue", weight=3];
11.12/4.55	811[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 811[label="",style="solid", color="blue", weight=9];
11.12/4.55	811 -> 226[label="",style="solid", color="blue", weight=3];
11.12/4.55	812[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 812[label="",style="solid", color="blue", weight=9];
11.12/4.55	812 -> 227[label="",style="solid", color="blue", weight=3];
11.12/4.55	813[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 813[label="",style="solid", color="blue", weight=9];
11.12/4.55	813 -> 228[label="",style="solid", color="blue", weight=3];
11.12/4.55	814[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 814[label="",style="solid", color="blue", weight=9];
11.12/4.55	814 -> 229[label="",style="solid", color="blue", weight=3];
11.12/4.55	815[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 815[label="",style="solid", color="blue", weight=9];
11.12/4.55	815 -> 230[label="",style="solid", color="blue", weight=3];
11.12/4.55	816[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 816[label="",style="solid", color="blue", weight=9];
11.12/4.55	816 -> 231[label="",style="solid", color="blue", weight=3];
11.12/4.55	817[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 817[label="",style="solid", color="blue", weight=9];
11.12/4.55	817 -> 232[label="",style="solid", color="blue", weight=3];
11.12/4.55	818[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 818[label="",style="solid", color="blue", weight=9];
11.12/4.55	818 -> 233[label="",style="solid", color="blue", weight=3];
11.12/4.55	819[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 819[label="",style="solid", color="blue", weight=9];
11.12/4.55	819 -> 234[label="",style="solid", color="blue", weight=3];
11.12/4.55	820[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];218 -> 820[label="",style="solid", color="blue", weight=9];
11.12/4.55	820 -> 235[label="",style="solid", color="blue", weight=3];
11.12/4.55	219[label="xv30 == xv40",fontsize=16,color="blue",shape="box"];821[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 821[label="",style="solid", color="blue", weight=9];
11.12/4.55	821 -> 236[label="",style="solid", color="blue", weight=3];
11.12/4.55	822[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 822[label="",style="solid", color="blue", weight=9];
11.12/4.55	822 -> 237[label="",style="solid", color="blue", weight=3];
11.12/4.55	823[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 823[label="",style="solid", color="blue", weight=9];
11.12/4.55	823 -> 238[label="",style="solid", color="blue", weight=3];
11.12/4.55	824[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 824[label="",style="solid", color="blue", weight=9];
11.12/4.55	824 -> 239[label="",style="solid", color="blue", weight=3];
11.12/4.55	825[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 825[label="",style="solid", color="blue", weight=9];
11.12/4.55	825 -> 240[label="",style="solid", color="blue", weight=3];
11.12/4.55	826[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 826[label="",style="solid", color="blue", weight=9];
11.12/4.55	826 -> 241[label="",style="solid", color="blue", weight=3];
11.12/4.55	827[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 827[label="",style="solid", color="blue", weight=9];
11.12/4.55	827 -> 242[label="",style="solid", color="blue", weight=3];
11.12/4.55	828[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 828[label="",style="solid", color="blue", weight=9];
11.12/4.55	828 -> 243[label="",style="solid", color="blue", weight=3];
11.12/4.55	829[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 829[label="",style="solid", color="blue", weight=9];
11.12/4.55	829 -> 244[label="",style="solid", color="blue", weight=3];
11.12/4.55	830[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 830[label="",style="solid", color="blue", weight=9];
11.12/4.55	830 -> 245[label="",style="solid", color="blue", weight=3];
11.12/4.55	831[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 831[label="",style="solid", color="blue", weight=9];
11.12/4.55	831 -> 246[label="",style="solid", color="blue", weight=3];
11.12/4.55	832[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 832[label="",style="solid", color="blue", weight=9];
11.12/4.55	832 -> 247[label="",style="solid", color="blue", weight=3];
11.12/4.55	833[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 833[label="",style="solid", color="blue", weight=9];
11.12/4.55	833 -> 248[label="",style="solid", color="blue", weight=3];
11.12/4.55	834[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];219 -> 834[label="",style="solid", color="blue", weight=9];
11.12/4.55	834 -> 249[label="",style="solid", color="blue", weight=3];
11.12/4.55	217[label="xv16 && xv17",fontsize=16,color="burlywood",shape="triangle"];835[label="xv16/False",fontsize=10,color="white",style="solid",shape="box"];217 -> 835[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	835 -> 250[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	836[label="xv16/True",fontsize=10,color="white",style="solid",shape="box"];217 -> 836[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	836 -> 251[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	222[label="xv31 == xv41",fontsize=16,color="black",shape="triangle"];222 -> 252[label="",style="solid", color="black", weight=3];
11.12/4.55	223[label="xv31 == xv41",fontsize=16,color="burlywood",shape="triangle"];837[label="xv31/Left xv310",fontsize=10,color="white",style="solid",shape="box"];223 -> 837[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	837 -> 253[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	838[label="xv31/Right xv310",fontsize=10,color="white",style="solid",shape="box"];223 -> 838[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	838 -> 254[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	224[label="xv31 == xv41",fontsize=16,color="burlywood",shape="triangle"];839[label="xv31/()",fontsize=10,color="white",style="solid",shape="box"];224 -> 839[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	839 -> 255[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	225 -> 4[label="",style="dashed", color="red", weight=0];
11.12/4.55	225[label="xv31 == xv41",fontsize=16,color="magenta"];225 -> 256[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	225 -> 257[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	226[label="xv31 == xv41",fontsize=16,color="burlywood",shape="triangle"];840[label="xv31/(xv310,xv311,xv312)",fontsize=10,color="white",style="solid",shape="box"];226 -> 840[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	840 -> 258[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	227[label="xv31 == xv41",fontsize=16,color="burlywood",shape="triangle"];841[label="xv31/Nothing",fontsize=10,color="white",style="solid",shape="box"];227 -> 841[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	841 -> 259[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	842[label="xv31/Just xv310",fontsize=10,color="white",style="solid",shape="box"];227 -> 842[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	842 -> 260[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	228[label="xv31 == xv41",fontsize=16,color="burlywood",shape="triangle"];843[label="xv31/xv310 : xv311",fontsize=10,color="white",style="solid",shape="box"];228 -> 843[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	843 -> 261[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	844[label="xv31/[]",fontsize=10,color="white",style="solid",shape="box"];228 -> 844[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	844 -> 262[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	229[label="xv31 == xv41",fontsize=16,color="black",shape="triangle"];229 -> 263[label="",style="solid", color="black", weight=3];
11.12/4.55	230[label="xv31 == xv41",fontsize=16,color="burlywood",shape="triangle"];845[label="xv31/xv310 :% xv311",fontsize=10,color="white",style="solid",shape="box"];230 -> 845[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	845 -> 264[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	231[label="xv31 == xv41",fontsize=16,color="black",shape="triangle"];231 -> 265[label="",style="solid", color="black", weight=3];
11.12/4.55	232[label="xv31 == xv41",fontsize=16,color="black",shape="triangle"];232 -> 266[label="",style="solid", color="black", weight=3];
11.12/4.55	233[label="xv31 == xv41",fontsize=16,color="burlywood",shape="triangle"];846[label="xv31/False",fontsize=10,color="white",style="solid",shape="box"];233 -> 846[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	846 -> 267[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	847[label="xv31/True",fontsize=10,color="white",style="solid",shape="box"];233 -> 847[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	847 -> 268[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	234[label="xv31 == xv41",fontsize=16,color="burlywood",shape="triangle"];848[label="xv31/LT",fontsize=10,color="white",style="solid",shape="box"];234 -> 848[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	848 -> 269[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	849[label="xv31/EQ",fontsize=10,color="white",style="solid",shape="box"];234 -> 849[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	849 -> 270[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	850[label="xv31/GT",fontsize=10,color="white",style="solid",shape="box"];234 -> 850[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	850 -> 271[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	235[label="xv31 == xv41",fontsize=16,color="burlywood",shape="triangle"];851[label="xv31/Integer xv310",fontsize=10,color="white",style="solid",shape="box"];235 -> 851[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	851 -> 272[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	236 -> 222[label="",style="dashed", color="red", weight=0];
11.12/4.55	236[label="xv30 == xv40",fontsize=16,color="magenta"];236 -> 273[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	236 -> 274[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	237 -> 223[label="",style="dashed", color="red", weight=0];
11.12/4.55	237[label="xv30 == xv40",fontsize=16,color="magenta"];237 -> 275[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	237 -> 276[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	238 -> 224[label="",style="dashed", color="red", weight=0];
11.12/4.55	238[label="xv30 == xv40",fontsize=16,color="magenta"];238 -> 277[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	238 -> 278[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	239 -> 4[label="",style="dashed", color="red", weight=0];
11.12/4.55	239[label="xv30 == xv40",fontsize=16,color="magenta"];239 -> 279[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	239 -> 280[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	240 -> 226[label="",style="dashed", color="red", weight=0];
11.12/4.55	240[label="xv30 == xv40",fontsize=16,color="magenta"];240 -> 281[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	240 -> 282[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	241 -> 227[label="",style="dashed", color="red", weight=0];
11.12/4.55	241[label="xv30 == xv40",fontsize=16,color="magenta"];241 -> 283[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	241 -> 284[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	242 -> 228[label="",style="dashed", color="red", weight=0];
11.12/4.55	242[label="xv30 == xv40",fontsize=16,color="magenta"];242 -> 285[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	242 -> 286[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	243 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.55	243[label="xv30 == xv40",fontsize=16,color="magenta"];243 -> 287[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	243 -> 288[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	244 -> 230[label="",style="dashed", color="red", weight=0];
11.12/4.55	244[label="xv30 == xv40",fontsize=16,color="magenta"];244 -> 289[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	244 -> 290[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	245 -> 231[label="",style="dashed", color="red", weight=0];
11.12/4.55	245[label="xv30 == xv40",fontsize=16,color="magenta"];245 -> 291[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	245 -> 292[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	246 -> 232[label="",style="dashed", color="red", weight=0];
11.12/4.55	246[label="xv30 == xv40",fontsize=16,color="magenta"];246 -> 293[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	246 -> 294[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	247 -> 233[label="",style="dashed", color="red", weight=0];
11.12/4.55	247[label="xv30 == xv40",fontsize=16,color="magenta"];247 -> 295[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	247 -> 296[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	248 -> 234[label="",style="dashed", color="red", weight=0];
11.12/4.55	248[label="xv30 == xv40",fontsize=16,color="magenta"];248 -> 297[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	248 -> 298[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	249 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.55	249[label="xv30 == xv40",fontsize=16,color="magenta"];249 -> 299[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	249 -> 300[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	250[label="False && xv17",fontsize=16,color="black",shape="box"];250 -> 301[label="",style="solid", color="black", weight=3];
11.12/4.55	251[label="True && xv17",fontsize=16,color="black",shape="box"];251 -> 302[label="",style="solid", color="black", weight=3];
11.12/4.55	252[label="primEqChar xv31 xv41",fontsize=16,color="burlywood",shape="box"];852[label="xv31/Char xv310",fontsize=10,color="white",style="solid",shape="box"];252 -> 852[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	852 -> 303[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	253[label="Left xv310 == xv41",fontsize=16,color="burlywood",shape="box"];853[label="xv41/Left xv410",fontsize=10,color="white",style="solid",shape="box"];253 -> 853[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	853 -> 304[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	854[label="xv41/Right xv410",fontsize=10,color="white",style="solid",shape="box"];253 -> 854[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	854 -> 305[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	254[label="Right xv310 == xv41",fontsize=16,color="burlywood",shape="box"];855[label="xv41/Left xv410",fontsize=10,color="white",style="solid",shape="box"];254 -> 855[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	855 -> 306[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	856[label="xv41/Right xv410",fontsize=10,color="white",style="solid",shape="box"];254 -> 856[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	856 -> 307[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	255[label="() == xv41",fontsize=16,color="burlywood",shape="box"];857[label="xv41/()",fontsize=10,color="white",style="solid",shape="box"];255 -> 857[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	857 -> 308[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	256[label="xv41",fontsize=16,color="green",shape="box"];257[label="xv31",fontsize=16,color="green",shape="box"];258[label="(xv310,xv311,xv312) == xv41",fontsize=16,color="burlywood",shape="box"];858[label="xv41/(xv410,xv411,xv412)",fontsize=10,color="white",style="solid",shape="box"];258 -> 858[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	858 -> 309[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	259[label="Nothing == xv41",fontsize=16,color="burlywood",shape="box"];859[label="xv41/Nothing",fontsize=10,color="white",style="solid",shape="box"];259 -> 859[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	859 -> 310[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	860[label="xv41/Just xv410",fontsize=10,color="white",style="solid",shape="box"];259 -> 860[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	860 -> 311[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	260[label="Just xv310 == xv41",fontsize=16,color="burlywood",shape="box"];861[label="xv41/Nothing",fontsize=10,color="white",style="solid",shape="box"];260 -> 861[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	861 -> 312[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	862[label="xv41/Just xv410",fontsize=10,color="white",style="solid",shape="box"];260 -> 862[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	862 -> 313[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	261[label="xv310 : xv311 == xv41",fontsize=16,color="burlywood",shape="box"];863[label="xv41/xv410 : xv411",fontsize=10,color="white",style="solid",shape="box"];261 -> 863[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	863 -> 314[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	864[label="xv41/[]",fontsize=10,color="white",style="solid",shape="box"];261 -> 864[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	864 -> 315[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	262[label="[] == xv41",fontsize=16,color="burlywood",shape="box"];865[label="xv41/xv410 : xv411",fontsize=10,color="white",style="solid",shape="box"];262 -> 865[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	865 -> 316[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	866[label="xv41/[]",fontsize=10,color="white",style="solid",shape="box"];262 -> 866[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	866 -> 317[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	263[label="primEqInt xv31 xv41",fontsize=16,color="burlywood",shape="triangle"];867[label="xv31/Pos xv310",fontsize=10,color="white",style="solid",shape="box"];263 -> 867[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	867 -> 318[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	868[label="xv31/Neg xv310",fontsize=10,color="white",style="solid",shape="box"];263 -> 868[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	868 -> 319[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	264[label="xv310 :% xv311 == xv41",fontsize=16,color="burlywood",shape="box"];869[label="xv41/xv410 :% xv411",fontsize=10,color="white",style="solid",shape="box"];264 -> 869[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	869 -> 320[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	265[label="primEqDouble xv31 xv41",fontsize=16,color="burlywood",shape="box"];870[label="xv31/Double xv310 xv311",fontsize=10,color="white",style="solid",shape="box"];265 -> 870[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	870 -> 321[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	266[label="primEqFloat xv31 xv41",fontsize=16,color="burlywood",shape="box"];871[label="xv31/Float xv310 xv311",fontsize=10,color="white",style="solid",shape="box"];266 -> 871[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	871 -> 322[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	267[label="False == xv41",fontsize=16,color="burlywood",shape="box"];872[label="xv41/False",fontsize=10,color="white",style="solid",shape="box"];267 -> 872[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	872 -> 323[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	873[label="xv41/True",fontsize=10,color="white",style="solid",shape="box"];267 -> 873[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	873 -> 324[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	268[label="True == xv41",fontsize=16,color="burlywood",shape="box"];874[label="xv41/False",fontsize=10,color="white",style="solid",shape="box"];268 -> 874[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	874 -> 325[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	875[label="xv41/True",fontsize=10,color="white",style="solid",shape="box"];268 -> 875[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	875 -> 326[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	269[label="LT == xv41",fontsize=16,color="burlywood",shape="box"];876[label="xv41/LT",fontsize=10,color="white",style="solid",shape="box"];269 -> 876[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	876 -> 327[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	877[label="xv41/EQ",fontsize=10,color="white",style="solid",shape="box"];269 -> 877[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	877 -> 328[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	878[label="xv41/GT",fontsize=10,color="white",style="solid",shape="box"];269 -> 878[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	878 -> 329[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	270[label="EQ == xv41",fontsize=16,color="burlywood",shape="box"];879[label="xv41/LT",fontsize=10,color="white",style="solid",shape="box"];270 -> 879[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	879 -> 330[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	880[label="xv41/EQ",fontsize=10,color="white",style="solid",shape="box"];270 -> 880[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	880 -> 331[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	881[label="xv41/GT",fontsize=10,color="white",style="solid",shape="box"];270 -> 881[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	881 -> 332[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	271[label="GT == xv41",fontsize=16,color="burlywood",shape="box"];882[label="xv41/LT",fontsize=10,color="white",style="solid",shape="box"];271 -> 882[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	882 -> 333[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	883[label="xv41/EQ",fontsize=10,color="white",style="solid",shape="box"];271 -> 883[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	883 -> 334[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	884[label="xv41/GT",fontsize=10,color="white",style="solid",shape="box"];271 -> 884[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	884 -> 335[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	272[label="Integer xv310 == xv41",fontsize=16,color="burlywood",shape="box"];885[label="xv41/Integer xv410",fontsize=10,color="white",style="solid",shape="box"];272 -> 885[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	885 -> 336[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	273[label="xv40",fontsize=16,color="green",shape="box"];274[label="xv30",fontsize=16,color="green",shape="box"];275[label="xv40",fontsize=16,color="green",shape="box"];276[label="xv30",fontsize=16,color="green",shape="box"];277[label="xv40",fontsize=16,color="green",shape="box"];278[label="xv30",fontsize=16,color="green",shape="box"];279[label="xv40",fontsize=16,color="green",shape="box"];280[label="xv30",fontsize=16,color="green",shape="box"];281[label="xv40",fontsize=16,color="green",shape="box"];282[label="xv30",fontsize=16,color="green",shape="box"];283[label="xv40",fontsize=16,color="green",shape="box"];284[label="xv30",fontsize=16,color="green",shape="box"];285[label="xv40",fontsize=16,color="green",shape="box"];286[label="xv30",fontsize=16,color="green",shape="box"];287[label="xv40",fontsize=16,color="green",shape="box"];288[label="xv30",fontsize=16,color="green",shape="box"];289[label="xv40",fontsize=16,color="green",shape="box"];290[label="xv30",fontsize=16,color="green",shape="box"];291[label="xv40",fontsize=16,color="green",shape="box"];292[label="xv30",fontsize=16,color="green",shape="box"];293[label="xv40",fontsize=16,color="green",shape="box"];294[label="xv30",fontsize=16,color="green",shape="box"];295[label="xv40",fontsize=16,color="green",shape="box"];296[label="xv30",fontsize=16,color="green",shape="box"];297[label="xv40",fontsize=16,color="green",shape="box"];298[label="xv30",fontsize=16,color="green",shape="box"];299[label="xv40",fontsize=16,color="green",shape="box"];300[label="xv30",fontsize=16,color="green",shape="box"];301[label="False",fontsize=16,color="green",shape="box"];302[label="xv17",fontsize=16,color="green",shape="box"];303[label="primEqChar (Char xv310) xv41",fontsize=16,color="burlywood",shape="box"];886[label="xv41/Char xv410",fontsize=10,color="white",style="solid",shape="box"];303 -> 886[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	886 -> 337[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	304[label="Left xv310 == Left xv410",fontsize=16,color="black",shape="box"];304 -> 338[label="",style="solid", color="black", weight=3];
11.12/4.55	305[label="Left xv310 == Right xv410",fontsize=16,color="black",shape="box"];305 -> 339[label="",style="solid", color="black", weight=3];
11.12/4.55	306[label="Right xv310 == Left xv410",fontsize=16,color="black",shape="box"];306 -> 340[label="",style="solid", color="black", weight=3];
11.12/4.55	307[label="Right xv310 == Right xv410",fontsize=16,color="black",shape="box"];307 -> 341[label="",style="solid", color="black", weight=3];
11.12/4.55	308[label="() == ()",fontsize=16,color="black",shape="box"];308 -> 342[label="",style="solid", color="black", weight=3];
11.12/4.55	309[label="(xv310,xv311,xv312) == (xv410,xv411,xv412)",fontsize=16,color="black",shape="box"];309 -> 343[label="",style="solid", color="black", weight=3];
11.12/4.55	310[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];310 -> 344[label="",style="solid", color="black", weight=3];
11.12/4.55	311[label="Nothing == Just xv410",fontsize=16,color="black",shape="box"];311 -> 345[label="",style="solid", color="black", weight=3];
11.12/4.55	312[label="Just xv310 == Nothing",fontsize=16,color="black",shape="box"];312 -> 346[label="",style="solid", color="black", weight=3];
11.12/4.55	313[label="Just xv310 == Just xv410",fontsize=16,color="black",shape="box"];313 -> 347[label="",style="solid", color="black", weight=3];
11.12/4.55	314[label="xv310 : xv311 == xv410 : xv411",fontsize=16,color="black",shape="box"];314 -> 348[label="",style="solid", color="black", weight=3];
11.12/4.55	315[label="xv310 : xv311 == []",fontsize=16,color="black",shape="box"];315 -> 349[label="",style="solid", color="black", weight=3];
11.12/4.55	316[label="[] == xv410 : xv411",fontsize=16,color="black",shape="box"];316 -> 350[label="",style="solid", color="black", weight=3];
11.12/4.55	317[label="[] == []",fontsize=16,color="black",shape="box"];317 -> 351[label="",style="solid", color="black", weight=3];
11.12/4.55	318[label="primEqInt (Pos xv310) xv41",fontsize=16,color="burlywood",shape="box"];887[label="xv310/Succ xv3100",fontsize=10,color="white",style="solid",shape="box"];318 -> 887[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	887 -> 352[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	888[label="xv310/Zero",fontsize=10,color="white",style="solid",shape="box"];318 -> 888[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	888 -> 353[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	319[label="primEqInt (Neg xv310) xv41",fontsize=16,color="burlywood",shape="box"];889[label="xv310/Succ xv3100",fontsize=10,color="white",style="solid",shape="box"];319 -> 889[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	889 -> 354[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	890[label="xv310/Zero",fontsize=10,color="white",style="solid",shape="box"];319 -> 890[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	890 -> 355[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	320[label="xv310 :% xv311 == xv410 :% xv411",fontsize=16,color="black",shape="box"];320 -> 356[label="",style="solid", color="black", weight=3];
11.12/4.55	321[label="primEqDouble (Double xv310 xv311) xv41",fontsize=16,color="burlywood",shape="box"];891[label="xv41/Double xv410 xv411",fontsize=10,color="white",style="solid",shape="box"];321 -> 891[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	891 -> 357[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	322[label="primEqFloat (Float xv310 xv311) xv41",fontsize=16,color="burlywood",shape="box"];892[label="xv41/Float xv410 xv411",fontsize=10,color="white",style="solid",shape="box"];322 -> 892[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	892 -> 358[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	323[label="False == False",fontsize=16,color="black",shape="box"];323 -> 359[label="",style="solid", color="black", weight=3];
11.12/4.55	324[label="False == True",fontsize=16,color="black",shape="box"];324 -> 360[label="",style="solid", color="black", weight=3];
11.12/4.55	325[label="True == False",fontsize=16,color="black",shape="box"];325 -> 361[label="",style="solid", color="black", weight=3];
11.12/4.55	326[label="True == True",fontsize=16,color="black",shape="box"];326 -> 362[label="",style="solid", color="black", weight=3];
11.12/4.55	327[label="LT == LT",fontsize=16,color="black",shape="box"];327 -> 363[label="",style="solid", color="black", weight=3];
11.12/4.55	328[label="LT == EQ",fontsize=16,color="black",shape="box"];328 -> 364[label="",style="solid", color="black", weight=3];
11.12/4.55	329[label="LT == GT",fontsize=16,color="black",shape="box"];329 -> 365[label="",style="solid", color="black", weight=3];
11.12/4.55	330[label="EQ == LT",fontsize=16,color="black",shape="box"];330 -> 366[label="",style="solid", color="black", weight=3];
11.12/4.55	331[label="EQ == EQ",fontsize=16,color="black",shape="box"];331 -> 367[label="",style="solid", color="black", weight=3];
11.12/4.55	332[label="EQ == GT",fontsize=16,color="black",shape="box"];332 -> 368[label="",style="solid", color="black", weight=3];
11.12/4.55	333[label="GT == LT",fontsize=16,color="black",shape="box"];333 -> 369[label="",style="solid", color="black", weight=3];
11.12/4.55	334[label="GT == EQ",fontsize=16,color="black",shape="box"];334 -> 370[label="",style="solid", color="black", weight=3];
11.12/4.55	335[label="GT == GT",fontsize=16,color="black",shape="box"];335 -> 371[label="",style="solid", color="black", weight=3];
11.12/4.55	336[label="Integer xv310 == Integer xv410",fontsize=16,color="black",shape="box"];336 -> 372[label="",style="solid", color="black", weight=3];
11.12/4.55	337[label="primEqChar (Char xv310) (Char xv410)",fontsize=16,color="black",shape="box"];337 -> 373[label="",style="solid", color="black", weight=3];
11.12/4.55	338[label="xv310 == xv410",fontsize=16,color="blue",shape="box"];893[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 893[label="",style="solid", color="blue", weight=9];
11.12/4.55	893 -> 374[label="",style="solid", color="blue", weight=3];
11.12/4.55	894[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 894[label="",style="solid", color="blue", weight=9];
11.12/4.55	894 -> 375[label="",style="solid", color="blue", weight=3];
11.12/4.55	895[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 895[label="",style="solid", color="blue", weight=9];
11.12/4.55	895 -> 376[label="",style="solid", color="blue", weight=3];
11.12/4.55	896[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 896[label="",style="solid", color="blue", weight=9];
11.12/4.55	896 -> 377[label="",style="solid", color="blue", weight=3];
11.12/4.55	897[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 897[label="",style="solid", color="blue", weight=9];
11.12/4.55	897 -> 378[label="",style="solid", color="blue", weight=3];
11.12/4.55	898[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 898[label="",style="solid", color="blue", weight=9];
11.12/4.55	898 -> 379[label="",style="solid", color="blue", weight=3];
11.12/4.55	899[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 899[label="",style="solid", color="blue", weight=9];
11.12/4.55	899 -> 380[label="",style="solid", color="blue", weight=3];
11.12/4.55	900[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 900[label="",style="solid", color="blue", weight=9];
11.12/4.55	900 -> 381[label="",style="solid", color="blue", weight=3];
11.12/4.55	901[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 901[label="",style="solid", color="blue", weight=9];
11.12/4.55	901 -> 382[label="",style="solid", color="blue", weight=3];
11.12/4.55	902[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 902[label="",style="solid", color="blue", weight=9];
11.12/4.55	902 -> 383[label="",style="solid", color="blue", weight=3];
11.12/4.55	903[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 903[label="",style="solid", color="blue", weight=9];
11.12/4.55	903 -> 384[label="",style="solid", color="blue", weight=3];
11.12/4.55	904[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 904[label="",style="solid", color="blue", weight=9];
11.12/4.55	904 -> 385[label="",style="solid", color="blue", weight=3];
11.12/4.55	905[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 905[label="",style="solid", color="blue", weight=9];
11.12/4.55	905 -> 386[label="",style="solid", color="blue", weight=3];
11.12/4.55	906[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];338 -> 906[label="",style="solid", color="blue", weight=9];
11.12/4.55	906 -> 387[label="",style="solid", color="blue", weight=3];
11.12/4.55	339[label="False",fontsize=16,color="green",shape="box"];340[label="False",fontsize=16,color="green",shape="box"];341[label="xv310 == xv410",fontsize=16,color="blue",shape="box"];907[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 907[label="",style="solid", color="blue", weight=9];
11.12/4.55	907 -> 388[label="",style="solid", color="blue", weight=3];
11.12/4.55	908[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 908[label="",style="solid", color="blue", weight=9];
11.12/4.55	908 -> 389[label="",style="solid", color="blue", weight=3];
11.12/4.55	909[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 909[label="",style="solid", color="blue", weight=9];
11.12/4.55	909 -> 390[label="",style="solid", color="blue", weight=3];
11.12/4.55	910[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 910[label="",style="solid", color="blue", weight=9];
11.12/4.55	910 -> 391[label="",style="solid", color="blue", weight=3];
11.12/4.55	911[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 911[label="",style="solid", color="blue", weight=9];
11.12/4.55	911 -> 392[label="",style="solid", color="blue", weight=3];
11.12/4.55	912[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 912[label="",style="solid", color="blue", weight=9];
11.12/4.55	912 -> 393[label="",style="solid", color="blue", weight=3];
11.12/4.55	913[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 913[label="",style="solid", color="blue", weight=9];
11.12/4.55	913 -> 394[label="",style="solid", color="blue", weight=3];
11.12/4.55	914[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 914[label="",style="solid", color="blue", weight=9];
11.12/4.55	914 -> 395[label="",style="solid", color="blue", weight=3];
11.12/4.55	915[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 915[label="",style="solid", color="blue", weight=9];
11.12/4.55	915 -> 396[label="",style="solid", color="blue", weight=3];
11.12/4.55	916[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 916[label="",style="solid", color="blue", weight=9];
11.12/4.55	916 -> 397[label="",style="solid", color="blue", weight=3];
11.12/4.55	917[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 917[label="",style="solid", color="blue", weight=9];
11.12/4.55	917 -> 398[label="",style="solid", color="blue", weight=3];
11.12/4.55	918[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 918[label="",style="solid", color="blue", weight=9];
11.12/4.55	918 -> 399[label="",style="solid", color="blue", weight=3];
11.12/4.55	919[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 919[label="",style="solid", color="blue", weight=9];
11.12/4.55	919 -> 400[label="",style="solid", color="blue", weight=3];
11.12/4.55	920[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];341 -> 920[label="",style="solid", color="blue", weight=9];
11.12/4.55	920 -> 401[label="",style="solid", color="blue", weight=3];
11.12/4.55	342[label="True",fontsize=16,color="green",shape="box"];343 -> 217[label="",style="dashed", color="red", weight=0];
11.12/4.55	343[label="xv310 == xv410 && xv311 == xv411 && xv312 == xv412",fontsize=16,color="magenta"];343 -> 402[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	343 -> 403[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	344[label="True",fontsize=16,color="green",shape="box"];345[label="False",fontsize=16,color="green",shape="box"];346[label="False",fontsize=16,color="green",shape="box"];347[label="xv310 == xv410",fontsize=16,color="blue",shape="box"];921[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 921[label="",style="solid", color="blue", weight=9];
11.12/4.55	921 -> 404[label="",style="solid", color="blue", weight=3];
11.12/4.55	922[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 922[label="",style="solid", color="blue", weight=9];
11.12/4.55	922 -> 405[label="",style="solid", color="blue", weight=3];
11.12/4.55	923[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 923[label="",style="solid", color="blue", weight=9];
11.12/4.55	923 -> 406[label="",style="solid", color="blue", weight=3];
11.12/4.55	924[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 924[label="",style="solid", color="blue", weight=9];
11.12/4.55	924 -> 407[label="",style="solid", color="blue", weight=3];
11.12/4.55	925[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 925[label="",style="solid", color="blue", weight=9];
11.12/4.55	925 -> 408[label="",style="solid", color="blue", weight=3];
11.12/4.55	926[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 926[label="",style="solid", color="blue", weight=9];
11.12/4.55	926 -> 409[label="",style="solid", color="blue", weight=3];
11.12/4.55	927[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 927[label="",style="solid", color="blue", weight=9];
11.12/4.55	927 -> 410[label="",style="solid", color="blue", weight=3];
11.12/4.55	928[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 928[label="",style="solid", color="blue", weight=9];
11.12/4.55	928 -> 411[label="",style="solid", color="blue", weight=3];
11.12/4.55	929[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 929[label="",style="solid", color="blue", weight=9];
11.12/4.55	929 -> 412[label="",style="solid", color="blue", weight=3];
11.12/4.55	930[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 930[label="",style="solid", color="blue", weight=9];
11.12/4.55	930 -> 413[label="",style="solid", color="blue", weight=3];
11.12/4.55	931[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 931[label="",style="solid", color="blue", weight=9];
11.12/4.55	931 -> 414[label="",style="solid", color="blue", weight=3];
11.12/4.55	932[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 932[label="",style="solid", color="blue", weight=9];
11.12/4.55	932 -> 415[label="",style="solid", color="blue", weight=3];
11.12/4.55	933[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 933[label="",style="solid", color="blue", weight=9];
11.12/4.55	933 -> 416[label="",style="solid", color="blue", weight=3];
11.12/4.55	934[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];347 -> 934[label="",style="solid", color="blue", weight=9];
11.12/4.55	934 -> 417[label="",style="solid", color="blue", weight=3];
11.12/4.55	348 -> 217[label="",style="dashed", color="red", weight=0];
11.12/4.55	348[label="xv310 == xv410 && xv311 == xv411",fontsize=16,color="magenta"];348 -> 418[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	348 -> 419[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	349[label="False",fontsize=16,color="green",shape="box"];350[label="False",fontsize=16,color="green",shape="box"];351[label="True",fontsize=16,color="green",shape="box"];352[label="primEqInt (Pos (Succ xv3100)) xv41",fontsize=16,color="burlywood",shape="box"];935[label="xv41/Pos xv410",fontsize=10,color="white",style="solid",shape="box"];352 -> 935[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	935 -> 420[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	936[label="xv41/Neg xv410",fontsize=10,color="white",style="solid",shape="box"];352 -> 936[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	936 -> 421[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	353[label="primEqInt (Pos Zero) xv41",fontsize=16,color="burlywood",shape="box"];937[label="xv41/Pos xv410",fontsize=10,color="white",style="solid",shape="box"];353 -> 937[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	937 -> 422[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	938[label="xv41/Neg xv410",fontsize=10,color="white",style="solid",shape="box"];353 -> 938[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	938 -> 423[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	354[label="primEqInt (Neg (Succ xv3100)) xv41",fontsize=16,color="burlywood",shape="box"];939[label="xv41/Pos xv410",fontsize=10,color="white",style="solid",shape="box"];354 -> 939[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	939 -> 424[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	940[label="xv41/Neg xv410",fontsize=10,color="white",style="solid",shape="box"];354 -> 940[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	940 -> 425[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	355[label="primEqInt (Neg Zero) xv41",fontsize=16,color="burlywood",shape="box"];941[label="xv41/Pos xv410",fontsize=10,color="white",style="solid",shape="box"];355 -> 941[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	941 -> 426[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	942[label="xv41/Neg xv410",fontsize=10,color="white",style="solid",shape="box"];355 -> 942[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	942 -> 427[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	356 -> 217[label="",style="dashed", color="red", weight=0];
11.12/4.55	356[label="xv310 == xv410 && xv311 == xv411",fontsize=16,color="magenta"];356 -> 428[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	356 -> 429[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	357[label="primEqDouble (Double xv310 xv311) (Double xv410 xv411)",fontsize=16,color="black",shape="box"];357 -> 430[label="",style="solid", color="black", weight=3];
11.12/4.55	358[label="primEqFloat (Float xv310 xv311) (Float xv410 xv411)",fontsize=16,color="black",shape="box"];358 -> 431[label="",style="solid", color="black", weight=3];
11.12/4.55	359[label="True",fontsize=16,color="green",shape="box"];360[label="False",fontsize=16,color="green",shape="box"];361[label="False",fontsize=16,color="green",shape="box"];362[label="True",fontsize=16,color="green",shape="box"];363[label="True",fontsize=16,color="green",shape="box"];364[label="False",fontsize=16,color="green",shape="box"];365[label="False",fontsize=16,color="green",shape="box"];366[label="False",fontsize=16,color="green",shape="box"];367[label="True",fontsize=16,color="green",shape="box"];368[label="False",fontsize=16,color="green",shape="box"];369[label="False",fontsize=16,color="green",shape="box"];370[label="False",fontsize=16,color="green",shape="box"];371[label="True",fontsize=16,color="green",shape="box"];372 -> 263[label="",style="dashed", color="red", weight=0];
11.12/4.55	372[label="primEqInt xv310 xv410",fontsize=16,color="magenta"];372 -> 432[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	372 -> 433[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	373[label="primEqNat xv310 xv410",fontsize=16,color="burlywood",shape="triangle"];943[label="xv310/Succ xv3100",fontsize=10,color="white",style="solid",shape="box"];373 -> 943[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	943 -> 434[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	944[label="xv310/Zero",fontsize=10,color="white",style="solid",shape="box"];373 -> 944[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	944 -> 435[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	374 -> 222[label="",style="dashed", color="red", weight=0];
11.12/4.55	374[label="xv310 == xv410",fontsize=16,color="magenta"];374 -> 436[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	374 -> 437[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	375 -> 223[label="",style="dashed", color="red", weight=0];
11.12/4.55	375[label="xv310 == xv410",fontsize=16,color="magenta"];375 -> 438[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	375 -> 439[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	376 -> 224[label="",style="dashed", color="red", weight=0];
11.12/4.55	376[label="xv310 == xv410",fontsize=16,color="magenta"];376 -> 440[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	376 -> 441[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	377 -> 4[label="",style="dashed", color="red", weight=0];
11.12/4.55	377[label="xv310 == xv410",fontsize=16,color="magenta"];377 -> 442[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	377 -> 443[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	378 -> 226[label="",style="dashed", color="red", weight=0];
11.12/4.55	378[label="xv310 == xv410",fontsize=16,color="magenta"];378 -> 444[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	378 -> 445[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	379 -> 227[label="",style="dashed", color="red", weight=0];
11.12/4.55	379[label="xv310 == xv410",fontsize=16,color="magenta"];379 -> 446[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	379 -> 447[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	380 -> 228[label="",style="dashed", color="red", weight=0];
11.12/4.55	380[label="xv310 == xv410",fontsize=16,color="magenta"];380 -> 448[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	380 -> 449[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	381 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.55	381[label="xv310 == xv410",fontsize=16,color="magenta"];381 -> 450[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	381 -> 451[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	382 -> 230[label="",style="dashed", color="red", weight=0];
11.12/4.55	382[label="xv310 == xv410",fontsize=16,color="magenta"];382 -> 452[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	382 -> 453[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	383 -> 231[label="",style="dashed", color="red", weight=0];
11.12/4.55	383[label="xv310 == xv410",fontsize=16,color="magenta"];383 -> 454[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	383 -> 455[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	384 -> 232[label="",style="dashed", color="red", weight=0];
11.12/4.55	384[label="xv310 == xv410",fontsize=16,color="magenta"];384 -> 456[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	384 -> 457[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	385 -> 233[label="",style="dashed", color="red", weight=0];
11.12/4.55	385[label="xv310 == xv410",fontsize=16,color="magenta"];385 -> 458[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	385 -> 459[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	386 -> 234[label="",style="dashed", color="red", weight=0];
11.12/4.55	386[label="xv310 == xv410",fontsize=16,color="magenta"];386 -> 460[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	386 -> 461[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	387 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.55	387[label="xv310 == xv410",fontsize=16,color="magenta"];387 -> 462[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	387 -> 463[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	388 -> 222[label="",style="dashed", color="red", weight=0];
11.12/4.55	388[label="xv310 == xv410",fontsize=16,color="magenta"];388 -> 464[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	388 -> 465[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	389 -> 223[label="",style="dashed", color="red", weight=0];
11.12/4.55	389[label="xv310 == xv410",fontsize=16,color="magenta"];389 -> 466[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	389 -> 467[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	390 -> 224[label="",style="dashed", color="red", weight=0];
11.12/4.55	390[label="xv310 == xv410",fontsize=16,color="magenta"];390 -> 468[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	390 -> 469[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	391 -> 4[label="",style="dashed", color="red", weight=0];
11.12/4.55	391[label="xv310 == xv410",fontsize=16,color="magenta"];391 -> 470[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	391 -> 471[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	392 -> 226[label="",style="dashed", color="red", weight=0];
11.12/4.55	392[label="xv310 == xv410",fontsize=16,color="magenta"];392 -> 472[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	392 -> 473[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	393 -> 227[label="",style="dashed", color="red", weight=0];
11.12/4.55	393[label="xv310 == xv410",fontsize=16,color="magenta"];393 -> 474[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	393 -> 475[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	394 -> 228[label="",style="dashed", color="red", weight=0];
11.12/4.55	394[label="xv310 == xv410",fontsize=16,color="magenta"];394 -> 476[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	394 -> 477[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	395 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.55	395[label="xv310 == xv410",fontsize=16,color="magenta"];395 -> 478[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	395 -> 479[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	396 -> 230[label="",style="dashed", color="red", weight=0];
11.12/4.55	396[label="xv310 == xv410",fontsize=16,color="magenta"];396 -> 480[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	396 -> 481[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	397 -> 231[label="",style="dashed", color="red", weight=0];
11.12/4.55	397[label="xv310 == xv410",fontsize=16,color="magenta"];397 -> 482[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	397 -> 483[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	398 -> 232[label="",style="dashed", color="red", weight=0];
11.12/4.55	398[label="xv310 == xv410",fontsize=16,color="magenta"];398 -> 484[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	398 -> 485[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	399 -> 233[label="",style="dashed", color="red", weight=0];
11.12/4.55	399[label="xv310 == xv410",fontsize=16,color="magenta"];399 -> 486[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	399 -> 487[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	400 -> 234[label="",style="dashed", color="red", weight=0];
11.12/4.55	400[label="xv310 == xv410",fontsize=16,color="magenta"];400 -> 488[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	400 -> 489[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	401 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.55	401[label="xv310 == xv410",fontsize=16,color="magenta"];401 -> 490[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	401 -> 491[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	402 -> 217[label="",style="dashed", color="red", weight=0];
11.12/4.55	402[label="xv311 == xv411 && xv312 == xv412",fontsize=16,color="magenta"];402 -> 492[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	402 -> 493[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	403[label="xv310 == xv410",fontsize=16,color="blue",shape="box"];945[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 945[label="",style="solid", color="blue", weight=9];
11.12/4.55	945 -> 494[label="",style="solid", color="blue", weight=3];
11.12/4.55	946[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 946[label="",style="solid", color="blue", weight=9];
11.12/4.55	946 -> 495[label="",style="solid", color="blue", weight=3];
11.12/4.55	947[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 947[label="",style="solid", color="blue", weight=9];
11.12/4.55	947 -> 496[label="",style="solid", color="blue", weight=3];
11.12/4.55	948[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 948[label="",style="solid", color="blue", weight=9];
11.12/4.55	948 -> 497[label="",style="solid", color="blue", weight=3];
11.12/4.55	949[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 949[label="",style="solid", color="blue", weight=9];
11.12/4.55	949 -> 498[label="",style="solid", color="blue", weight=3];
11.12/4.55	950[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 950[label="",style="solid", color="blue", weight=9];
11.12/4.55	950 -> 499[label="",style="solid", color="blue", weight=3];
11.12/4.55	951[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 951[label="",style="solid", color="blue", weight=9];
11.12/4.55	951 -> 500[label="",style="solid", color="blue", weight=3];
11.12/4.55	952[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 952[label="",style="solid", color="blue", weight=9];
11.12/4.55	952 -> 501[label="",style="solid", color="blue", weight=3];
11.12/4.55	953[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 953[label="",style="solid", color="blue", weight=9];
11.12/4.55	953 -> 502[label="",style="solid", color="blue", weight=3];
11.12/4.55	954[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 954[label="",style="solid", color="blue", weight=9];
11.12/4.55	954 -> 503[label="",style="solid", color="blue", weight=3];
11.12/4.55	955[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 955[label="",style="solid", color="blue", weight=9];
11.12/4.55	955 -> 504[label="",style="solid", color="blue", weight=3];
11.12/4.55	956[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 956[label="",style="solid", color="blue", weight=9];
11.12/4.55	956 -> 505[label="",style="solid", color="blue", weight=3];
11.12/4.55	957[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 957[label="",style="solid", color="blue", weight=9];
11.12/4.55	957 -> 506[label="",style="solid", color="blue", weight=3];
11.12/4.55	958[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];403 -> 958[label="",style="solid", color="blue", weight=9];
11.12/4.55	958 -> 507[label="",style="solid", color="blue", weight=3];
11.12/4.55	404 -> 222[label="",style="dashed", color="red", weight=0];
11.12/4.55	404[label="xv310 == xv410",fontsize=16,color="magenta"];404 -> 508[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	404 -> 509[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	405 -> 223[label="",style="dashed", color="red", weight=0];
11.12/4.55	405[label="xv310 == xv410",fontsize=16,color="magenta"];405 -> 510[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	405 -> 511[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	406 -> 224[label="",style="dashed", color="red", weight=0];
11.12/4.55	406[label="xv310 == xv410",fontsize=16,color="magenta"];406 -> 512[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	406 -> 513[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	407 -> 4[label="",style="dashed", color="red", weight=0];
11.12/4.55	407[label="xv310 == xv410",fontsize=16,color="magenta"];407 -> 514[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	407 -> 515[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	408 -> 226[label="",style="dashed", color="red", weight=0];
11.12/4.55	408[label="xv310 == xv410",fontsize=16,color="magenta"];408 -> 516[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	408 -> 517[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	409 -> 227[label="",style="dashed", color="red", weight=0];
11.12/4.55	409[label="xv310 == xv410",fontsize=16,color="magenta"];409 -> 518[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	409 -> 519[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	410 -> 228[label="",style="dashed", color="red", weight=0];
11.12/4.55	410[label="xv310 == xv410",fontsize=16,color="magenta"];410 -> 520[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	410 -> 521[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	411 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.55	411[label="xv310 == xv410",fontsize=16,color="magenta"];411 -> 522[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	411 -> 523[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	412 -> 230[label="",style="dashed", color="red", weight=0];
11.12/4.55	412[label="xv310 == xv410",fontsize=16,color="magenta"];412 -> 524[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	412 -> 525[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	413 -> 231[label="",style="dashed", color="red", weight=0];
11.12/4.55	413[label="xv310 == xv410",fontsize=16,color="magenta"];413 -> 526[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	413 -> 527[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	414 -> 232[label="",style="dashed", color="red", weight=0];
11.12/4.55	414[label="xv310 == xv410",fontsize=16,color="magenta"];414 -> 528[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	414 -> 529[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	415 -> 233[label="",style="dashed", color="red", weight=0];
11.12/4.55	415[label="xv310 == xv410",fontsize=16,color="magenta"];415 -> 530[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	415 -> 531[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	416 -> 234[label="",style="dashed", color="red", weight=0];
11.12/4.55	416[label="xv310 == xv410",fontsize=16,color="magenta"];416 -> 532[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	416 -> 533[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	417 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.55	417[label="xv310 == xv410",fontsize=16,color="magenta"];417 -> 534[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	417 -> 535[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	418 -> 228[label="",style="dashed", color="red", weight=0];
11.12/4.55	418[label="xv311 == xv411",fontsize=16,color="magenta"];418 -> 536[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	418 -> 537[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	419[label="xv310 == xv410",fontsize=16,color="blue",shape="box"];959[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 959[label="",style="solid", color="blue", weight=9];
11.12/4.55	959 -> 538[label="",style="solid", color="blue", weight=3];
11.12/4.55	960[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 960[label="",style="solid", color="blue", weight=9];
11.12/4.55	960 -> 539[label="",style="solid", color="blue", weight=3];
11.12/4.55	961[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 961[label="",style="solid", color="blue", weight=9];
11.12/4.55	961 -> 540[label="",style="solid", color="blue", weight=3];
11.12/4.55	962[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 962[label="",style="solid", color="blue", weight=9];
11.12/4.55	962 -> 541[label="",style="solid", color="blue", weight=3];
11.12/4.55	963[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 963[label="",style="solid", color="blue", weight=9];
11.12/4.55	963 -> 542[label="",style="solid", color="blue", weight=3];
11.12/4.55	964[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 964[label="",style="solid", color="blue", weight=9];
11.12/4.55	964 -> 543[label="",style="solid", color="blue", weight=3];
11.12/4.55	965[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 965[label="",style="solid", color="blue", weight=9];
11.12/4.55	965 -> 544[label="",style="solid", color="blue", weight=3];
11.12/4.55	966[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 966[label="",style="solid", color="blue", weight=9];
11.12/4.55	966 -> 545[label="",style="solid", color="blue", weight=3];
11.12/4.55	967[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 967[label="",style="solid", color="blue", weight=9];
11.12/4.55	967 -> 546[label="",style="solid", color="blue", weight=3];
11.12/4.55	968[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 968[label="",style="solid", color="blue", weight=9];
11.12/4.55	968 -> 547[label="",style="solid", color="blue", weight=3];
11.12/4.55	969[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 969[label="",style="solid", color="blue", weight=9];
11.12/4.55	969 -> 548[label="",style="solid", color="blue", weight=3];
11.12/4.55	970[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 970[label="",style="solid", color="blue", weight=9];
11.12/4.55	970 -> 549[label="",style="solid", color="blue", weight=3];
11.12/4.55	971[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 971[label="",style="solid", color="blue", weight=9];
11.12/4.55	971 -> 550[label="",style="solid", color="blue", weight=3];
11.12/4.55	972[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];419 -> 972[label="",style="solid", color="blue", weight=9];
11.12/4.55	972 -> 551[label="",style="solid", color="blue", weight=3];
11.12/4.55	420[label="primEqInt (Pos (Succ xv3100)) (Pos xv410)",fontsize=16,color="burlywood",shape="box"];973[label="xv410/Succ xv4100",fontsize=10,color="white",style="solid",shape="box"];420 -> 973[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	973 -> 552[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	974[label="xv410/Zero",fontsize=10,color="white",style="solid",shape="box"];420 -> 974[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	974 -> 553[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	421[label="primEqInt (Pos (Succ xv3100)) (Neg xv410)",fontsize=16,color="black",shape="box"];421 -> 554[label="",style="solid", color="black", weight=3];
11.12/4.55	422[label="primEqInt (Pos Zero) (Pos xv410)",fontsize=16,color="burlywood",shape="box"];975[label="xv410/Succ xv4100",fontsize=10,color="white",style="solid",shape="box"];422 -> 975[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	975 -> 555[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	976[label="xv410/Zero",fontsize=10,color="white",style="solid",shape="box"];422 -> 976[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	976 -> 556[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	423[label="primEqInt (Pos Zero) (Neg xv410)",fontsize=16,color="burlywood",shape="box"];977[label="xv410/Succ xv4100",fontsize=10,color="white",style="solid",shape="box"];423 -> 977[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	977 -> 557[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	978[label="xv410/Zero",fontsize=10,color="white",style="solid",shape="box"];423 -> 978[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	978 -> 558[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	424[label="primEqInt (Neg (Succ xv3100)) (Pos xv410)",fontsize=16,color="black",shape="box"];424 -> 559[label="",style="solid", color="black", weight=3];
11.12/4.55	425[label="primEqInt (Neg (Succ xv3100)) (Neg xv410)",fontsize=16,color="burlywood",shape="box"];979[label="xv410/Succ xv4100",fontsize=10,color="white",style="solid",shape="box"];425 -> 979[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	979 -> 560[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	980[label="xv410/Zero",fontsize=10,color="white",style="solid",shape="box"];425 -> 980[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	980 -> 561[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	426[label="primEqInt (Neg Zero) (Pos xv410)",fontsize=16,color="burlywood",shape="box"];981[label="xv410/Succ xv4100",fontsize=10,color="white",style="solid",shape="box"];426 -> 981[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	981 -> 562[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	982[label="xv410/Zero",fontsize=10,color="white",style="solid",shape="box"];426 -> 982[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	982 -> 563[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	427[label="primEqInt (Neg Zero) (Neg xv410)",fontsize=16,color="burlywood",shape="box"];983[label="xv410/Succ xv4100",fontsize=10,color="white",style="solid",shape="box"];427 -> 983[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	983 -> 564[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	984[label="xv410/Zero",fontsize=10,color="white",style="solid",shape="box"];427 -> 984[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	984 -> 565[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	428[label="xv311 == xv411",fontsize=16,color="blue",shape="box"];985[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];428 -> 985[label="",style="solid", color="blue", weight=9];
11.12/4.55	985 -> 566[label="",style="solid", color="blue", weight=3];
11.12/4.55	986[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];428 -> 986[label="",style="solid", color="blue", weight=9];
11.12/4.55	986 -> 567[label="",style="solid", color="blue", weight=3];
11.12/4.55	429[label="xv310 == xv410",fontsize=16,color="blue",shape="box"];987[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];429 -> 987[label="",style="solid", color="blue", weight=9];
11.12/4.55	987 -> 568[label="",style="solid", color="blue", weight=3];
11.12/4.55	988[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];429 -> 988[label="",style="solid", color="blue", weight=9];
11.12/4.55	988 -> 569[label="",style="solid", color="blue", weight=3];
11.12/4.55	430 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.55	430[label="xv310 * xv411 == xv311 * xv410",fontsize=16,color="magenta"];430 -> 570[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	430 -> 571[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	431 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.55	431[label="xv310 * xv411 == xv311 * xv410",fontsize=16,color="magenta"];431 -> 572[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	431 -> 573[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	432[label="xv410",fontsize=16,color="green",shape="box"];433[label="xv310",fontsize=16,color="green",shape="box"];434[label="primEqNat (Succ xv3100) xv410",fontsize=16,color="burlywood",shape="box"];989[label="xv410/Succ xv4100",fontsize=10,color="white",style="solid",shape="box"];434 -> 989[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	989 -> 574[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	990[label="xv410/Zero",fontsize=10,color="white",style="solid",shape="box"];434 -> 990[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	990 -> 575[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	435[label="primEqNat Zero xv410",fontsize=16,color="burlywood",shape="box"];991[label="xv410/Succ xv4100",fontsize=10,color="white",style="solid",shape="box"];435 -> 991[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	991 -> 576[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	992[label="xv410/Zero",fontsize=10,color="white",style="solid",shape="box"];435 -> 992[label="",style="solid", color="burlywood", weight=9];
11.12/4.55	992 -> 577[label="",style="solid", color="burlywood", weight=3];
11.12/4.55	436[label="xv410",fontsize=16,color="green",shape="box"];437[label="xv310",fontsize=16,color="green",shape="box"];438[label="xv410",fontsize=16,color="green",shape="box"];439[label="xv310",fontsize=16,color="green",shape="box"];440[label="xv410",fontsize=16,color="green",shape="box"];441[label="xv310",fontsize=16,color="green",shape="box"];442[label="xv410",fontsize=16,color="green",shape="box"];443[label="xv310",fontsize=16,color="green",shape="box"];444[label="xv410",fontsize=16,color="green",shape="box"];445[label="xv310",fontsize=16,color="green",shape="box"];446[label="xv410",fontsize=16,color="green",shape="box"];447[label="xv310",fontsize=16,color="green",shape="box"];448[label="xv410",fontsize=16,color="green",shape="box"];449[label="xv310",fontsize=16,color="green",shape="box"];450[label="xv410",fontsize=16,color="green",shape="box"];451[label="xv310",fontsize=16,color="green",shape="box"];452[label="xv410",fontsize=16,color="green",shape="box"];453[label="xv310",fontsize=16,color="green",shape="box"];454[label="xv410",fontsize=16,color="green",shape="box"];455[label="xv310",fontsize=16,color="green",shape="box"];456[label="xv410",fontsize=16,color="green",shape="box"];457[label="xv310",fontsize=16,color="green",shape="box"];458[label="xv410",fontsize=16,color="green",shape="box"];459[label="xv310",fontsize=16,color="green",shape="box"];460[label="xv410",fontsize=16,color="green",shape="box"];461[label="xv310",fontsize=16,color="green",shape="box"];462[label="xv410",fontsize=16,color="green",shape="box"];463[label="xv310",fontsize=16,color="green",shape="box"];464[label="xv410",fontsize=16,color="green",shape="box"];465[label="xv310",fontsize=16,color="green",shape="box"];466[label="xv410",fontsize=16,color="green",shape="box"];467[label="xv310",fontsize=16,color="green",shape="box"];468[label="xv410",fontsize=16,color="green",shape="box"];469[label="xv310",fontsize=16,color="green",shape="box"];470[label="xv410",fontsize=16,color="green",shape="box"];471[label="xv310",fontsize=16,color="green",shape="box"];472[label="xv410",fontsize=16,color="green",shape="box"];473[label="xv310",fontsize=16,color="green",shape="box"];474[label="xv410",fontsize=16,color="green",shape="box"];475[label="xv310",fontsize=16,color="green",shape="box"];476[label="xv410",fontsize=16,color="green",shape="box"];477[label="xv310",fontsize=16,color="green",shape="box"];478[label="xv410",fontsize=16,color="green",shape="box"];479[label="xv310",fontsize=16,color="green",shape="box"];480[label="xv410",fontsize=16,color="green",shape="box"];481[label="xv310",fontsize=16,color="green",shape="box"];482[label="xv410",fontsize=16,color="green",shape="box"];483[label="xv310",fontsize=16,color="green",shape="box"];484[label="xv410",fontsize=16,color="green",shape="box"];485[label="xv310",fontsize=16,color="green",shape="box"];486[label="xv410",fontsize=16,color="green",shape="box"];487[label="xv310",fontsize=16,color="green",shape="box"];488[label="xv410",fontsize=16,color="green",shape="box"];489[label="xv310",fontsize=16,color="green",shape="box"];490[label="xv410",fontsize=16,color="green",shape="box"];491[label="xv310",fontsize=16,color="green",shape="box"];492[label="xv312 == xv412",fontsize=16,color="blue",shape="box"];993[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 993[label="",style="solid", color="blue", weight=9];
11.12/4.55	993 -> 578[label="",style="solid", color="blue", weight=3];
11.12/4.55	994[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 994[label="",style="solid", color="blue", weight=9];
11.12/4.55	994 -> 579[label="",style="solid", color="blue", weight=3];
11.12/4.55	995[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 995[label="",style="solid", color="blue", weight=9];
11.12/4.55	995 -> 580[label="",style="solid", color="blue", weight=3];
11.12/4.55	996[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 996[label="",style="solid", color="blue", weight=9];
11.12/4.55	996 -> 581[label="",style="solid", color="blue", weight=3];
11.12/4.55	997[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 997[label="",style="solid", color="blue", weight=9];
11.12/4.55	997 -> 582[label="",style="solid", color="blue", weight=3];
11.12/4.55	998[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 998[label="",style="solid", color="blue", weight=9];
11.12/4.55	998 -> 583[label="",style="solid", color="blue", weight=3];
11.12/4.55	999[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 999[label="",style="solid", color="blue", weight=9];
11.12/4.55	999 -> 584[label="",style="solid", color="blue", weight=3];
11.12/4.55	1000[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 1000[label="",style="solid", color="blue", weight=9];
11.12/4.55	1000 -> 585[label="",style="solid", color="blue", weight=3];
11.12/4.55	1001[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 1001[label="",style="solid", color="blue", weight=9];
11.12/4.55	1001 -> 586[label="",style="solid", color="blue", weight=3];
11.12/4.55	1002[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 1002[label="",style="solid", color="blue", weight=9];
11.12/4.55	1002 -> 587[label="",style="solid", color="blue", weight=3];
11.12/4.55	1003[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 1003[label="",style="solid", color="blue", weight=9];
11.12/4.55	1003 -> 588[label="",style="solid", color="blue", weight=3];
11.12/4.55	1004[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 1004[label="",style="solid", color="blue", weight=9];
11.12/4.55	1004 -> 589[label="",style="solid", color="blue", weight=3];
11.12/4.55	1005[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 1005[label="",style="solid", color="blue", weight=9];
11.12/4.55	1005 -> 590[label="",style="solid", color="blue", weight=3];
11.12/4.55	1006[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];492 -> 1006[label="",style="solid", color="blue", weight=9];
11.12/4.55	1006 -> 591[label="",style="solid", color="blue", weight=3];
11.12/4.55	493[label="xv311 == xv411",fontsize=16,color="blue",shape="box"];1007[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1007[label="",style="solid", color="blue", weight=9];
11.12/4.55	1007 -> 592[label="",style="solid", color="blue", weight=3];
11.12/4.55	1008[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1008[label="",style="solid", color="blue", weight=9];
11.12/4.55	1008 -> 593[label="",style="solid", color="blue", weight=3];
11.12/4.55	1009[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1009[label="",style="solid", color="blue", weight=9];
11.12/4.55	1009 -> 594[label="",style="solid", color="blue", weight=3];
11.12/4.55	1010[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1010[label="",style="solid", color="blue", weight=9];
11.12/4.55	1010 -> 595[label="",style="solid", color="blue", weight=3];
11.12/4.55	1011[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1011[label="",style="solid", color="blue", weight=9];
11.12/4.55	1011 -> 596[label="",style="solid", color="blue", weight=3];
11.12/4.55	1012[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1012[label="",style="solid", color="blue", weight=9];
11.12/4.55	1012 -> 597[label="",style="solid", color="blue", weight=3];
11.12/4.55	1013[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1013[label="",style="solid", color="blue", weight=9];
11.12/4.55	1013 -> 598[label="",style="solid", color="blue", weight=3];
11.12/4.55	1014[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1014[label="",style="solid", color="blue", weight=9];
11.12/4.55	1014 -> 599[label="",style="solid", color="blue", weight=3];
11.12/4.55	1015[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1015[label="",style="solid", color="blue", weight=9];
11.12/4.55	1015 -> 600[label="",style="solid", color="blue", weight=3];
11.12/4.55	1016[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1016[label="",style="solid", color="blue", weight=9];
11.12/4.55	1016 -> 601[label="",style="solid", color="blue", weight=3];
11.12/4.55	1017[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1017[label="",style="solid", color="blue", weight=9];
11.12/4.55	1017 -> 602[label="",style="solid", color="blue", weight=3];
11.12/4.55	1018[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1018[label="",style="solid", color="blue", weight=9];
11.12/4.55	1018 -> 603[label="",style="solid", color="blue", weight=3];
11.12/4.55	1019[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1019[label="",style="solid", color="blue", weight=9];
11.12/4.55	1019 -> 604[label="",style="solid", color="blue", weight=3];
11.12/4.55	1020[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];493 -> 1020[label="",style="solid", color="blue", weight=9];
11.12/4.55	1020 -> 605[label="",style="solid", color="blue", weight=3];
11.12/4.55	494 -> 222[label="",style="dashed", color="red", weight=0];
11.12/4.55	494[label="xv310 == xv410",fontsize=16,color="magenta"];494 -> 606[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	494 -> 607[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	495 -> 223[label="",style="dashed", color="red", weight=0];
11.12/4.55	495[label="xv310 == xv410",fontsize=16,color="magenta"];495 -> 608[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	495 -> 609[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	496 -> 224[label="",style="dashed", color="red", weight=0];
11.12/4.55	496[label="xv310 == xv410",fontsize=16,color="magenta"];496 -> 610[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	496 -> 611[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	497 -> 4[label="",style="dashed", color="red", weight=0];
11.12/4.55	497[label="xv310 == xv410",fontsize=16,color="magenta"];497 -> 612[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	497 -> 613[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	498 -> 226[label="",style="dashed", color="red", weight=0];
11.12/4.55	498[label="xv310 == xv410",fontsize=16,color="magenta"];498 -> 614[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	498 -> 615[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	499 -> 227[label="",style="dashed", color="red", weight=0];
11.12/4.55	499[label="xv310 == xv410",fontsize=16,color="magenta"];499 -> 616[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	499 -> 617[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	500 -> 228[label="",style="dashed", color="red", weight=0];
11.12/4.55	500[label="xv310 == xv410",fontsize=16,color="magenta"];500 -> 618[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	500 -> 619[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	501 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.55	501[label="xv310 == xv410",fontsize=16,color="magenta"];501 -> 620[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	501 -> 621[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	502 -> 230[label="",style="dashed", color="red", weight=0];
11.12/4.55	502[label="xv310 == xv410",fontsize=16,color="magenta"];502 -> 622[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	502 -> 623[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	503 -> 231[label="",style="dashed", color="red", weight=0];
11.12/4.55	503[label="xv310 == xv410",fontsize=16,color="magenta"];503 -> 624[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	503 -> 625[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	504 -> 232[label="",style="dashed", color="red", weight=0];
11.12/4.55	504[label="xv310 == xv410",fontsize=16,color="magenta"];504 -> 626[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	504 -> 627[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	505 -> 233[label="",style="dashed", color="red", weight=0];
11.12/4.55	505[label="xv310 == xv410",fontsize=16,color="magenta"];505 -> 628[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	505 -> 629[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	506 -> 234[label="",style="dashed", color="red", weight=0];
11.12/4.55	506[label="xv310 == xv410",fontsize=16,color="magenta"];506 -> 630[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	506 -> 631[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	507 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.55	507[label="xv310 == xv410",fontsize=16,color="magenta"];507 -> 632[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	507 -> 633[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	508[label="xv410",fontsize=16,color="green",shape="box"];509[label="xv310",fontsize=16,color="green",shape="box"];510[label="xv410",fontsize=16,color="green",shape="box"];511[label="xv310",fontsize=16,color="green",shape="box"];512[label="xv410",fontsize=16,color="green",shape="box"];513[label="xv310",fontsize=16,color="green",shape="box"];514[label="xv410",fontsize=16,color="green",shape="box"];515[label="xv310",fontsize=16,color="green",shape="box"];516[label="xv410",fontsize=16,color="green",shape="box"];517[label="xv310",fontsize=16,color="green",shape="box"];518[label="xv410",fontsize=16,color="green",shape="box"];519[label="xv310",fontsize=16,color="green",shape="box"];520[label="xv410",fontsize=16,color="green",shape="box"];521[label="xv310",fontsize=16,color="green",shape="box"];522[label="xv410",fontsize=16,color="green",shape="box"];523[label="xv310",fontsize=16,color="green",shape="box"];524[label="xv410",fontsize=16,color="green",shape="box"];525[label="xv310",fontsize=16,color="green",shape="box"];526[label="xv410",fontsize=16,color="green",shape="box"];527[label="xv310",fontsize=16,color="green",shape="box"];528[label="xv410",fontsize=16,color="green",shape="box"];529[label="xv310",fontsize=16,color="green",shape="box"];530[label="xv410",fontsize=16,color="green",shape="box"];531[label="xv310",fontsize=16,color="green",shape="box"];532[label="xv410",fontsize=16,color="green",shape="box"];533[label="xv310",fontsize=16,color="green",shape="box"];534[label="xv410",fontsize=16,color="green",shape="box"];535[label="xv310",fontsize=16,color="green",shape="box"];536[label="xv411",fontsize=16,color="green",shape="box"];537[label="xv311",fontsize=16,color="green",shape="box"];538 -> 222[label="",style="dashed", color="red", weight=0];
11.12/4.55	538[label="xv310 == xv410",fontsize=16,color="magenta"];538 -> 634[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	538 -> 635[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	539 -> 223[label="",style="dashed", color="red", weight=0];
11.12/4.55	539[label="xv310 == xv410",fontsize=16,color="magenta"];539 -> 636[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	539 -> 637[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	540 -> 224[label="",style="dashed", color="red", weight=0];
11.12/4.55	540[label="xv310 == xv410",fontsize=16,color="magenta"];540 -> 638[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	540 -> 639[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	541 -> 4[label="",style="dashed", color="red", weight=0];
11.12/4.55	541[label="xv310 == xv410",fontsize=16,color="magenta"];541 -> 640[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	541 -> 641[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	542 -> 226[label="",style="dashed", color="red", weight=0];
11.12/4.55	542[label="xv310 == xv410",fontsize=16,color="magenta"];542 -> 642[label="",style="dashed", color="magenta", weight=3];
11.12/4.55	542 -> 643[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	543 -> 227[label="",style="dashed", color="red", weight=0];
11.12/4.56	543[label="xv310 == xv410",fontsize=16,color="magenta"];543 -> 644[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	543 -> 645[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	544 -> 228[label="",style="dashed", color="red", weight=0];
11.12/4.56	544[label="xv310 == xv410",fontsize=16,color="magenta"];544 -> 646[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	544 -> 647[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	545 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.56	545[label="xv310 == xv410",fontsize=16,color="magenta"];545 -> 648[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	545 -> 649[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	546 -> 230[label="",style="dashed", color="red", weight=0];
11.12/4.56	546[label="xv310 == xv410",fontsize=16,color="magenta"];546 -> 650[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	546 -> 651[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	547 -> 231[label="",style="dashed", color="red", weight=0];
11.12/4.56	547[label="xv310 == xv410",fontsize=16,color="magenta"];547 -> 652[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	547 -> 653[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	548 -> 232[label="",style="dashed", color="red", weight=0];
11.12/4.56	548[label="xv310 == xv410",fontsize=16,color="magenta"];548 -> 654[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	548 -> 655[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	549 -> 233[label="",style="dashed", color="red", weight=0];
11.12/4.56	549[label="xv310 == xv410",fontsize=16,color="magenta"];549 -> 656[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	549 -> 657[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	550 -> 234[label="",style="dashed", color="red", weight=0];
11.12/4.56	550[label="xv310 == xv410",fontsize=16,color="magenta"];550 -> 658[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	550 -> 659[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	551 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.56	551[label="xv310 == xv410",fontsize=16,color="magenta"];551 -> 660[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	551 -> 661[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	552[label="primEqInt (Pos (Succ xv3100)) (Pos (Succ xv4100))",fontsize=16,color="black",shape="box"];552 -> 662[label="",style="solid", color="black", weight=3];
11.12/4.56	553[label="primEqInt (Pos (Succ xv3100)) (Pos Zero)",fontsize=16,color="black",shape="box"];553 -> 663[label="",style="solid", color="black", weight=3];
11.12/4.56	554[label="False",fontsize=16,color="green",shape="box"];555[label="primEqInt (Pos Zero) (Pos (Succ xv4100))",fontsize=16,color="black",shape="box"];555 -> 664[label="",style="solid", color="black", weight=3];
11.12/4.56	556[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];556 -> 665[label="",style="solid", color="black", weight=3];
11.12/4.56	557[label="primEqInt (Pos Zero) (Neg (Succ xv4100))",fontsize=16,color="black",shape="box"];557 -> 666[label="",style="solid", color="black", weight=3];
11.12/4.56	558[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];558 -> 667[label="",style="solid", color="black", weight=3];
11.12/4.56	559[label="False",fontsize=16,color="green",shape="box"];560[label="primEqInt (Neg (Succ xv3100)) (Neg (Succ xv4100))",fontsize=16,color="black",shape="box"];560 -> 668[label="",style="solid", color="black", weight=3];
11.12/4.56	561[label="primEqInt (Neg (Succ xv3100)) (Neg Zero)",fontsize=16,color="black",shape="box"];561 -> 669[label="",style="solid", color="black", weight=3];
11.12/4.56	562[label="primEqInt (Neg Zero) (Pos (Succ xv4100))",fontsize=16,color="black",shape="box"];562 -> 670[label="",style="solid", color="black", weight=3];
11.12/4.56	563[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];563 -> 671[label="",style="solid", color="black", weight=3];
11.12/4.56	564[label="primEqInt (Neg Zero) (Neg (Succ xv4100))",fontsize=16,color="black",shape="box"];564 -> 672[label="",style="solid", color="black", weight=3];
11.12/4.56	565[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];565 -> 673[label="",style="solid", color="black", weight=3];
11.12/4.56	566 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.56	566[label="xv311 == xv411",fontsize=16,color="magenta"];566 -> 674[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	566 -> 675[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	567 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.56	567[label="xv311 == xv411",fontsize=16,color="magenta"];567 -> 676[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	567 -> 677[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	568 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.56	568[label="xv310 == xv410",fontsize=16,color="magenta"];568 -> 678[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	568 -> 679[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	569 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.56	569[label="xv310 == xv410",fontsize=16,color="magenta"];569 -> 680[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	569 -> 681[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	570[label="xv311 * xv410",fontsize=16,color="black",shape="triangle"];570 -> 682[label="",style="solid", color="black", weight=3];
11.12/4.56	571 -> 570[label="",style="dashed", color="red", weight=0];
11.12/4.56	571[label="xv310 * xv411",fontsize=16,color="magenta"];571 -> 683[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	571 -> 684[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	572 -> 570[label="",style="dashed", color="red", weight=0];
11.12/4.56	572[label="xv311 * xv410",fontsize=16,color="magenta"];572 -> 685[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	572 -> 686[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	573 -> 570[label="",style="dashed", color="red", weight=0];
11.12/4.56	573[label="xv310 * xv411",fontsize=16,color="magenta"];573 -> 687[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	573 -> 688[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	574[label="primEqNat (Succ xv3100) (Succ xv4100)",fontsize=16,color="black",shape="box"];574 -> 689[label="",style="solid", color="black", weight=3];
11.12/4.56	575[label="primEqNat (Succ xv3100) Zero",fontsize=16,color="black",shape="box"];575 -> 690[label="",style="solid", color="black", weight=3];
11.12/4.56	576[label="primEqNat Zero (Succ xv4100)",fontsize=16,color="black",shape="box"];576 -> 691[label="",style="solid", color="black", weight=3];
11.12/4.56	577[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];577 -> 692[label="",style="solid", color="black", weight=3];
11.12/4.56	578 -> 222[label="",style="dashed", color="red", weight=0];
11.12/4.56	578[label="xv312 == xv412",fontsize=16,color="magenta"];578 -> 693[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	578 -> 694[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	579 -> 223[label="",style="dashed", color="red", weight=0];
11.12/4.56	579[label="xv312 == xv412",fontsize=16,color="magenta"];579 -> 695[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	579 -> 696[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	580 -> 224[label="",style="dashed", color="red", weight=0];
11.12/4.56	580[label="xv312 == xv412",fontsize=16,color="magenta"];580 -> 697[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	580 -> 698[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	581 -> 4[label="",style="dashed", color="red", weight=0];
11.12/4.56	581[label="xv312 == xv412",fontsize=16,color="magenta"];581 -> 699[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	581 -> 700[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	582 -> 226[label="",style="dashed", color="red", weight=0];
11.12/4.56	582[label="xv312 == xv412",fontsize=16,color="magenta"];582 -> 701[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	582 -> 702[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	583 -> 227[label="",style="dashed", color="red", weight=0];
11.12/4.56	583[label="xv312 == xv412",fontsize=16,color="magenta"];583 -> 703[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	583 -> 704[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	584 -> 228[label="",style="dashed", color="red", weight=0];
11.12/4.56	584[label="xv312 == xv412",fontsize=16,color="magenta"];584 -> 705[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	584 -> 706[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	585 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.56	585[label="xv312 == xv412",fontsize=16,color="magenta"];585 -> 707[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	585 -> 708[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	586 -> 230[label="",style="dashed", color="red", weight=0];
11.12/4.56	586[label="xv312 == xv412",fontsize=16,color="magenta"];586 -> 709[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	586 -> 710[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	587 -> 231[label="",style="dashed", color="red", weight=0];
11.12/4.56	587[label="xv312 == xv412",fontsize=16,color="magenta"];587 -> 711[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	587 -> 712[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	588 -> 232[label="",style="dashed", color="red", weight=0];
11.12/4.56	588[label="xv312 == xv412",fontsize=16,color="magenta"];588 -> 713[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	588 -> 714[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	589 -> 233[label="",style="dashed", color="red", weight=0];
11.12/4.56	589[label="xv312 == xv412",fontsize=16,color="magenta"];589 -> 715[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	589 -> 716[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	590 -> 234[label="",style="dashed", color="red", weight=0];
11.12/4.56	590[label="xv312 == xv412",fontsize=16,color="magenta"];590 -> 717[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	590 -> 718[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	591 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.56	591[label="xv312 == xv412",fontsize=16,color="magenta"];591 -> 719[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	591 -> 720[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	592 -> 222[label="",style="dashed", color="red", weight=0];
11.12/4.56	592[label="xv311 == xv411",fontsize=16,color="magenta"];592 -> 721[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	592 -> 722[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	593 -> 223[label="",style="dashed", color="red", weight=0];
11.12/4.56	593[label="xv311 == xv411",fontsize=16,color="magenta"];593 -> 723[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	593 -> 724[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	594 -> 224[label="",style="dashed", color="red", weight=0];
11.12/4.56	594[label="xv311 == xv411",fontsize=16,color="magenta"];594 -> 725[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	594 -> 726[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	595 -> 4[label="",style="dashed", color="red", weight=0];
11.12/4.56	595[label="xv311 == xv411",fontsize=16,color="magenta"];595 -> 727[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	595 -> 728[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	596 -> 226[label="",style="dashed", color="red", weight=0];
11.12/4.56	596[label="xv311 == xv411",fontsize=16,color="magenta"];596 -> 729[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	596 -> 730[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	597 -> 227[label="",style="dashed", color="red", weight=0];
11.12/4.56	597[label="xv311 == xv411",fontsize=16,color="magenta"];597 -> 731[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	597 -> 732[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	598 -> 228[label="",style="dashed", color="red", weight=0];
11.12/4.56	598[label="xv311 == xv411",fontsize=16,color="magenta"];598 -> 733[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	598 -> 734[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	599 -> 229[label="",style="dashed", color="red", weight=0];
11.12/4.56	599[label="xv311 == xv411",fontsize=16,color="magenta"];599 -> 735[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	599 -> 736[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	600 -> 230[label="",style="dashed", color="red", weight=0];
11.12/4.56	600[label="xv311 == xv411",fontsize=16,color="magenta"];600 -> 737[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	600 -> 738[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	601 -> 231[label="",style="dashed", color="red", weight=0];
11.12/4.56	601[label="xv311 == xv411",fontsize=16,color="magenta"];601 -> 739[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	601 -> 740[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	602 -> 232[label="",style="dashed", color="red", weight=0];
11.12/4.56	602[label="xv311 == xv411",fontsize=16,color="magenta"];602 -> 741[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	602 -> 742[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	603 -> 233[label="",style="dashed", color="red", weight=0];
11.12/4.56	603[label="xv311 == xv411",fontsize=16,color="magenta"];603 -> 743[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	603 -> 744[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	604 -> 234[label="",style="dashed", color="red", weight=0];
11.12/4.56	604[label="xv311 == xv411",fontsize=16,color="magenta"];604 -> 745[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	604 -> 746[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	605 -> 235[label="",style="dashed", color="red", weight=0];
11.12/4.56	605[label="xv311 == xv411",fontsize=16,color="magenta"];605 -> 747[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	605 -> 748[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	606[label="xv410",fontsize=16,color="green",shape="box"];607[label="xv310",fontsize=16,color="green",shape="box"];608[label="xv410",fontsize=16,color="green",shape="box"];609[label="xv310",fontsize=16,color="green",shape="box"];610[label="xv410",fontsize=16,color="green",shape="box"];611[label="xv310",fontsize=16,color="green",shape="box"];612[label="xv410",fontsize=16,color="green",shape="box"];613[label="xv310",fontsize=16,color="green",shape="box"];614[label="xv410",fontsize=16,color="green",shape="box"];615[label="xv310",fontsize=16,color="green",shape="box"];616[label="xv410",fontsize=16,color="green",shape="box"];617[label="xv310",fontsize=16,color="green",shape="box"];618[label="xv410",fontsize=16,color="green",shape="box"];619[label="xv310",fontsize=16,color="green",shape="box"];620[label="xv410",fontsize=16,color="green",shape="box"];621[label="xv310",fontsize=16,color="green",shape="box"];622[label="xv410",fontsize=16,color="green",shape="box"];623[label="xv310",fontsize=16,color="green",shape="box"];624[label="xv410",fontsize=16,color="green",shape="box"];625[label="xv310",fontsize=16,color="green",shape="box"];626[label="xv410",fontsize=16,color="green",shape="box"];627[label="xv310",fontsize=16,color="green",shape="box"];628[label="xv410",fontsize=16,color="green",shape="box"];629[label="xv310",fontsize=16,color="green",shape="box"];630[label="xv410",fontsize=16,color="green",shape="box"];631[label="xv310",fontsize=16,color="green",shape="box"];632[label="xv410",fontsize=16,color="green",shape="box"];633[label="xv310",fontsize=16,color="green",shape="box"];634[label="xv410",fontsize=16,color="green",shape="box"];635[label="xv310",fontsize=16,color="green",shape="box"];636[label="xv410",fontsize=16,color="green",shape="box"];637[label="xv310",fontsize=16,color="green",shape="box"];638[label="xv410",fontsize=16,color="green",shape="box"];639[label="xv310",fontsize=16,color="green",shape="box"];640[label="xv410",fontsize=16,color="green",shape="box"];641[label="xv310",fontsize=16,color="green",shape="box"];642[label="xv410",fontsize=16,color="green",shape="box"];643[label="xv310",fontsize=16,color="green",shape="box"];644[label="xv410",fontsize=16,color="green",shape="box"];645[label="xv310",fontsize=16,color="green",shape="box"];646[label="xv410",fontsize=16,color="green",shape="box"];647[label="xv310",fontsize=16,color="green",shape="box"];648[label="xv410",fontsize=16,color="green",shape="box"];649[label="xv310",fontsize=16,color="green",shape="box"];650[label="xv410",fontsize=16,color="green",shape="box"];651[label="xv310",fontsize=16,color="green",shape="box"];652[label="xv410",fontsize=16,color="green",shape="box"];653[label="xv310",fontsize=16,color="green",shape="box"];654[label="xv410",fontsize=16,color="green",shape="box"];655[label="xv310",fontsize=16,color="green",shape="box"];656[label="xv410",fontsize=16,color="green",shape="box"];657[label="xv310",fontsize=16,color="green",shape="box"];658[label="xv410",fontsize=16,color="green",shape="box"];659[label="xv310",fontsize=16,color="green",shape="box"];660[label="xv410",fontsize=16,color="green",shape="box"];661[label="xv310",fontsize=16,color="green",shape="box"];662 -> 373[label="",style="dashed", color="red", weight=0];
11.12/4.56	662[label="primEqNat xv3100 xv4100",fontsize=16,color="magenta"];662 -> 749[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	662 -> 750[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	663[label="False",fontsize=16,color="green",shape="box"];664[label="False",fontsize=16,color="green",shape="box"];665[label="True",fontsize=16,color="green",shape="box"];666[label="False",fontsize=16,color="green",shape="box"];667[label="True",fontsize=16,color="green",shape="box"];668 -> 373[label="",style="dashed", color="red", weight=0];
11.12/4.56	668[label="primEqNat xv3100 xv4100",fontsize=16,color="magenta"];668 -> 751[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	668 -> 752[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	669[label="False",fontsize=16,color="green",shape="box"];670[label="False",fontsize=16,color="green",shape="box"];671[label="True",fontsize=16,color="green",shape="box"];672[label="False",fontsize=16,color="green",shape="box"];673[label="True",fontsize=16,color="green",shape="box"];674[label="xv411",fontsize=16,color="green",shape="box"];675[label="xv311",fontsize=16,color="green",shape="box"];676[label="xv411",fontsize=16,color="green",shape="box"];677[label="xv311",fontsize=16,color="green",shape="box"];678[label="xv410",fontsize=16,color="green",shape="box"];679[label="xv310",fontsize=16,color="green",shape="box"];680[label="xv410",fontsize=16,color="green",shape="box"];681[label="xv310",fontsize=16,color="green",shape="box"];682[label="primMulInt xv311 xv410",fontsize=16,color="burlywood",shape="box"];1021[label="xv311/Pos xv3110",fontsize=10,color="white",style="solid",shape="box"];682 -> 1021[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1021 -> 753[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1022[label="xv311/Neg xv3110",fontsize=10,color="white",style="solid",shape="box"];682 -> 1022[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1022 -> 754[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	683[label="xv310",fontsize=16,color="green",shape="box"];684[label="xv411",fontsize=16,color="green",shape="box"];685[label="xv311",fontsize=16,color="green",shape="box"];686[label="xv410",fontsize=16,color="green",shape="box"];687[label="xv310",fontsize=16,color="green",shape="box"];688[label="xv411",fontsize=16,color="green",shape="box"];689 -> 373[label="",style="dashed", color="red", weight=0];
11.12/4.56	689[label="primEqNat xv3100 xv4100",fontsize=16,color="magenta"];689 -> 755[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	689 -> 756[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	690[label="False",fontsize=16,color="green",shape="box"];691[label="False",fontsize=16,color="green",shape="box"];692[label="True",fontsize=16,color="green",shape="box"];693[label="xv412",fontsize=16,color="green",shape="box"];694[label="xv312",fontsize=16,color="green",shape="box"];695[label="xv412",fontsize=16,color="green",shape="box"];696[label="xv312",fontsize=16,color="green",shape="box"];697[label="xv412",fontsize=16,color="green",shape="box"];698[label="xv312",fontsize=16,color="green",shape="box"];699[label="xv412",fontsize=16,color="green",shape="box"];700[label="xv312",fontsize=16,color="green",shape="box"];701[label="xv412",fontsize=16,color="green",shape="box"];702[label="xv312",fontsize=16,color="green",shape="box"];703[label="xv412",fontsize=16,color="green",shape="box"];704[label="xv312",fontsize=16,color="green",shape="box"];705[label="xv412",fontsize=16,color="green",shape="box"];706[label="xv312",fontsize=16,color="green",shape="box"];707[label="xv412",fontsize=16,color="green",shape="box"];708[label="xv312",fontsize=16,color="green",shape="box"];709[label="xv412",fontsize=16,color="green",shape="box"];710[label="xv312",fontsize=16,color="green",shape="box"];711[label="xv412",fontsize=16,color="green",shape="box"];712[label="xv312",fontsize=16,color="green",shape="box"];713[label="xv412",fontsize=16,color="green",shape="box"];714[label="xv312",fontsize=16,color="green",shape="box"];715[label="xv412",fontsize=16,color="green",shape="box"];716[label="xv312",fontsize=16,color="green",shape="box"];717[label="xv412",fontsize=16,color="green",shape="box"];718[label="xv312",fontsize=16,color="green",shape="box"];719[label="xv412",fontsize=16,color="green",shape="box"];720[label="xv312",fontsize=16,color="green",shape="box"];721[label="xv411",fontsize=16,color="green",shape="box"];722[label="xv311",fontsize=16,color="green",shape="box"];723[label="xv411",fontsize=16,color="green",shape="box"];724[label="xv311",fontsize=16,color="green",shape="box"];725[label="xv411",fontsize=16,color="green",shape="box"];726[label="xv311",fontsize=16,color="green",shape="box"];727[label="xv411",fontsize=16,color="green",shape="box"];728[label="xv311",fontsize=16,color="green",shape="box"];729[label="xv411",fontsize=16,color="green",shape="box"];730[label="xv311",fontsize=16,color="green",shape="box"];731[label="xv411",fontsize=16,color="green",shape="box"];732[label="xv311",fontsize=16,color="green",shape="box"];733[label="xv411",fontsize=16,color="green",shape="box"];734[label="xv311",fontsize=16,color="green",shape="box"];735[label="xv411",fontsize=16,color="green",shape="box"];736[label="xv311",fontsize=16,color="green",shape="box"];737[label="xv411",fontsize=16,color="green",shape="box"];738[label="xv311",fontsize=16,color="green",shape="box"];739[label="xv411",fontsize=16,color="green",shape="box"];740[label="xv311",fontsize=16,color="green",shape="box"];741[label="xv411",fontsize=16,color="green",shape="box"];742[label="xv311",fontsize=16,color="green",shape="box"];743[label="xv411",fontsize=16,color="green",shape="box"];744[label="xv311",fontsize=16,color="green",shape="box"];745[label="xv411",fontsize=16,color="green",shape="box"];746[label="xv311",fontsize=16,color="green",shape="box"];747[label="xv411",fontsize=16,color="green",shape="box"];748[label="xv311",fontsize=16,color="green",shape="box"];749[label="xv3100",fontsize=16,color="green",shape="box"];750[label="xv4100",fontsize=16,color="green",shape="box"];751[label="xv3100",fontsize=16,color="green",shape="box"];752[label="xv4100",fontsize=16,color="green",shape="box"];753[label="primMulInt (Pos xv3110) xv410",fontsize=16,color="burlywood",shape="box"];1023[label="xv410/Pos xv4100",fontsize=10,color="white",style="solid",shape="box"];753 -> 1023[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1023 -> 757[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1024[label="xv410/Neg xv4100",fontsize=10,color="white",style="solid",shape="box"];753 -> 1024[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1024 -> 758[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	754[label="primMulInt (Neg xv3110) xv410",fontsize=16,color="burlywood",shape="box"];1025[label="xv410/Pos xv4100",fontsize=10,color="white",style="solid",shape="box"];754 -> 1025[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1025 -> 759[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1026[label="xv410/Neg xv4100",fontsize=10,color="white",style="solid",shape="box"];754 -> 1026[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1026 -> 760[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	755[label="xv3100",fontsize=16,color="green",shape="box"];756[label="xv4100",fontsize=16,color="green",shape="box"];757[label="primMulInt (Pos xv3110) (Pos xv4100)",fontsize=16,color="black",shape="box"];757 -> 761[label="",style="solid", color="black", weight=3];
11.12/4.56	758[label="primMulInt (Pos xv3110) (Neg xv4100)",fontsize=16,color="black",shape="box"];758 -> 762[label="",style="solid", color="black", weight=3];
11.12/4.56	759[label="primMulInt (Neg xv3110) (Pos xv4100)",fontsize=16,color="black",shape="box"];759 -> 763[label="",style="solid", color="black", weight=3];
11.12/4.56	760[label="primMulInt (Neg xv3110) (Neg xv4100)",fontsize=16,color="black",shape="box"];760 -> 764[label="",style="solid", color="black", weight=3];
11.12/4.56	761[label="Pos (primMulNat xv3110 xv4100)",fontsize=16,color="green",shape="box"];761 -> 765[label="",style="dashed", color="green", weight=3];
11.12/4.56	762[label="Neg (primMulNat xv3110 xv4100)",fontsize=16,color="green",shape="box"];762 -> 766[label="",style="dashed", color="green", weight=3];
11.12/4.56	763[label="Neg (primMulNat xv3110 xv4100)",fontsize=16,color="green",shape="box"];763 -> 767[label="",style="dashed", color="green", weight=3];
11.12/4.56	764[label="Pos (primMulNat xv3110 xv4100)",fontsize=16,color="green",shape="box"];764 -> 768[label="",style="dashed", color="green", weight=3];
11.12/4.56	765[label="primMulNat xv3110 xv4100",fontsize=16,color="burlywood",shape="triangle"];1027[label="xv3110/Succ xv31100",fontsize=10,color="white",style="solid",shape="box"];765 -> 1027[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1027 -> 769[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1028[label="xv3110/Zero",fontsize=10,color="white",style="solid",shape="box"];765 -> 1028[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1028 -> 770[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	766 -> 765[label="",style="dashed", color="red", weight=0];
11.12/4.56	766[label="primMulNat xv3110 xv4100",fontsize=16,color="magenta"];766 -> 771[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	767 -> 765[label="",style="dashed", color="red", weight=0];
11.12/4.56	767[label="primMulNat xv3110 xv4100",fontsize=16,color="magenta"];767 -> 772[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	768 -> 765[label="",style="dashed", color="red", weight=0];
11.12/4.56	768[label="primMulNat xv3110 xv4100",fontsize=16,color="magenta"];768 -> 773[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	768 -> 774[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	769[label="primMulNat (Succ xv31100) xv4100",fontsize=16,color="burlywood",shape="box"];1029[label="xv4100/Succ xv41000",fontsize=10,color="white",style="solid",shape="box"];769 -> 1029[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1029 -> 775[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1030[label="xv4100/Zero",fontsize=10,color="white",style="solid",shape="box"];769 -> 1030[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1030 -> 776[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	770[label="primMulNat Zero xv4100",fontsize=16,color="burlywood",shape="box"];1031[label="xv4100/Succ xv41000",fontsize=10,color="white",style="solid",shape="box"];770 -> 1031[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1031 -> 777[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1032[label="xv4100/Zero",fontsize=10,color="white",style="solid",shape="box"];770 -> 1032[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1032 -> 778[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	771[label="xv4100",fontsize=16,color="green",shape="box"];772[label="xv3110",fontsize=16,color="green",shape="box"];773[label="xv3110",fontsize=16,color="green",shape="box"];774[label="xv4100",fontsize=16,color="green",shape="box"];775[label="primMulNat (Succ xv31100) (Succ xv41000)",fontsize=16,color="black",shape="box"];775 -> 779[label="",style="solid", color="black", weight=3];
11.12/4.56	776[label="primMulNat (Succ xv31100) Zero",fontsize=16,color="black",shape="box"];776 -> 780[label="",style="solid", color="black", weight=3];
11.12/4.56	777[label="primMulNat Zero (Succ xv41000)",fontsize=16,color="black",shape="box"];777 -> 781[label="",style="solid", color="black", weight=3];
11.12/4.56	778[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];778 -> 782[label="",style="solid", color="black", weight=3];
11.12/4.56	779 -> 783[label="",style="dashed", color="red", weight=0];
11.12/4.56	779[label="primPlusNat (primMulNat xv31100 (Succ xv41000)) (Succ xv41000)",fontsize=16,color="magenta"];779 -> 784[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	780[label="Zero",fontsize=16,color="green",shape="box"];781[label="Zero",fontsize=16,color="green",shape="box"];782[label="Zero",fontsize=16,color="green",shape="box"];784 -> 765[label="",style="dashed", color="red", weight=0];
11.12/4.56	784[label="primMulNat xv31100 (Succ xv41000)",fontsize=16,color="magenta"];784 -> 785[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	784 -> 786[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	783[label="primPlusNat xv18 (Succ xv41000)",fontsize=16,color="burlywood",shape="triangle"];1033[label="xv18/Succ xv180",fontsize=10,color="white",style="solid",shape="box"];783 -> 1033[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1033 -> 787[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1034[label="xv18/Zero",fontsize=10,color="white",style="solid",shape="box"];783 -> 1034[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1034 -> 788[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	785[label="xv31100",fontsize=16,color="green",shape="box"];786[label="Succ xv41000",fontsize=16,color="green",shape="box"];787[label="primPlusNat (Succ xv180) (Succ xv41000)",fontsize=16,color="black",shape="box"];787 -> 789[label="",style="solid", color="black", weight=3];
11.12/4.56	788[label="primPlusNat Zero (Succ xv41000)",fontsize=16,color="black",shape="box"];788 -> 790[label="",style="solid", color="black", weight=3];
11.12/4.56	789[label="Succ (Succ (primPlusNat xv180 xv41000))",fontsize=16,color="green",shape="box"];789 -> 791[label="",style="dashed", color="green", weight=3];
11.12/4.56	790[label="Succ xv41000",fontsize=16,color="green",shape="box"];791[label="primPlusNat xv180 xv41000",fontsize=16,color="burlywood",shape="triangle"];1035[label="xv180/Succ xv1800",fontsize=10,color="white",style="solid",shape="box"];791 -> 1035[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1035 -> 792[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1036[label="xv180/Zero",fontsize=10,color="white",style="solid",shape="box"];791 -> 1036[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1036 -> 793[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	792[label="primPlusNat (Succ xv1800) xv41000",fontsize=16,color="burlywood",shape="box"];1037[label="xv41000/Succ xv410000",fontsize=10,color="white",style="solid",shape="box"];792 -> 1037[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1037 -> 794[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1038[label="xv41000/Zero",fontsize=10,color="white",style="solid",shape="box"];792 -> 1038[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1038 -> 795[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	793[label="primPlusNat Zero xv41000",fontsize=16,color="burlywood",shape="box"];1039[label="xv41000/Succ xv410000",fontsize=10,color="white",style="solid",shape="box"];793 -> 1039[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1039 -> 796[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	1040[label="xv41000/Zero",fontsize=10,color="white",style="solid",shape="box"];793 -> 1040[label="",style="solid", color="burlywood", weight=9];
11.12/4.56	1040 -> 797[label="",style="solid", color="burlywood", weight=3];
11.12/4.56	794[label="primPlusNat (Succ xv1800) (Succ xv410000)",fontsize=16,color="black",shape="box"];794 -> 798[label="",style="solid", color="black", weight=3];
11.12/4.56	795[label="primPlusNat (Succ xv1800) Zero",fontsize=16,color="black",shape="box"];795 -> 799[label="",style="solid", color="black", weight=3];
11.12/4.56	796[label="primPlusNat Zero (Succ xv410000)",fontsize=16,color="black",shape="box"];796 -> 800[label="",style="solid", color="black", weight=3];
11.12/4.56	797[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];797 -> 801[label="",style="solid", color="black", weight=3];
11.12/4.56	798[label="Succ (Succ (primPlusNat xv1800 xv410000))",fontsize=16,color="green",shape="box"];798 -> 802[label="",style="dashed", color="green", weight=3];
11.12/4.56	799[label="Succ xv1800",fontsize=16,color="green",shape="box"];800[label="Succ xv410000",fontsize=16,color="green",shape="box"];801[label="Zero",fontsize=16,color="green",shape="box"];802 -> 791[label="",style="dashed", color="red", weight=0];
11.12/4.56	802[label="primPlusNat xv1800 xv410000",fontsize=16,color="magenta"];802 -> 803[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	802 -> 804[label="",style="dashed", color="magenta", weight=3];
11.12/4.56	803[label="xv1800",fontsize=16,color="green",shape="box"];804[label="xv410000",fontsize=16,color="green",shape="box"];}
11.12/4.56	
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(6)
11.12/4.56	Complex Obligation (AND)
11.12/4.56	
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(7)
11.12/4.56	Obligation:
11.12/4.56	Q DP problem:
11.12/4.56	The TRS P consists of the following rules:
11.12/4.56	
11.12/4.56	   new_esEs(Right(xv310), Right(xv410), cb, app(app(app(ty_@3, cg), da), db)) -> new_esEs1(xv310, xv410, cg, da, db)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(app(ty_@2, ed), ee))) -> new_esEs0(xv312, xv412, ed, ee)
11.12/4.56	   new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(app(ty_@2, baa), bab))) -> new_esEs0(xv310, xv410, baa, bab)
11.12/4.56	   new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(ty_Maybe, dc))) -> new_esEs2(xv310, xv410, dc)
11.12/4.56	   new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(ty_[], bca))) -> new_esEs3(xv310, xv410, bca)
11.12/4.56	   new_esEs3(:(xv310, xv311), :(xv410, xv411), app(app(ty_Either, bba), bbb)) -> new_esEs(xv310, xv410, bba, bbb)
11.12/4.56	   new_esEs(Left(xv310), Left(xv410), app(ty_Maybe, bh), bb) -> new_esEs2(xv310, xv410, bh)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(app(app(ty_@3, hb), hc), hd), ea, ff) -> new_esEs1(xv310, xv410, hb, hc, hd)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(app(ty_Either, eb), ec)) -> new_esEs(xv312, xv412, eb, ec)
11.12/4.56	   new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(ty_Maybe, bh)), bb)) -> new_esEs2(xv310, xv410, bh)
11.12/4.56	   new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], bah)) -> new_esEs3(xv311, xv411, bah)
11.12/4.56	   new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(app(app(ty_@3, bbe), bbf), bbg))) -> new_esEs1(xv310, xv410, bbe, bbf, bbg)
11.12/4.56	   new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(ty_Maybe, baf))) -> new_esEs2(xv310, xv410, baf)
11.12/4.56	   new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(app(ty_Either, cc), cd))) -> new_esEs(xv310, xv410, cc, cd)
11.12/4.56	   new_esEs3(:(xv310, xv311), :(xv410, xv411), app(app(ty_@2, bbc), bbd)) -> new_esEs0(xv310, xv410, bbc, bbd)
11.12/4.56	   new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(app(ty_Either, bba), bbb))) -> new_esEs(xv310, xv410, bba, bbb)
11.12/4.56	   new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(app(ty_@2, ce), cf))) -> new_esEs0(xv310, xv410, ce, cf)
11.12/4.56	   new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(app(ty_Either, bcb), bcc), bcd) -> new_esEs(xv30, xv40, bcb, bcc)
11.12/4.56	   new_esEs(Left(xv310), Left(xv410), app(app(app(ty_@3, be), bf), bg), bb) -> new_esEs1(xv310, xv410, be, bf, bg)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(ty_Maybe, he), ea, ff) -> new_esEs2(xv310, xv410, he)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(ty_[], ge)), ff)) -> new_esEs3(xv311, xv411, ge)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(app(ty_@2, fg), fh), ff) -> new_esEs0(xv311, xv411, fg, fh)
11.12/4.56	   new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(ty_[], bdc), bcd) -> new_esEs3(xv30, xv40, bdc)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(app(ty_@2, ed), ee)) -> new_esEs0(xv312, xv412, ed, ee)
11.12/4.56	   new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(ty_[], bag))) -> new_esEs3(xv310, xv410, bag)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(ty_Maybe, fa))) -> new_esEs2(xv312, xv412, fa)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(app(app(ty_@3, ef), eg), eh))) -> new_esEs1(xv312, xv412, ef, eg, eh)
11.12/4.56	   new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(app(ty_Either, hg), hh))) -> new_esEs(xv310, xv410, hg, hh)
11.12/4.56	   new_esEs2(Just(xv310), Just(xv410), app(app(app(ty_@3, bac), bad), bae)) -> new_esEs1(xv310, xv410, bac, bad, bae)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(app(ty_Either, fc), fd), ff) -> new_esEs(xv311, xv411, fc, fd)
11.12/4.56	   new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(app(app(ty_@3, be), bf), bg)), bb)) -> new_esEs1(xv310, xv410, be, bf, bg)
11.12/4.56	   new_esEs2(Just(xv310), Just(xv410), app(app(ty_Either, hg), hh)) -> new_esEs(xv310, xv410, hg, hh)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(ty_[], fb)) -> new_esEs3(xv312, xv412, fb)
11.12/4.56	   new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(app(ty_@2, bce), bcf), bcd) -> new_esEs0(xv30, xv40, bce, bcf)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(ty_Maybe, fa)) -> new_esEs2(xv312, xv412, fa)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(app(ty_@2, fg), fh)), ff)) -> new_esEs0(xv311, xv411, fg, fh)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(ty_Maybe, gd)), ff)) -> new_esEs2(xv311, xv411, gd)
11.12/4.56	   new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(ty_Maybe, bdb), bcd) -> new_esEs2(xv30, xv40, bdb)
11.12/4.56	   new_esEs(Left(xv310), Left(xv410), app(ty_[], ca), bb) -> new_esEs3(xv310, xv410, ca)
11.12/4.56	   new_esEs(Right(xv310), Right(xv410), cb, app(app(ty_@2, ce), cf)) -> new_esEs0(xv310, xv410, ce, cf)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(app(ty_Either, gf), gg)), ea), ff)) -> new_esEs(xv310, xv410, gf, gg)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(app(ty_@2, gh), ha)), ea), ff)) -> new_esEs0(xv310, xv410, gh, ha)
11.12/4.56	   new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(app(ty_Either, h), ba)), bb)) -> new_esEs(xv310, xv410, h, ba)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(ty_[], ge), ff) -> new_esEs3(xv311, xv411, ge)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(app(ty_Either, fc), fd)), ff)) -> new_esEs(xv311, xv411, fc, fd)
11.12/4.56	   new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(app(app(ty_@3, bac), bad), bae))) -> new_esEs1(xv310, xv410, bac, bad, bae)
11.12/4.56	   new_esEs3(:(xv310, xv311), :(xv410, xv411), app(ty_Maybe, bbh)) -> new_esEs2(xv310, xv410, bbh)
11.12/4.56	   new_esEs0(@2(xv30, xv31), @2(xv40, xv41), de, app(app(ty_@2, df), dg)) -> new_esEs0(xv31, xv41, df, dg)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(ty_[], hf), ea, ff) -> new_esEs3(xv310, xv410, hf)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(ty_[], fb))) -> new_esEs3(xv312, xv412, fb)
11.12/4.56	   new_esEs2(Just(xv310), Just(xv410), app(app(ty_@2, baa), bab)) -> new_esEs0(xv310, xv410, baa, bab)
11.12/4.56	   new_esEs3(:(xv310, xv311), :(xv410, xv411), app(ty_[], bca)) -> new_esEs3(xv310, xv410, bca)
11.12/4.56	   new_esEs2(Just(xv310), Just(xv410), app(ty_Maybe, baf)) -> new_esEs2(xv310, xv410, baf)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(ty_Maybe, he)), ea), ff)) -> new_esEs2(xv310, xv410, he)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(app(app(ty_@3, ga), gb), gc)), ff)) -> new_esEs1(xv311, xv411, ga, gb, gc)
11.12/4.56	   new_esEs2(Just(xv310), Just(xv410), app(ty_[], bag)) -> new_esEs3(xv310, xv410, bag)
11.12/4.56	   new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(app(ty_@2, bbc), bbd))) -> new_esEs0(xv310, xv410, bbc, bbd)
11.12/4.56	   new_esEs(Right(xv310), Right(xv410), cb, app(app(ty_Either, cc), cd)) -> new_esEs(xv310, xv410, cc, cd)
11.12/4.56	   new_esEs3(:(xv310, xv311), :(xv410, xv411), app(app(app(ty_@3, bbe), bbf), bbg)) -> new_esEs1(xv310, xv410, bbe, bbf, bbg)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(app(ty_Either, eb), ec))) -> new_esEs(xv312, xv412, eb, ec)
11.12/4.56	   new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(app(ty_@2, bc), bd)), bb)) -> new_esEs0(xv310, xv410, bc, bd)
11.12/4.56	   new_esEs3(:(xv310, xv311), :(xv410, xv411), bah) -> new_esEs3(xv311, xv411, bah)
11.12/4.56	   new_esEs(Right(xv310), Right(xv410), cb, app(ty_[], dd)) -> new_esEs3(xv310, xv410, dd)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(app(app(ty_@3, ef), eg), eh)) -> new_esEs1(xv312, xv412, ef, eg, eh)
11.12/4.56	   new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(ty_[], dd))) -> new_esEs3(xv310, xv410, dd)
11.12/4.56	   new_esEs(Left(xv310), Left(xv410), app(app(ty_Either, h), ba), bb) -> new_esEs(xv310, xv410, h, ba)
11.12/4.56	   new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(ty_[], ca)), bb)) -> new_esEs3(xv310, xv410, ca)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(app(ty_@2, gh), ha), ea, ff) -> new_esEs0(xv310, xv410, gh, ha)
11.12/4.56	   new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(app(app(ty_@3, cg), da), db))) -> new_esEs1(xv310, xv410, cg, da, db)
11.12/4.56	   new_esEs(Right(xv310), Right(xv410), cb, app(ty_Maybe, dc)) -> new_esEs2(xv310, xv410, dc)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(app(ty_Either, gf), gg), ea, ff) -> new_esEs(xv310, xv410, gf, gg)
11.12/4.56	   new_esEs(Left(xv310), Left(xv410), app(app(ty_@2, bc), bd), bb) -> new_esEs0(xv310, xv410, bc, bd)
11.12/4.56	   new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(ty_Maybe, bbh))) -> new_esEs2(xv310, xv410, bbh)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(app(app(ty_@3, hb), hc), hd)), ea), ff)) -> new_esEs1(xv310, xv410, hb, hc, hd)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(app(app(ty_@3, ga), gb), gc), ff) -> new_esEs1(xv311, xv411, ga, gb, gc)
11.12/4.56	   new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(ty_Maybe, gd), ff) -> new_esEs2(xv311, xv411, gd)
11.12/4.56	   new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(ty_[], hf)), ea), ff)) -> new_esEs3(xv310, xv410, hf)
11.12/4.56	   new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(app(app(ty_@3, bcg), bch), bda), bcd) -> new_esEs1(xv30, xv40, bcg, bch, bda)
11.12/4.56	
11.12/4.56	R is empty.
11.12/4.56	Q is empty.
11.12/4.56	We have to consider all minimal (P,Q,R)-chains.
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(8) QDPSizeChangeProof (EQUIVALENT)
11.12/4.56	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. 
11.12/4.56	
11.12/4.56	From the DPs we obtained the following set of size-change graphs:
11.12/4.56	*new_esEs2(Just(xv310), Just(xv410), app(app(ty_Either, hg), hh)) -> new_esEs(xv310, xv410, hg, hh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs2(Just(xv310), Just(xv410), app(app(ty_@2, baa), bab)) -> new_esEs0(xv310, xv410, baa, bab)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs3(:(xv310, xv311), :(xv410, xv411), app(app(ty_Either, bba), bbb)) -> new_esEs(xv310, xv410, bba, bbb)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs3(:(xv310, xv311), :(xv410, xv411), app(app(ty_@2, bbc), bbd)) -> new_esEs0(xv310, xv410, bbc, bbd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs2(Just(xv310), Just(xv410), app(ty_[], bag)) -> new_esEs3(xv310, xv410, bag)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs2(Just(xv310), Just(xv410), app(app(app(ty_@3, bac), bad), bae)) -> new_esEs1(xv310, xv410, bac, bad, bae)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs2(Just(xv310), Just(xv410), app(ty_Maybe, baf)) -> new_esEs2(xv310, xv410, baf)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs3(:(xv310, xv311), :(xv410, xv411), app(app(app(ty_@3, bbe), bbf), bbg)) -> new_esEs1(xv310, xv410, bbe, bbf, bbg)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs3(:(xv310, xv311), :(xv410, xv411), app(ty_Maybe, bbh)) -> new_esEs2(xv310, xv410, bbh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(app(ty_Either, eb), ec)) -> new_esEs(xv312, xv412, eb, ec)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(app(ty_Either, fc), fd), ff) -> new_esEs(xv311, xv411, fc, fd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(app(ty_Either, gf), gg), ea, ff) -> new_esEs(xv310, xv410, gf, gg)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(app(ty_@2, fg), fh), ff) -> new_esEs0(xv311, xv411, fg, fh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(app(ty_@2, ed), ee)) -> new_esEs0(xv312, xv412, ed, ee)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(app(ty_@2, gh), ha), ea, ff) -> new_esEs0(xv310, xv410, gh, ha)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(ty_[], fb)) -> new_esEs3(xv312, xv412, fb)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(ty_[], ge), ff) -> new_esEs3(xv311, xv411, ge)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(ty_[], hf), ea, ff) -> new_esEs3(xv310, xv410, hf)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(app(app(ty_@3, hb), hc), hd), ea, ff) -> new_esEs1(xv310, xv410, hb, hc, hd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(app(app(ty_@3, ef), eg), eh)) -> new_esEs1(xv312, xv412, ef, eg, eh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(app(app(ty_@3, ga), gb), gc), ff) -> new_esEs1(xv311, xv411, ga, gb, gc)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), app(ty_Maybe, he), ea, ff) -> new_esEs2(xv310, xv410, he)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, ea, app(ty_Maybe, fa)) -> new_esEs2(xv312, xv412, fa)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs1(@3(xv310, xv311, xv312), @3(xv410, xv411, xv412), dh, app(ty_Maybe, gd), ff) -> new_esEs2(xv311, xv411, gd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(app(ty_Either, cc), cd))) -> new_esEs(xv310, xv410, cc, cd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(app(ty_Either, bba), bbb))) -> new_esEs(xv310, xv410, bba, bbb)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(app(ty_Either, bcb), bcc), bcd) -> new_esEs(xv30, xv40, bcb, bcc)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(app(ty_Either, hg), hh))) -> new_esEs(xv310, xv410, hg, hh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(app(ty_Either, gf), gg)), ea), ff)) -> new_esEs(xv310, xv410, gf, gg)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(app(ty_Either, h), ba)), bb)) -> new_esEs(xv310, xv410, h, ba)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(app(ty_Either, fc), fd)), ff)) -> new_esEs(xv311, xv411, fc, fd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(app(ty_Either, eb), ec))) -> new_esEs(xv312, xv412, eb, ec)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Right(xv310), Right(xv410), cb, app(app(ty_Either, cc), cd)) -> new_esEs(xv310, xv410, cc, cd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Left(xv310), Left(xv410), app(app(ty_Either, h), ba), bb) -> new_esEs(xv310, xv410, h, ba)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(app(ty_@2, ed), ee))) -> new_esEs0(xv312, xv412, ed, ee)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(app(ty_@2, baa), bab))) -> new_esEs0(xv310, xv410, baa, bab)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(app(ty_@2, ce), cf))) -> new_esEs0(xv310, xv410, ce, cf)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(app(ty_@2, bce), bcf), bcd) -> new_esEs0(xv30, xv40, bce, bcf)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(app(ty_@2, fg), fh)), ff)) -> new_esEs0(xv311, xv411, fg, fh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(app(ty_@2, gh), ha)), ea), ff)) -> new_esEs0(xv310, xv410, gh, ha)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, xv31), @2(xv40, xv41), de, app(app(ty_@2, df), dg)) -> new_esEs0(xv31, xv41, df, dg)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(app(ty_@2, bbc), bbd))) -> new_esEs0(xv310, xv410, bbc, bbd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(app(ty_@2, bc), bd)), bb)) -> new_esEs0(xv310, xv410, bc, bd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(ty_[], bca))) -> new_esEs3(xv310, xv410, bca)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], bah)) -> new_esEs3(xv311, xv411, bah)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(ty_[], ge)), ff)) -> new_esEs3(xv311, xv411, ge)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(ty_[], bdc), bcd) -> new_esEs3(xv30, xv40, bdc)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(ty_[], bag))) -> new_esEs3(xv310, xv410, bag)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(ty_[], fb))) -> new_esEs3(xv312, xv412, fb)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(ty_[], dd))) -> new_esEs3(xv310, xv410, dd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(ty_[], ca)), bb)) -> new_esEs3(xv310, xv410, ca)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(ty_[], hf)), ea), ff)) -> new_esEs3(xv310, xv410, hf)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(app(app(ty_@3, bbe), bbf), bbg))) -> new_esEs1(xv310, xv410, bbe, bbf, bbg)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(app(app(ty_@3, ef), eg), eh))) -> new_esEs1(xv312, xv412, ef, eg, eh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(app(app(ty_@3, be), bf), bg)), bb)) -> new_esEs1(xv310, xv410, be, bf, bg)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(app(app(ty_@3, bac), bad), bae))) -> new_esEs1(xv310, xv410, bac, bad, bae)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(app(app(ty_@3, ga), gb), gc)), ff)) -> new_esEs1(xv311, xv411, ga, gb, gc)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(app(app(ty_@3, cg), da), db))) -> new_esEs1(xv310, xv410, cg, da, db)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(app(app(ty_@3, hb), hc), hd)), ea), ff)) -> new_esEs1(xv310, xv410, hb, hc, hd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(app(app(ty_@3, bcg), bch), bda), bcd) -> new_esEs1(xv30, xv40, bcg, bch, bda)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Right(xv310)), @2(xv40, Right(xv410)), de, app(app(ty_Either, cb), app(ty_Maybe, dc))) -> new_esEs2(xv310, xv410, dc)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Left(xv310)), @2(xv40, Left(xv410)), de, app(app(ty_Either, app(ty_Maybe, bh)), bb)) -> new_esEs2(xv310, xv410, bh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, Just(xv310)), @2(xv40, Just(xv410)), de, app(ty_Maybe, app(ty_Maybe, baf))) -> new_esEs2(xv310, xv410, baf)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), ea), app(ty_Maybe, fa))) -> new_esEs2(xv312, xv412, fa)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, dh), app(ty_Maybe, gd)), ff)) -> new_esEs2(xv311, xv411, gd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, xv31), @2(xv40, xv41), app(ty_Maybe, bdb), bcd) -> new_esEs2(xv30, xv40, bdb)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, @3(xv310, xv311, xv312)), @2(xv40, @3(xv410, xv411, xv412)), de, app(app(app(ty_@3, app(ty_Maybe, he)), ea), ff)) -> new_esEs2(xv310, xv410, he)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs0(@2(xv30, :(xv310, xv311)), @2(xv40, :(xv410, xv411)), de, app(ty_[], app(ty_Maybe, bbh))) -> new_esEs2(xv310, xv410, bbh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Right(xv310), Right(xv410), cb, app(app(ty_@2, ce), cf)) -> new_esEs0(xv310, xv410, ce, cf)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Left(xv310), Left(xv410), app(app(ty_@2, bc), bd), bb) -> new_esEs0(xv310, xv410, bc, bd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs3(:(xv310, xv311), :(xv410, xv411), app(ty_[], bca)) -> new_esEs3(xv310, xv410, bca)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs3(:(xv310, xv311), :(xv410, xv411), bah) -> new_esEs3(xv311, xv411, bah)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Left(xv310), Left(xv410), app(ty_[], ca), bb) -> new_esEs3(xv310, xv410, ca)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Right(xv310), Right(xv410), cb, app(ty_[], dd)) -> new_esEs3(xv310, xv410, dd)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Right(xv310), Right(xv410), cb, app(app(app(ty_@3, cg), da), db)) -> new_esEs1(xv310, xv410, cg, da, db)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Left(xv310), Left(xv410), app(app(app(ty_@3, be), bf), bg), bb) -> new_esEs1(xv310, xv410, be, bf, bg)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Left(xv310), Left(xv410), app(ty_Maybe, bh), bb) -> new_esEs2(xv310, xv410, bh)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	*new_esEs(Right(xv310), Right(xv410), cb, app(ty_Maybe, dc)) -> new_esEs2(xv310, xv410, dc)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
11.12/4.56	
11.12/4.56	
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(9)
11.12/4.56	YES
11.12/4.56	
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(10)
11.12/4.56	Obligation:
11.12/4.56	Q DP problem:
11.12/4.56	The TRS P consists of the following rules:
11.12/4.56	
11.12/4.56	   new_primMulNat(Succ(xv31100), Succ(xv41000)) -> new_primMulNat(xv31100, Succ(xv41000))
11.12/4.56	
11.12/4.56	R is empty.
11.12/4.56	Q is empty.
11.12/4.56	We have to consider all minimal (P,Q,R)-chains.
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(11) QDPSizeChangeProof (EQUIVALENT)
11.12/4.56	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. 
11.12/4.56	
11.12/4.56	From the DPs we obtained the following set of size-change graphs:
11.12/4.56	*new_primMulNat(Succ(xv31100), Succ(xv41000)) -> new_primMulNat(xv31100, Succ(xv41000))
11.12/4.56	The graph contains the following edges 1 > 1, 2 >= 2
11.12/4.56	
11.12/4.56	
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(12)
11.12/4.56	YES
11.12/4.56	
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(13)
11.12/4.56	Obligation:
11.12/4.56	Q DP problem:
11.12/4.56	The TRS P consists of the following rules:
11.12/4.56	
11.12/4.56	   new_primPlusNat(Succ(xv1800), Succ(xv410000)) -> new_primPlusNat(xv1800, xv410000)
11.12/4.56	
11.12/4.56	R is empty.
11.12/4.56	Q is empty.
11.12/4.56	We have to consider all minimal (P,Q,R)-chains.
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(14) QDPSizeChangeProof (EQUIVALENT)
11.12/4.56	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. 
11.12/4.56	
11.12/4.56	From the DPs we obtained the following set of size-change graphs:
11.12/4.56	*new_primPlusNat(Succ(xv1800), Succ(xv410000)) -> new_primPlusNat(xv1800, xv410000)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2
11.12/4.56	
11.12/4.56	
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(15)
11.12/4.56	YES
11.12/4.56	
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(16)
11.12/4.56	Obligation:
11.12/4.56	Q DP problem:
11.12/4.56	The TRS P consists of the following rules:
11.12/4.56	
11.12/4.56	   new_primEqNat(Succ(xv3100), Succ(xv4100)) -> new_primEqNat(xv3100, xv4100)
11.12/4.56	
11.12/4.56	R is empty.
11.12/4.56	Q is empty.
11.12/4.56	We have to consider all minimal (P,Q,R)-chains.
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(17) QDPSizeChangeProof (EQUIVALENT)
11.12/4.56	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. 
11.12/4.56	
11.12/4.56	From the DPs we obtained the following set of size-change graphs:
11.12/4.56	*new_primEqNat(Succ(xv3100), Succ(xv4100)) -> new_primEqNat(xv3100, xv4100)
11.12/4.56	The graph contains the following edges 1 > 1, 2 > 2
11.12/4.56	
11.12/4.56	
11.12/4.56	----------------------------------------
11.12/4.56	
11.12/4.56	(18)
11.12/4.56	YES
11.26/4.59	EOF