8.69/3.66	MAYBE
10.58/4.19	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
10.58/4.19	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
10.58/4.19	
10.58/4.19	
10.58/4.19	H-Termination with start terms of the given HASKELL could not be shown:
10.58/4.19	
10.58/4.19	(0) HASKELL
10.58/4.19	(1) LR [EQUIVALENT, 0 ms]
10.58/4.19	(2) HASKELL
10.58/4.19	(3) BR [EQUIVALENT, 0 ms]
10.58/4.19	(4) HASKELL
10.58/4.19	(5) COR [EQUIVALENT, 0 ms]
10.58/4.19	(6) HASKELL
10.58/4.19	(7) Narrow [SOUND, 0 ms]
10.58/4.19	(8) AND
10.58/4.19	    (9) QDP
10.58/4.19	        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
10.58/4.19	        (11) YES
10.58/4.19	    (12) QDP
10.58/4.19	        (13) NonTerminationLoopProof [COMPLETE, 0 ms]
10.58/4.19	        (14) NO
10.58/4.19	(15) Narrow [COMPLETE, 0 ms]
10.58/4.19	(16) TRUE
10.58/4.19	
10.58/4.19	
10.58/4.19	----------------------------------------
10.58/4.19	
10.58/4.19	(0)
10.58/4.19	Obligation:
10.58/4.19	mainModule Main 
10.58/4.19	module Main where {
10.58/4.19	import qualified Prelude;
10.58/4.19	}
10.58/4.19	
10.58/4.19	----------------------------------------
10.58/4.19	
10.58/4.19	(1) LR (EQUIVALENT)
10.58/4.19	Lambda Reductions:
10.58/4.19	The following Lambda expression
10.58/4.19	"\_->q"
10.58/4.19	is transformed to
10.58/4.19	"gtGt0 q _ = q;
10.58/4.19	"
10.58/4.19	The following Lambda expression
10.58/4.19	"\xs->return (x : xs)"
10.58/4.19	is transformed to
10.58/4.19	"getContents0 x xs = return (x : xs);
10.58/4.19	"
10.58/4.19	The following Lambda expression
10.58/4.19	"\x->getContents >>= getContents0 x"
10.58/4.19	is transformed to
10.58/4.19	"getContents1 x = getContents >>= getContents0 x;
10.58/4.19	"
10.58/4.19	
10.58/4.19	----------------------------------------
10.58/4.19	
10.58/4.19	(2)
10.58/4.19	Obligation:
10.58/4.19	mainModule Main 
10.58/4.19	module Main where {
10.58/4.19	import qualified Prelude;
10.58/4.19	}
10.58/4.19	
10.58/4.19	----------------------------------------
10.58/4.19	
10.58/4.19	(3) BR (EQUIVALENT)
10.58/4.19	Replaced joker patterns by fresh variables and removed binding patterns.
10.58/4.19	----------------------------------------
10.58/4.19	
10.58/4.19	(4)
10.58/4.19	Obligation:
10.58/4.19	mainModule Main 
10.58/4.19	module Main where {
10.58/4.19	import qualified Prelude;
10.58/4.19	}
10.58/4.19	
10.58/4.19	----------------------------------------
10.58/4.19	
10.58/4.19	(5) COR (EQUIVALENT)
10.58/4.19	Cond Reductions:
10.58/4.19	The following Function with conditions
10.58/4.19	"randomSelect (x : []) = x;
10.58/4.19	randomSelect (x : xs)|terminatorrandomSelect xs|otherwisex;
10.58/4.19	"
10.58/4.19	is transformed to
10.58/4.19	"randomSelect (x : []) = randomSelect3 (x : []);
10.58/4.19	randomSelect (x : xs) = randomSelect2 (x : xs);
10.58/4.19	"
10.58/4.19	"randomSelect1 x xs True = randomSelect xs;
10.58/4.19	randomSelect1 x xs False = randomSelect0 x xs otherwise;
10.58/4.19	"
10.58/4.19	"randomSelect0 x xs True = x;
10.58/4.19	"
10.58/4.19	"randomSelect2 (x : xs) = randomSelect1 x xs terminator;
10.58/4.19	"
10.58/4.19	"randomSelect3 (x : []) = x;
10.58/4.19	randomSelect3 wv = randomSelect2 wv;
10.58/4.19	"
10.58/4.19	The following Function with conditions
10.58/4.19	"undefined |Falseundefined;
10.58/4.19	"
10.58/4.19	is transformed to
10.58/4.19	"undefined  = undefined1;
10.58/4.19	"
10.58/4.19	"undefined0 True = undefined;
10.58/4.19	"
10.58/4.19	"undefined1  = undefined0 False;
10.58/4.19	"
10.58/4.19	The following Function with conditions
10.58/4.19	"getChar |terminatorreturn terminator|otherwiseaIOE IOError_EOF;
10.58/4.19	"
10.58/4.19	is transformed to
10.58/4.19	"getChar  = getChar2;
10.58/4.19	"
10.58/4.19	"getChar0 True = aIOE IOError_EOF;
10.58/4.19	"
10.58/4.19	"getChar1 True = return terminator;
10.58/4.19	getChar1 False = getChar0 otherwise;
10.58/4.19	"
10.58/4.19	"getChar2  = getChar1 terminator;
10.58/4.19	"
10.58/4.19	The following Function with conditions
10.58/4.19	"getContents |terminatorreturn []|otherwisegetChar >>= getContents1;
10.58/4.19	"
10.58/4.19	is transformed to
10.58/4.19	"getContents  = getContents4;
10.58/4.19	"
10.58/4.19	"getContents2 True = getChar >>= getContents1;
10.58/4.19	"
10.58/4.19	"getContents3 True = return [];
10.58/4.19	getContents3 False = getContents2 otherwise;
10.58/4.19	"
10.58/4.19	"getContents4  = getContents3 terminator;
10.58/4.19	"
10.58/4.19	
10.58/4.19	----------------------------------------
10.58/4.19	
10.58/4.19	(6)
10.58/4.19	Obligation:
10.58/4.19	mainModule Main 
10.58/4.19	module Main where {
10.58/4.19	import qualified Prelude;
10.58/4.19	}
10.58/4.19	
10.58/4.19	----------------------------------------
10.58/4.19	
10.58/4.19	(7) Narrow (SOUND)
10.58/4.19	Haskell To QDPs
10.58/4.19	
10.58/4.19	digraph dp_graph {
10.58/4.19	node [outthreshold=100, inthreshold=100];1[label="readFile",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
10.58/4.19	3[label="readFile ww3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
10.58/4.19	4[label="putStr ww3 >> getContents",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
10.58/4.19	5[label="putStr ww3 >>= gtGt0 getContents",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
10.58/4.19	6[label="primbindIO (putStr ww3) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];176[label="ww3/ww30 : ww31",fontsize=10,color="white",style="solid",shape="box"];6 -> 176[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	176 -> 7[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	177[label="ww3/[]",fontsize=10,color="white",style="solid",shape="box"];6 -> 177[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	177 -> 8[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	7[label="primbindIO (putStr (ww30 : ww31)) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];7 -> 9[label="",style="solid", color="black", weight=3];
10.58/4.19	8[label="primbindIO (putStr []) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];8 -> 10[label="",style="solid", color="black", weight=3];
10.58/4.19	9[label="primbindIO (putChar ww30 >> putStr ww31) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];9 -> 11[label="",style="solid", color="black", weight=3];
10.58/4.19	10[label="primbindIO output (gtGt0 getContents)",fontsize=16,color="black",shape="box"];10 -> 12[label="",style="solid", color="black", weight=3];
10.58/4.19	11[label="primbindIO (putChar ww30 >>= gtGt0 (putStr ww31)) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3];
10.58/4.19	12[label="primbindIO (randomSelect (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];12 -> 14[label="",style="solid", color="black", weight=3];
10.58/4.19	13[label="primbindIO (primbindIO (putChar ww30) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3];
10.58/4.19	14[label="primbindIO (randomSelect2 (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];14 -> 16[label="",style="solid", color="black", weight=3];
10.58/4.19	15[label="primbindIO (primbindIO (seq ww30 output) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3];
10.58/4.19	16[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) terminator) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3];
10.58/4.19	17[label="primbindIO (primbindIO (enforceWHNF (WHNF ww30) output) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
10.58/4.19	18[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) ter0m) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];178[label="ter0m/False",fontsize=10,color="white",style="solid",shape="box"];18 -> 178[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	178 -> 20[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	179[label="ter0m/True",fontsize=10,color="white",style="solid",shape="box"];18 -> 179[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	179 -> 21[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	19[label="primbindIO (primbindIO output (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];19 -> 22[label="",style="solid", color="black", weight=3];
10.58/4.19	20[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) False) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];20 -> 23[label="",style="solid", color="black", weight=3];
10.58/4.19	21[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];21 -> 24[label="",style="solid", color="black", weight=3];
10.58/4.19	22[label="primbindIO (primbindIO (randomSelect (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];22 -> 25[label="",style="solid", color="black", weight=3];
10.58/4.19	23[label="primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) otherwise) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];23 -> 26[label="",style="solid", color="black", weight=3];
10.58/4.19	24[label="primbindIO (randomSelect (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];24 -> 27[label="",style="solid", color="black", weight=3];
10.58/4.19	25[label="primbindIO (primbindIO (randomSelect2 (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];25 -> 28[label="",style="solid", color="black", weight=3];
10.58/4.19	26[label="primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];26 -> 29[label="",style="solid", color="black", weight=3];
10.58/4.19	27[label="primbindIO (randomSelect2 (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];27 -> 30[label="",style="solid", color="black", weight=3];
10.58/4.19	28[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) terminator) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];28 -> 31[label="",style="solid", color="black", weight=3];
10.58/4.19	29[label="primbindIO (aIOE IOError_FullError) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];29 -> 32[label="",style="solid", color="black", weight=3];
10.58/4.19	30[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) terminator) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];30 -> 33[label="",style="solid", color="black", weight=3];
10.58/4.19	31[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) ter1m) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];180[label="ter1m/False",fontsize=10,color="white",style="solid",shape="box"];31 -> 180[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	180 -> 34[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	181[label="ter1m/True",fontsize=10,color="white",style="solid",shape="box"];31 -> 181[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	181 -> 35[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	32[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 getContents)",fontsize=16,color="black",shape="triangle"];32 -> 36[label="",style="solid", color="black", weight=3];
10.58/4.19	33[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) ter2m) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];182[label="ter2m/False",fontsize=10,color="white",style="solid",shape="box"];33 -> 182[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	182 -> 37[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	183[label="ter2m/True",fontsize=10,color="white",style="solid",shape="box"];33 -> 183[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	183 -> 38[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	34[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) False) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];34 -> 39[label="",style="solid", color="black", weight=3];
10.58/4.19	35[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];35 -> 40[label="",style="solid", color="black", weight=3];
10.58/4.19	36[label="AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))",fontsize=16,color="green",shape="box"];37[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) False) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];37 -> 41[label="",style="solid", color="black", weight=3];
10.58/4.19	38[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];38 -> 42[label="",style="solid", color="black", weight=3];
10.58/4.19	39[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) otherwise) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];39 -> 43[label="",style="solid", color="black", weight=3];
10.58/4.19	40[label="primbindIO (primbindIO (randomSelect (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];40 -> 44[label="",style="solid", color="black", weight=3];
10.58/4.19	41[label="primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];41 -> 45[label="",style="solid", color="black", weight=3];
10.58/4.19	42[label="primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];42 -> 46[label="",style="solid", color="black", weight=3];
10.58/4.19	43[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];43 -> 47[label="",style="solid", color="black", weight=3];
10.58/4.19	44[label="primbindIO (primbindIO (randomSelect2 (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];44 -> 48[label="",style="solid", color="black", weight=3];
10.58/4.19	45[label="primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];45 -> 49[label="",style="solid", color="black", weight=3];
10.58/4.19	46[label="primbindIO (randomSelect3 (AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];46 -> 50[label="",style="solid", color="black", weight=3];
10.58/4.19	47[label="primbindIO (primbindIO (aIOE IOError_FullError) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];47 -> 51[label="",style="solid", color="black", weight=3];
10.58/4.19	48[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) terminator) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];48 -> 52[label="",style="solid", color="black", weight=3];
10.58/4.19	49[label="primbindIO (aIOE IOError_PermDenied) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];49 -> 53[label="",style="solid", color="black", weight=3];
10.58/4.19	50[label="primbindIO (AProVE_IO ()) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];50 -> 54[label="",style="solid", color="black", weight=3];
10.58/4.19	51[label="primbindIO (primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];51 -> 55[label="",style="solid", color="black", weight=3];
10.58/4.19	52[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) ter3m) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];184[label="ter3m/False",fontsize=10,color="white",style="solid",shape="box"];52 -> 184[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	184 -> 56[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	185[label="ter3m/True",fontsize=10,color="white",style="solid",shape="box"];52 -> 185[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	185 -> 57[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	53[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];53 -> 58[label="",style="solid", color="black", weight=3];
10.58/4.19	54[label="gtGt0 getContents ()",fontsize=16,color="black",shape="box"];54 -> 59[label="",style="solid", color="black", weight=3];
10.58/4.19	55 -> 32[label="",style="dashed", color="red", weight=0];
10.58/4.19	55[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 getContents)",fontsize=16,color="magenta"];56[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) False) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];56 -> 60[label="",style="solid", color="black", weight=3];
10.58/4.19	57[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];57 -> 61[label="",style="solid", color="black", weight=3];
10.58/4.19	58[label="AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))",fontsize=16,color="green",shape="box"];59[label="getContents",fontsize=16,color="black",shape="triangle"];59 -> 62[label="",style="solid", color="black", weight=3];
10.58/4.19	60 -> 63[label="",style="dashed", color="red", weight=0];
10.58/4.19	60[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="magenta"];60 -> 64[label="",style="dashed", color="magenta", weight=3];
10.58/4.19	61 -> 65[label="",style="dashed", color="red", weight=0];
10.58/4.19	61[label="primbindIO (primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="magenta"];61 -> 66[label="",style="dashed", color="magenta", weight=3];
10.58/4.19	62[label="getContents4",fontsize=16,color="black",shape="box"];62 -> 67[label="",style="solid", color="black", weight=3];
10.58/4.19	64 -> 59[label="",style="dashed", color="red", weight=0];
10.58/4.19	64[label="getContents",fontsize=16,color="magenta"];63[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 (putStr ww31))) (gtGt0 ww4)",fontsize=16,color="black",shape="triangle"];63 -> 68[label="",style="solid", color="black", weight=3];
10.58/4.19	66 -> 59[label="",style="dashed", color="red", weight=0];
10.58/4.19	66[label="getContents",fontsize=16,color="magenta"];65[label="primbindIO (primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 ww5)",fontsize=16,color="black",shape="triangle"];65 -> 69[label="",style="solid", color="black", weight=3];
10.58/4.19	67[label="getContents3 terminator",fontsize=16,color="black",shape="box"];67 -> 70[label="",style="solid", color="black", weight=3];
10.58/4.19	68[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 (putStr ww31))) (gtGt0 ww4)",fontsize=16,color="black",shape="box"];68 -> 71[label="",style="solid", color="black", weight=3];
10.58/4.19	69[label="primbindIO (primbindIO (randomSelect3 (AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];69 -> 72[label="",style="solid", color="black", weight=3];
10.58/4.19	70[label="getContents3 ter4m",fontsize=16,color="burlywood",shape="box"];186[label="ter4m/False",fontsize=10,color="white",style="solid",shape="box"];70 -> 186[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	186 -> 73[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	187[label="ter4m/True",fontsize=10,color="white",style="solid",shape="box"];70 -> 187[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	187 -> 74[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	71[label="primbindIO (primbindIO (aIOE IOError_PermDenied) (gtGt0 (putStr ww31))) (gtGt0 ww4)",fontsize=16,color="black",shape="box"];71 -> 75[label="",style="solid", color="black", weight=3];
10.58/4.19	72[label="primbindIO (primbindIO (AProVE_IO ()) (gtGt0 (putStr ww31))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];72 -> 76[label="",style="solid", color="black", weight=3];
10.58/4.19	73[label="getContents3 False",fontsize=16,color="black",shape="box"];73 -> 77[label="",style="solid", color="black", weight=3];
10.58/4.19	74[label="getContents3 True",fontsize=16,color="black",shape="box"];74 -> 78[label="",style="solid", color="black", weight=3];
10.58/4.19	75[label="primbindIO (primbindIO (AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))) (gtGt0 (putStr ww31))) (gtGt0 ww4)",fontsize=16,color="black",shape="box"];75 -> 79[label="",style="solid", color="black", weight=3];
10.58/4.19	76[label="primbindIO (gtGt0 (putStr ww31) ()) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];76 -> 80[label="",style="solid", color="black", weight=3];
10.58/4.19	77[label="getContents2 otherwise",fontsize=16,color="black",shape="box"];77 -> 81[label="",style="solid", color="black", weight=3];
10.58/4.19	78[label="return []",fontsize=16,color="black",shape="box"];78 -> 82[label="",style="solid", color="black", weight=3];
10.58/4.19	79[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))) (gtGt0 ww4)",fontsize=16,color="black",shape="triangle"];79 -> 83[label="",style="solid", color="black", weight=3];
10.58/4.19	80[label="primbindIO (putStr ww31) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];188[label="ww31/ww310 : ww311",fontsize=10,color="white",style="solid",shape="box"];80 -> 188[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	188 -> 84[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	189[label="ww31/[]",fontsize=10,color="white",style="solid",shape="box"];80 -> 189[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	189 -> 85[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	81[label="getContents2 True",fontsize=16,color="black",shape="box"];81 -> 86[label="",style="solid", color="black", weight=3];
10.58/4.19	82[label="primretIO []",fontsize=16,color="black",shape="box"];82 -> 87[label="",style="solid", color="black", weight=3];
10.58/4.19	83[label="AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))",fontsize=16,color="green",shape="box"];84[label="primbindIO (putStr (ww310 : ww311)) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];84 -> 88[label="",style="solid", color="black", weight=3];
10.58/4.19	85[label="primbindIO (putStr []) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];85 -> 89[label="",style="solid", color="black", weight=3];
10.58/4.19	86[label="getChar >>= getContents1",fontsize=16,color="black",shape="box"];86 -> 90[label="",style="solid", color="black", weight=3];
10.58/4.19	87[label="AProVE_IO []",fontsize=16,color="green",shape="box"];88[label="primbindIO (putChar ww310 >> putStr ww311) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];88 -> 91[label="",style="solid", color="black", weight=3];
10.58/4.19	89[label="primbindIO output (gtGt0 ww5)",fontsize=16,color="black",shape="box"];89 -> 92[label="",style="solid", color="black", weight=3];
10.58/4.19	90[label="primbindIO getChar getContents1",fontsize=16,color="black",shape="box"];90 -> 93[label="",style="solid", color="black", weight=3];
10.58/4.19	91[label="primbindIO (putChar ww310 >>= gtGt0 (putStr ww311)) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];91 -> 94[label="",style="solid", color="black", weight=3];
10.58/4.19	92[label="primbindIO (randomSelect (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];92 -> 95[label="",style="solid", color="black", weight=3];
10.58/4.19	93[label="primbindIO getChar2 getContents1",fontsize=16,color="black",shape="box"];93 -> 96[label="",style="solid", color="black", weight=3];
10.58/4.19	94[label="primbindIO (primbindIO (putChar ww310) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];94 -> 97[label="",style="solid", color="black", weight=3];
10.58/4.19	95[label="primbindIO (randomSelect2 (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];95 -> 98[label="",style="solid", color="black", weight=3];
10.58/4.19	96[label="primbindIO (getChar1 terminator) getContents1",fontsize=16,color="black",shape="box"];96 -> 99[label="",style="solid", color="black", weight=3];
10.58/4.19	97[label="primbindIO (primbindIO (seq ww310 output) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];97 -> 100[label="",style="solid", color="black", weight=3];
10.58/4.19	98[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) terminator) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];98 -> 101[label="",style="solid", color="black", weight=3];
10.58/4.19	99[label="primbindIO (getChar1 ter5m) getContents1",fontsize=16,color="burlywood",shape="box"];190[label="ter5m/False",fontsize=10,color="white",style="solid",shape="box"];99 -> 190[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	190 -> 102[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	191[label="ter5m/True",fontsize=10,color="white",style="solid",shape="box"];99 -> 191[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	191 -> 103[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	100[label="primbindIO (primbindIO (enforceWHNF (WHNF ww310) output) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];100 -> 104[label="",style="solid", color="black", weight=3];
10.58/4.19	101[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) ter6m) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];192[label="ter6m/False",fontsize=10,color="white",style="solid",shape="box"];101 -> 192[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	192 -> 105[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	193[label="ter6m/True",fontsize=10,color="white",style="solid",shape="box"];101 -> 193[label="",style="solid", color="burlywood", weight=9];
10.58/4.19	193 -> 106[label="",style="solid", color="burlywood", weight=3];
10.58/4.19	102[label="primbindIO (getChar1 False) getContents1",fontsize=16,color="black",shape="box"];102 -> 107[label="",style="solid", color="black", weight=3];
10.58/4.19	103[label="primbindIO (getChar1 True) getContents1",fontsize=16,color="black",shape="box"];103 -> 108[label="",style="solid", color="black", weight=3];
10.58/4.19	104[label="primbindIO (primbindIO output (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];104 -> 109[label="",style="solid", color="black", weight=3];
10.58/4.19	105[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) False) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];105 -> 110[label="",style="solid", color="black", weight=3];
10.58/4.19	106[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];106 -> 111[label="",style="solid", color="black", weight=3];
10.58/4.19	107[label="primbindIO (getChar0 otherwise) getContents1",fontsize=16,color="black",shape="box"];107 -> 112[label="",style="solid", color="black", weight=3];
10.58/4.19	108[label="primbindIO (return terminator) getContents1",fontsize=16,color="black",shape="box"];108 -> 113[label="",style="solid", color="black", weight=3];
10.58/4.19	109[label="primbindIO (primbindIO (randomSelect (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];109 -> 114[label="",style="solid", color="black", weight=3];
10.58/4.19	110[label="primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) otherwise) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];110 -> 115[label="",style="solid", color="black", weight=3];
10.58/4.19	111[label="primbindIO (randomSelect (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];111 -> 116[label="",style="solid", color="black", weight=3];
10.58/4.19	112[label="primbindIO (getChar0 True) getContents1",fontsize=16,color="black",shape="box"];112 -> 117[label="",style="solid", color="black", weight=3];
10.58/4.19	113[label="primbindIO (primretIO terminator) getContents1",fontsize=16,color="black",shape="box"];113 -> 118[label="",style="solid", color="black", weight=3];
10.58/4.19	114[label="primbindIO (primbindIO (randomSelect2 (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];114 -> 119[label="",style="solid", color="black", weight=3];
10.58/4.19	115[label="primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];115 -> 120[label="",style="solid", color="black", weight=3];
10.58/4.19	116[label="primbindIO (randomSelect2 (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];116 -> 121[label="",style="solid", color="black", weight=3];
10.58/4.19	117[label="primbindIO (aIOE IOError_EOF) getContents1",fontsize=16,color="black",shape="box"];117 -> 122[label="",style="solid", color="black", weight=3];
10.58/4.19	118[label="primbindIO (AProVE_IO terminator) getContents1",fontsize=16,color="black",shape="box"];118 -> 123[label="",style="solid", color="black", weight=3];
10.58/4.19	119[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) terminator) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];119 -> 124[label="",style="solid", color="black", weight=3];
10.58/4.19	120[label="primbindIO (aIOE IOError_FullError) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];120 -> 125[label="",style="solid", color="black", weight=3];
10.58/4.19	121[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) terminator) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];121 -> 126[label="",style="solid", color="black", weight=3];
10.58/4.19	122[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_EOF [] [] Nothing))) getContents1",fontsize=16,color="black",shape="box"];122 -> 127[label="",style="solid", color="black", weight=3];
10.58/4.19	123[label="getContents1 terminator",fontsize=16,color="black",shape="box"];123 -> 128[label="",style="solid", color="black", weight=3];
10.58/4.19	124[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) ter7m) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];194[label="ter7m/False",fontsize=10,color="white",style="solid",shape="box"];124 -> 194[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	194 -> 129[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	195[label="ter7m/True",fontsize=10,color="white",style="solid",shape="box"];124 -> 195[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	195 -> 130[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	125[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 ww5)",fontsize=16,color="black",shape="triangle"];125 -> 131[label="",style="solid", color="black", weight=3];
10.58/4.20	126[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) ter8m) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];196[label="ter8m/False",fontsize=10,color="white",style="solid",shape="box"];126 -> 196[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	196 -> 132[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	197[label="ter8m/True",fontsize=10,color="white",style="solid",shape="box"];126 -> 197[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	197 -> 133[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	127[label="AProVE_Exception (AET_IOError (IOError IOError_EOF [] [] Nothing))",fontsize=16,color="green",shape="box"];128 -> 134[label="",style="dashed", color="red", weight=0];
10.58/4.20	128[label="getContents >>= getContents0 terminator",fontsize=16,color="magenta"];128 -> 135[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	129[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) False) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];129 -> 136[label="",style="solid", color="black", weight=3];
10.58/4.20	130[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];130 -> 137[label="",style="solid", color="black", weight=3];
10.58/4.20	131[label="AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))",fontsize=16,color="green",shape="box"];132[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) False) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];132 -> 138[label="",style="solid", color="black", weight=3];
10.58/4.20	133[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];133 -> 139[label="",style="solid", color="black", weight=3];
10.58/4.20	135 -> 59[label="",style="dashed", color="red", weight=0];
10.58/4.20	135[label="getContents",fontsize=16,color="magenta"];134[label="ww6 >>= getContents0 terminator",fontsize=16,color="black",shape="triangle"];134 -> 140[label="",style="solid", color="black", weight=3];
10.58/4.20	136[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) otherwise) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];136 -> 141[label="",style="solid", color="black", weight=3];
10.58/4.20	137[label="primbindIO (primbindIO (randomSelect (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];137 -> 142[label="",style="solid", color="black", weight=3];
10.58/4.20	138[label="primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];138 -> 143[label="",style="solid", color="black", weight=3];
10.58/4.20	139[label="primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];139 -> 144[label="",style="solid", color="black", weight=3];
10.58/4.20	140[label="primbindIO ww6 (getContents0 terminator)",fontsize=16,color="burlywood",shape="box"];198[label="ww6/IO ww60",fontsize=10,color="white",style="solid",shape="box"];140 -> 198[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	198 -> 145[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	199[label="ww6/AProVE_IO ww60",fontsize=10,color="white",style="solid",shape="box"];140 -> 199[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	199 -> 146[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	200[label="ww6/AProVE_Exception ww60",fontsize=10,color="white",style="solid",shape="box"];140 -> 200[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	200 -> 147[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	201[label="ww6/AProVE_Error ww60",fontsize=10,color="white",style="solid",shape="box"];140 -> 201[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	201 -> 148[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	141[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];141 -> 149[label="",style="solid", color="black", weight=3];
10.58/4.20	142[label="primbindIO (primbindIO (randomSelect2 (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];142 -> 150[label="",style="solid", color="black", weight=3];
10.58/4.20	143[label="primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];143 -> 151[label="",style="solid", color="black", weight=3];
10.58/4.20	144[label="primbindIO (randomSelect3 (AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];144 -> 152[label="",style="solid", color="black", weight=3];
10.58/4.20	145[label="primbindIO (IO ww60) (getContents0 terminator)",fontsize=16,color="black",shape="box"];145 -> 153[label="",style="solid", color="black", weight=3];
10.58/4.20	146[label="primbindIO (AProVE_IO ww60) (getContents0 terminator)",fontsize=16,color="black",shape="box"];146 -> 154[label="",style="solid", color="black", weight=3];
10.58/4.20	147[label="primbindIO (AProVE_Exception ww60) (getContents0 terminator)",fontsize=16,color="black",shape="box"];147 -> 155[label="",style="solid", color="black", weight=3];
10.58/4.20	148[label="primbindIO (AProVE_Error ww60) (getContents0 terminator)",fontsize=16,color="black",shape="box"];148 -> 156[label="",style="solid", color="black", weight=3];
10.58/4.20	149[label="primbindIO (primbindIO (aIOE IOError_FullError) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];149 -> 157[label="",style="solid", color="black", weight=3];
10.58/4.20	150[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) terminator) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];150 -> 158[label="",style="solid", color="black", weight=3];
10.58/4.20	151[label="primbindIO (aIOE IOError_PermDenied) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];151 -> 159[label="",style="solid", color="black", weight=3];
10.58/4.20	152[label="primbindIO (AProVE_IO ()) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];152 -> 160[label="",style="solid", color="black", weight=3];
10.58/4.20	153[label="error []",fontsize=16,color="red",shape="box"];154[label="getContents0 terminator ww60",fontsize=16,color="black",shape="box"];154 -> 161[label="",style="solid", color="black", weight=3];
10.58/4.20	155[label="AProVE_Exception ww60",fontsize=16,color="green",shape="box"];156[label="AProVE_Error ww60",fontsize=16,color="green",shape="box"];157[label="primbindIO (primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];157 -> 162[label="",style="solid", color="black", weight=3];
10.58/4.20	158[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) ter9m) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];202[label="ter9m/False",fontsize=10,color="white",style="solid",shape="box"];158 -> 202[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	202 -> 163[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	203[label="ter9m/True",fontsize=10,color="white",style="solid",shape="box"];158 -> 203[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	203 -> 164[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	159 -> 79[label="",style="dashed", color="red", weight=0];
10.58/4.20	159[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))) (gtGt0 ww5)",fontsize=16,color="magenta"];159 -> 165[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	160[label="gtGt0 ww5 ()",fontsize=16,color="black",shape="box"];160 -> 166[label="",style="solid", color="black", weight=3];
10.58/4.20	161[label="return (terminator : ww60)",fontsize=16,color="black",shape="box"];161 -> 167[label="",style="solid", color="black", weight=3];
10.58/4.20	162 -> 125[label="",style="dashed", color="red", weight=0];
10.58/4.20	162[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 ww5)",fontsize=16,color="magenta"];163[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) False) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];163 -> 168[label="",style="solid", color="black", weight=3];
10.58/4.20	164[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];164 -> 169[label="",style="solid", color="black", weight=3];
10.58/4.20	165[label="ww5",fontsize=16,color="green",shape="box"];166[label="ww5",fontsize=16,color="green",shape="box"];167[label="primretIO (terminator : ww60)",fontsize=16,color="black",shape="box"];167 -> 170[label="",style="solid", color="black", weight=3];
10.58/4.20	168 -> 63[label="",style="dashed", color="red", weight=0];
10.58/4.20	168[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="magenta"];168 -> 171[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	168 -> 172[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	169 -> 65[label="",style="dashed", color="red", weight=0];
10.58/4.20	169[label="primbindIO (primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="magenta"];169 -> 173[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	170[label="AProVE_IO (terminator : ww60)",fontsize=16,color="green",shape="box"];170 -> 174[label="",style="dashed", color="green", weight=3];
10.58/4.20	171[label="ww5",fontsize=16,color="green",shape="box"];172[label="ww311",fontsize=16,color="green",shape="box"];173[label="ww311",fontsize=16,color="green",shape="box"];174[label="terminator",fontsize=16,color="black",shape="box"];174 -> 175[label="",style="solid", color="black", weight=3];
10.58/4.20	175[label="ter10m",fontsize=16,color="green",shape="box"];}
10.58/4.20	
10.58/4.20	----------------------------------------
10.58/4.20	
10.58/4.20	(8)
10.58/4.20	Complex Obligation (AND)
10.58/4.20	
10.58/4.20	----------------------------------------
10.58/4.20	
10.58/4.20	(9)
10.58/4.20	Obligation:
10.58/4.20	Q DP problem:
10.58/4.20	The TRS P consists of the following rules:
10.58/4.20	
10.58/4.20	   new_primbindIO(:(ww310, ww311), ww5) -> new_primbindIO(ww311, ww5)
10.58/4.20	
10.58/4.20	R is empty.
10.58/4.20	Q is empty.
10.58/4.20	We have to consider all minimal (P,Q,R)-chains.
10.58/4.20	----------------------------------------
10.58/4.20	
10.58/4.20	(10) QDPSizeChangeProof (EQUIVALENT)
10.58/4.20	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. 
10.58/4.20	
10.58/4.20	From the DPs we obtained the following set of size-change graphs:
10.58/4.20	*new_primbindIO(:(ww310, ww311), ww5) -> new_primbindIO(ww311, ww5)
10.58/4.20	The graph contains the following edges 1 > 1, 2 >= 2
10.58/4.20	
10.58/4.20	
10.58/4.20	----------------------------------------
10.58/4.20	
10.58/4.20	(11)
10.58/4.20	YES
10.58/4.20	
10.58/4.20	----------------------------------------
10.58/4.20	
10.58/4.20	(12)
10.58/4.20	Obligation:
10.58/4.20	Q DP problem:
10.58/4.20	The TRS P consists of the following rules:
10.58/4.20	
10.58/4.20	   new_getContents -> new_getContents
10.58/4.20	
10.58/4.20	R is empty.
10.58/4.20	Q is empty.
10.58/4.20	We have to consider all minimal (P,Q,R)-chains.
10.58/4.20	----------------------------------------
10.58/4.20	
10.58/4.20	(13) NonTerminationLoopProof (COMPLETE)
10.58/4.20	We used the non-termination processor [FROCOS05] to show that the DP problem is infinite.
10.58/4.20	Found a loop by semiunifying a rule from P directly.
10.58/4.20	
10.58/4.20	s = new_getContents evaluates to  t =new_getContents
10.58/4.20	
10.58/4.20	Thus s starts an infinite chain as s semiunifies with t with the following substitutions:
10.58/4.20	* Matcher: [ ]
10.58/4.20	* Semiunifier: [ ]
10.58/4.20	
10.58/4.20	--------------------------------------------------------------------------------
10.58/4.20	Rewriting sequence
10.58/4.20	
10.58/4.20	The DP semiunifies directly so there is only one rewrite step from new_getContents to new_getContents.
10.58/4.20	
10.58/4.20	
10.58/4.20	
10.58/4.20	
10.58/4.20	----------------------------------------
10.58/4.20	
10.58/4.20	(14)
10.58/4.20	NO
10.58/4.20	
10.58/4.20	----------------------------------------
10.58/4.20	
10.58/4.20	(15) Narrow (COMPLETE)
10.58/4.20	Haskell To QDPs
10.58/4.20	
10.58/4.20	digraph dp_graph {
10.58/4.20	node [outthreshold=100, inthreshold=100];1[label="readFile",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
10.58/4.20	3[label="readFile ww3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
10.58/4.20	4[label="putStr ww3 >> getContents",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
10.58/4.20	5[label="putStr ww3 >>= gtGt0 getContents",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
10.58/4.20	6[label="primbindIO (putStr ww3) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];176[label="ww3/ww30 : ww31",fontsize=10,color="white",style="solid",shape="box"];6 -> 176[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	176 -> 7[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	177[label="ww3/[]",fontsize=10,color="white",style="solid",shape="box"];6 -> 177[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	177 -> 8[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	7[label="primbindIO (putStr (ww30 : ww31)) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];7 -> 9[label="",style="solid", color="black", weight=3];
10.58/4.20	8[label="primbindIO (putStr []) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];8 -> 10[label="",style="solid", color="black", weight=3];
10.58/4.20	9[label="primbindIO (putChar ww30 >> putStr ww31) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];9 -> 11[label="",style="solid", color="black", weight=3];
10.58/4.20	10[label="primbindIO output (gtGt0 getContents)",fontsize=16,color="black",shape="box"];10 -> 12[label="",style="solid", color="black", weight=3];
10.58/4.20	11[label="primbindIO (putChar ww30 >>= gtGt0 (putStr ww31)) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3];
10.58/4.20	12[label="primbindIO (randomSelect (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];12 -> 14[label="",style="solid", color="black", weight=3];
10.58/4.20	13[label="primbindIO (primbindIO (putChar ww30) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3];
10.58/4.20	14[label="primbindIO (randomSelect2 (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];14 -> 16[label="",style="solid", color="black", weight=3];
10.58/4.20	15[label="primbindIO (primbindIO (seq ww30 output) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3];
10.58/4.20	16[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) terminator) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3];
10.58/4.20	17[label="primbindIO (primbindIO (enforceWHNF (WHNF ww30) output) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
10.58/4.20	18[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) ter0m) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];178[label="ter0m/False",fontsize=10,color="white",style="solid",shape="box"];18 -> 178[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	178 -> 20[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	179[label="ter0m/True",fontsize=10,color="white",style="solid",shape="box"];18 -> 179[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	179 -> 21[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	19[label="primbindIO (primbindIO output (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];19 -> 22[label="",style="solid", color="black", weight=3];
10.58/4.20	20[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) False) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];20 -> 23[label="",style="solid", color="black", weight=3];
10.58/4.20	21[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];21 -> 24[label="",style="solid", color="black", weight=3];
10.58/4.20	22[label="primbindIO (primbindIO (randomSelect (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];22 -> 25[label="",style="solid", color="black", weight=3];
10.58/4.20	23[label="primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) otherwise) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];23 -> 26[label="",style="solid", color="black", weight=3];
10.58/4.20	24[label="primbindIO (randomSelect (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];24 -> 27[label="",style="solid", color="black", weight=3];
10.58/4.20	25[label="primbindIO (primbindIO (randomSelect2 (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];25 -> 28[label="",style="solid", color="black", weight=3];
10.58/4.20	26[label="primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];26 -> 29[label="",style="solid", color="black", weight=3];
10.58/4.20	27[label="primbindIO (randomSelect2 (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];27 -> 30[label="",style="solid", color="black", weight=3];
10.58/4.20	28[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) terminator) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];28 -> 31[label="",style="solid", color="black", weight=3];
10.58/4.20	29[label="primbindIO (aIOE IOError_FullError) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];29 -> 32[label="",style="solid", color="black", weight=3];
10.58/4.20	30[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) terminator) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];30 -> 33[label="",style="solid", color="black", weight=3];
10.58/4.20	31[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) ter1m) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];180[label="ter1m/False",fontsize=10,color="white",style="solid",shape="box"];31 -> 180[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	180 -> 34[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	181[label="ter1m/True",fontsize=10,color="white",style="solid",shape="box"];31 -> 181[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	181 -> 35[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	32[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 getContents)",fontsize=16,color="black",shape="triangle"];32 -> 36[label="",style="solid", color="black", weight=3];
10.58/4.20	33[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) ter2m) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];182[label="ter2m/False",fontsize=10,color="white",style="solid",shape="box"];33 -> 182[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	182 -> 37[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	183[label="ter2m/True",fontsize=10,color="white",style="solid",shape="box"];33 -> 183[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	183 -> 38[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	34[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) False) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];34 -> 39[label="",style="solid", color="black", weight=3];
10.58/4.20	35[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];35 -> 40[label="",style="solid", color="black", weight=3];
10.58/4.20	36[label="AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))",fontsize=16,color="green",shape="box"];37[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) False) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];37 -> 41[label="",style="solid", color="black", weight=3];
10.58/4.20	38[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];38 -> 42[label="",style="solid", color="black", weight=3];
10.58/4.20	39[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) otherwise) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];39 -> 43[label="",style="solid", color="black", weight=3];
10.58/4.20	40[label="primbindIO (primbindIO (randomSelect (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];40 -> 44[label="",style="solid", color="black", weight=3];
10.58/4.20	41[label="primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];41 -> 45[label="",style="solid", color="black", weight=3];
10.58/4.20	42[label="primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];42 -> 46[label="",style="solid", color="black", weight=3];
10.58/4.20	43[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];43 -> 47[label="",style="solid", color="black", weight=3];
10.58/4.20	44[label="primbindIO (primbindIO (randomSelect2 (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];44 -> 48[label="",style="solid", color="black", weight=3];
10.58/4.20	45[label="primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];45 -> 49[label="",style="solid", color="black", weight=3];
10.58/4.20	46[label="primbindIO (randomSelect3 (AProVE_IO () : [])) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];46 -> 50[label="",style="solid", color="black", weight=3];
10.58/4.20	47[label="primbindIO (primbindIO (aIOE IOError_FullError) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];47 -> 51[label="",style="solid", color="black", weight=3];
10.58/4.20	48[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) terminator) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];48 -> 52[label="",style="solid", color="black", weight=3];
10.58/4.20	49[label="primbindIO (aIOE IOError_PermDenied) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];49 -> 53[label="",style="solid", color="black", weight=3];
10.58/4.20	50[label="primbindIO (AProVE_IO ()) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];50 -> 54[label="",style="solid", color="black", weight=3];
10.58/4.20	51[label="primbindIO (primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];51 -> 55[label="",style="solid", color="black", weight=3];
10.58/4.20	52[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) ter3m) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="burlywood",shape="box"];184[label="ter3m/False",fontsize=10,color="white",style="solid",shape="box"];52 -> 184[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	184 -> 56[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	185[label="ter3m/True",fontsize=10,color="white",style="solid",shape="box"];52 -> 185[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	185 -> 57[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	53[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];53 -> 58[label="",style="solid", color="black", weight=3];
10.58/4.20	54[label="gtGt0 getContents ()",fontsize=16,color="black",shape="box"];54 -> 59[label="",style="solid", color="black", weight=3];
10.58/4.20	55 -> 32[label="",style="dashed", color="red", weight=0];
10.58/4.20	55[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 getContents)",fontsize=16,color="magenta"];56[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) False) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];56 -> 60[label="",style="solid", color="black", weight=3];
10.58/4.20	57[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="black",shape="box"];57 -> 61[label="",style="solid", color="black", weight=3];
10.58/4.20	58[label="AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))",fontsize=16,color="green",shape="box"];59[label="getContents",fontsize=16,color="black",shape="triangle"];59 -> 62[label="",style="solid", color="black", weight=3];
10.58/4.20	60 -> 63[label="",style="dashed", color="red", weight=0];
10.58/4.20	60[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="magenta"];60 -> 64[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	61 -> 65[label="",style="dashed", color="red", weight=0];
10.58/4.20	61[label="primbindIO (primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 getContents)",fontsize=16,color="magenta"];61 -> 66[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	62[label="getContents4",fontsize=16,color="black",shape="box"];62 -> 67[label="",style="solid", color="black", weight=3];
10.58/4.20	64 -> 59[label="",style="dashed", color="red", weight=0];
10.58/4.20	64[label="getContents",fontsize=16,color="magenta"];63[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 (putStr ww31))) (gtGt0 ww4)",fontsize=16,color="black",shape="triangle"];63 -> 68[label="",style="solid", color="black", weight=3];
10.58/4.20	66 -> 59[label="",style="dashed", color="red", weight=0];
10.58/4.20	66[label="getContents",fontsize=16,color="magenta"];65[label="primbindIO (primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 ww5)",fontsize=16,color="black",shape="triangle"];65 -> 69[label="",style="solid", color="black", weight=3];
10.58/4.20	67[label="getContents3 terminator",fontsize=16,color="black",shape="box"];67 -> 70[label="",style="solid", color="black", weight=3];
10.58/4.20	68[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 (putStr ww31))) (gtGt0 ww4)",fontsize=16,color="black",shape="box"];68 -> 71[label="",style="solid", color="black", weight=3];
10.58/4.20	69[label="primbindIO (primbindIO (randomSelect3 (AProVE_IO () : [])) (gtGt0 (putStr ww31))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];69 -> 72[label="",style="solid", color="black", weight=3];
10.58/4.20	70[label="getContents3 ter4m",fontsize=16,color="burlywood",shape="box"];186[label="ter4m/False",fontsize=10,color="white",style="solid",shape="box"];70 -> 186[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	186 -> 73[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	187[label="ter4m/True",fontsize=10,color="white",style="solid",shape="box"];70 -> 187[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	187 -> 74[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	71[label="primbindIO (primbindIO (aIOE IOError_PermDenied) (gtGt0 (putStr ww31))) (gtGt0 ww4)",fontsize=16,color="black",shape="box"];71 -> 75[label="",style="solid", color="black", weight=3];
10.58/4.20	72[label="primbindIO (primbindIO (AProVE_IO ()) (gtGt0 (putStr ww31))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];72 -> 76[label="",style="solid", color="black", weight=3];
10.58/4.20	73[label="getContents3 False",fontsize=16,color="black",shape="box"];73 -> 77[label="",style="solid", color="black", weight=3];
10.58/4.20	74[label="getContents3 True",fontsize=16,color="black",shape="box"];74 -> 78[label="",style="solid", color="black", weight=3];
10.58/4.20	75[label="primbindIO (primbindIO (AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))) (gtGt0 (putStr ww31))) (gtGt0 ww4)",fontsize=16,color="black",shape="box"];75 -> 79[label="",style="solid", color="black", weight=3];
10.58/4.20	76[label="primbindIO (gtGt0 (putStr ww31) ()) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];76 -> 80[label="",style="solid", color="black", weight=3];
10.58/4.20	77[label="getContents2 otherwise",fontsize=16,color="black",shape="box"];77 -> 81[label="",style="solid", color="black", weight=3];
10.58/4.20	78[label="return []",fontsize=16,color="black",shape="box"];78 -> 82[label="",style="solid", color="black", weight=3];
10.58/4.20	79[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))) (gtGt0 ww4)",fontsize=16,color="black",shape="triangle"];79 -> 83[label="",style="solid", color="black", weight=3];
10.58/4.20	80[label="primbindIO (putStr ww31) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];188[label="ww31/ww310 : ww311",fontsize=10,color="white",style="solid",shape="box"];80 -> 188[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	188 -> 84[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	189[label="ww31/[]",fontsize=10,color="white",style="solid",shape="box"];80 -> 189[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	189 -> 85[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	81[label="getContents2 True",fontsize=16,color="black",shape="box"];81 -> 86[label="",style="solid", color="black", weight=3];
10.58/4.20	82[label="primretIO []",fontsize=16,color="black",shape="box"];82 -> 87[label="",style="solid", color="black", weight=3];
10.58/4.20	83[label="AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))",fontsize=16,color="green",shape="box"];84[label="primbindIO (putStr (ww310 : ww311)) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];84 -> 88[label="",style="solid", color="black", weight=3];
10.58/4.20	85[label="primbindIO (putStr []) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];85 -> 89[label="",style="solid", color="black", weight=3];
10.58/4.20	86[label="getChar >>= getContents1",fontsize=16,color="black",shape="box"];86 -> 90[label="",style="solid", color="black", weight=3];
10.58/4.20	87[label="AProVE_IO []",fontsize=16,color="green",shape="box"];88[label="primbindIO (putChar ww310 >> putStr ww311) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];88 -> 91[label="",style="solid", color="black", weight=3];
10.58/4.20	89[label="primbindIO output (gtGt0 ww5)",fontsize=16,color="black",shape="box"];89 -> 92[label="",style="solid", color="black", weight=3];
10.58/4.20	90[label="primbindIO getChar getContents1",fontsize=16,color="black",shape="box"];90 -> 93[label="",style="solid", color="black", weight=3];
10.58/4.20	91[label="primbindIO (putChar ww310 >>= gtGt0 (putStr ww311)) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];91 -> 94[label="",style="solid", color="black", weight=3];
10.58/4.20	92[label="primbindIO (randomSelect (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];92 -> 95[label="",style="solid", color="black", weight=3];
10.58/4.20	93[label="primbindIO getChar2 getContents1",fontsize=16,color="black",shape="box"];93 -> 96[label="",style="solid", color="black", weight=3];
10.58/4.20	94[label="primbindIO (primbindIO (putChar ww310) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];94 -> 97[label="",style="solid", color="black", weight=3];
10.58/4.20	95[label="primbindIO (randomSelect2 (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];95 -> 98[label="",style="solid", color="black", weight=3];
10.58/4.20	96[label="primbindIO (getChar1 terminator) getContents1",fontsize=16,color="black",shape="box"];96 -> 99[label="",style="solid", color="black", weight=3];
10.58/4.20	97[label="primbindIO (primbindIO (seq ww310 output) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];97 -> 100[label="",style="solid", color="black", weight=3];
10.58/4.20	98[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) terminator) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];98 -> 101[label="",style="solid", color="black", weight=3];
10.58/4.20	99[label="primbindIO (getChar1 ter5m) getContents1",fontsize=16,color="burlywood",shape="box"];190[label="ter5m/False",fontsize=10,color="white",style="solid",shape="box"];99 -> 190[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	190 -> 102[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	191[label="ter5m/True",fontsize=10,color="white",style="solid",shape="box"];99 -> 191[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	191 -> 103[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	100[label="primbindIO (primbindIO (enforceWHNF (WHNF ww310) output) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];100 -> 104[label="",style="solid", color="black", weight=3];
10.58/4.20	101[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) ter6m) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];192[label="ter6m/False",fontsize=10,color="white",style="solid",shape="box"];101 -> 192[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	192 -> 105[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	193[label="ter6m/True",fontsize=10,color="white",style="solid",shape="box"];101 -> 193[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	193 -> 106[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	102[label="primbindIO (getChar1 False) getContents1",fontsize=16,color="black",shape="box"];102 -> 107[label="",style="solid", color="black", weight=3];
10.58/4.20	103[label="primbindIO (getChar1 True) getContents1",fontsize=16,color="black",shape="box"];103 -> 108[label="",style="solid", color="black", weight=3];
10.58/4.20	104[label="primbindIO (primbindIO output (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];104 -> 109[label="",style="solid", color="black", weight=3];
10.58/4.20	105[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) False) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];105 -> 110[label="",style="solid", color="black", weight=3];
10.58/4.20	106[label="primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];106 -> 111[label="",style="solid", color="black", weight=3];
10.58/4.20	107[label="primbindIO (getChar0 otherwise) getContents1",fontsize=16,color="black",shape="box"];107 -> 112[label="",style="solid", color="black", weight=3];
10.58/4.20	108[label="primbindIO (return terminator) getContents1",fontsize=16,color="black",shape="box"];108 -> 113[label="",style="solid", color="black", weight=3];
10.58/4.20	109[label="primbindIO (primbindIO (randomSelect (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];109 -> 114[label="",style="solid", color="black", weight=3];
10.58/4.20	110[label="primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) otherwise) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];110 -> 115[label="",style="solid", color="black", weight=3];
10.58/4.20	111[label="primbindIO (randomSelect (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];111 -> 116[label="",style="solid", color="black", weight=3];
10.58/4.20	112[label="primbindIO (getChar0 True) getContents1",fontsize=16,color="black",shape="box"];112 -> 117[label="",style="solid", color="black", weight=3];
10.58/4.20	113[label="primbindIO (primretIO terminator) getContents1",fontsize=16,color="black",shape="box"];113 -> 118[label="",style="solid", color="black", weight=3];
10.58/4.20	114[label="primbindIO (primbindIO (randomSelect2 (aIOE IOError_FullError : aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];114 -> 119[label="",style="solid", color="black", weight=3];
10.58/4.20	115[label="primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];115 -> 120[label="",style="solid", color="black", weight=3];
10.58/4.20	116[label="primbindIO (randomSelect2 (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];116 -> 121[label="",style="solid", color="black", weight=3];
10.58/4.20	117[label="primbindIO (aIOE IOError_EOF) getContents1",fontsize=16,color="black",shape="box"];117 -> 122[label="",style="solid", color="black", weight=3];
10.58/4.20	118[label="primbindIO (AProVE_IO terminator) getContents1",fontsize=16,color="black",shape="box"];118 -> 123[label="",style="solid", color="black", weight=3];
10.58/4.20	119[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) terminator) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];119 -> 124[label="",style="solid", color="black", weight=3];
10.58/4.20	120[label="primbindIO (aIOE IOError_FullError) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];120 -> 125[label="",style="solid", color="black", weight=3];
10.58/4.20	121[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) terminator) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];121 -> 126[label="",style="solid", color="black", weight=3];
10.58/4.20	122[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_EOF [] [] Nothing))) getContents1",fontsize=16,color="black",shape="box"];122 -> 127[label="",style="solid", color="black", weight=3];
10.58/4.20	123[label="getContents1 terminator",fontsize=16,color="black",shape="box"];123 -> 128[label="",style="solid", color="black", weight=3];
10.58/4.20	124[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) ter7m) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];194[label="ter7m/False",fontsize=10,color="white",style="solid",shape="box"];124 -> 194[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	194 -> 129[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	195[label="ter7m/True",fontsize=10,color="white",style="solid",shape="box"];124 -> 195[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	195 -> 130[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	125[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 ww5)",fontsize=16,color="black",shape="triangle"];125 -> 131[label="",style="solid", color="black", weight=3];
10.58/4.20	126[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) ter8m) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];196[label="ter8m/False",fontsize=10,color="white",style="solid",shape="box"];126 -> 196[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	196 -> 132[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	197[label="ter8m/True",fontsize=10,color="white",style="solid",shape="box"];126 -> 197[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	197 -> 133[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	127[label="AProVE_Exception (AET_IOError (IOError IOError_EOF [] [] Nothing))",fontsize=16,color="green",shape="box"];128 -> 134[label="",style="dashed", color="red", weight=0];
10.58/4.20	128[label="getContents >>= getContents0 terminator",fontsize=16,color="magenta"];128 -> 135[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	129[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) False) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];129 -> 136[label="",style="solid", color="black", weight=3];
10.58/4.20	130[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];130 -> 137[label="",style="solid", color="black", weight=3];
10.58/4.20	131[label="AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))",fontsize=16,color="green",shape="box"];132[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) False) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];132 -> 138[label="",style="solid", color="black", weight=3];
10.58/4.20	133[label="primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];133 -> 139[label="",style="solid", color="black", weight=3];
10.58/4.20	135 -> 59[label="",style="dashed", color="red", weight=0];
10.58/4.20	135[label="getContents",fontsize=16,color="magenta"];134[label="ww6 >>= getContents0 terminator",fontsize=16,color="black",shape="triangle"];134 -> 140[label="",style="solid", color="black", weight=3];
10.58/4.20	136[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) otherwise) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];136 -> 141[label="",style="solid", color="black", weight=3];
10.58/4.20	137[label="primbindIO (primbindIO (randomSelect (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];137 -> 142[label="",style="solid", color="black", weight=3];
10.58/4.20	138[label="primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];138 -> 143[label="",style="solid", color="black", weight=3];
10.58/4.20	139[label="primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];139 -> 144[label="",style="solid", color="black", weight=3];
10.58/4.20	140[label="primbindIO ww6 (getContents0 terminator)",fontsize=16,color="burlywood",shape="box"];198[label="ww6/IO ww60",fontsize=10,color="white",style="solid",shape="box"];140 -> 198[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	198 -> 145[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	199[label="ww6/AProVE_IO ww60",fontsize=10,color="white",style="solid",shape="box"];140 -> 199[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	199 -> 146[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	200[label="ww6/AProVE_Exception ww60",fontsize=10,color="white",style="solid",shape="box"];140 -> 200[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	200 -> 147[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	201[label="ww6/AProVE_Error ww60",fontsize=10,color="white",style="solid",shape="box"];140 -> 201[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	201 -> 148[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	141[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_FullError) (aIOE IOError_PermDenied : AProVE_IO () : []) True) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];141 -> 149[label="",style="solid", color="black", weight=3];
10.58/4.20	142[label="primbindIO (primbindIO (randomSelect2 (aIOE IOError_PermDenied : AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];142 -> 150[label="",style="solid", color="black", weight=3];
10.58/4.20	143[label="primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];143 -> 151[label="",style="solid", color="black", weight=3];
10.58/4.20	144[label="primbindIO (randomSelect3 (AProVE_IO () : [])) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];144 -> 152[label="",style="solid", color="black", weight=3];
10.58/4.20	145[label="primbindIO (IO ww60) (getContents0 terminator)",fontsize=16,color="black",shape="box"];145 -> 153[label="",style="solid", color="black", weight=3];
10.58/4.20	146[label="primbindIO (AProVE_IO ww60) (getContents0 terminator)",fontsize=16,color="black",shape="box"];146 -> 154[label="",style="solid", color="black", weight=3];
10.58/4.20	147[label="primbindIO (AProVE_Exception ww60) (getContents0 terminator)",fontsize=16,color="black",shape="box"];147 -> 155[label="",style="solid", color="black", weight=3];
10.58/4.20	148[label="primbindIO (AProVE_Error ww60) (getContents0 terminator)",fontsize=16,color="black",shape="box"];148 -> 156[label="",style="solid", color="black", weight=3];
10.58/4.20	149[label="primbindIO (primbindIO (aIOE IOError_FullError) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];149 -> 157[label="",style="solid", color="black", weight=3];
10.58/4.20	150[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) terminator) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];150 -> 158[label="",style="solid", color="black", weight=3];
10.58/4.20	151[label="primbindIO (aIOE IOError_PermDenied) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];151 -> 159[label="",style="solid", color="black", weight=3];
10.58/4.20	152[label="primbindIO (AProVE_IO ()) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];152 -> 160[label="",style="solid", color="black", weight=3];
10.58/4.20	153[label="error []",fontsize=16,color="red",shape="box"];154[label="getContents0 terminator ww60",fontsize=16,color="black",shape="box"];154 -> 161[label="",style="solid", color="black", weight=3];
10.58/4.20	155[label="AProVE_Exception ww60",fontsize=16,color="green",shape="box"];156[label="AProVE_Error ww60",fontsize=16,color="green",shape="box"];157[label="primbindIO (primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];157 -> 162[label="",style="solid", color="black", weight=3];
10.58/4.20	158[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) ter9m) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="burlywood",shape="box"];202[label="ter9m/False",fontsize=10,color="white",style="solid",shape="box"];158 -> 202[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	202 -> 163[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	203[label="ter9m/True",fontsize=10,color="white",style="solid",shape="box"];158 -> 203[label="",style="solid", color="burlywood", weight=9];
10.58/4.20	203 -> 164[label="",style="solid", color="burlywood", weight=3];
10.58/4.20	159 -> 79[label="",style="dashed", color="red", weight=0];
10.58/4.20	159[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_PermDenied [] [] Nothing))) (gtGt0 ww5)",fontsize=16,color="magenta"];159 -> 165[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	160[label="gtGt0 ww5 ()",fontsize=16,color="black",shape="box"];160 -> 166[label="",style="solid", color="black", weight=3];
10.58/4.20	161[label="return (terminator : ww60)",fontsize=16,color="black",shape="box"];161 -> 167[label="",style="solid", color="black", weight=3];
10.58/4.20	162 -> 125[label="",style="dashed", color="red", weight=0];
10.58/4.20	162[label="primbindIO (AProVE_Exception (AET_IOError (IOError IOError_FullError [] [] Nothing))) (gtGt0 ww5)",fontsize=16,color="magenta"];163[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) False) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];163 -> 168[label="",style="solid", color="black", weight=3];
10.58/4.20	164[label="primbindIO (primbindIO (randomSelect1 (aIOE IOError_PermDenied) (AProVE_IO () : []) True) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="black",shape="box"];164 -> 169[label="",style="solid", color="black", weight=3];
10.58/4.20	165[label="ww5",fontsize=16,color="green",shape="box"];166[label="ww5",fontsize=16,color="green",shape="box"];167[label="primretIO (terminator : ww60)",fontsize=16,color="black",shape="box"];167 -> 170[label="",style="solid", color="black", weight=3];
10.58/4.20	168 -> 63[label="",style="dashed", color="red", weight=0];
10.58/4.20	168[label="primbindIO (primbindIO (randomSelect0 (aIOE IOError_PermDenied) (AProVE_IO () : []) otherwise) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="magenta"];168 -> 171[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	168 -> 172[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	169 -> 65[label="",style="dashed", color="red", weight=0];
10.58/4.20	169[label="primbindIO (primbindIO (randomSelect (AProVE_IO () : [])) (gtGt0 (putStr ww311))) (gtGt0 ww5)",fontsize=16,color="magenta"];169 -> 173[label="",style="dashed", color="magenta", weight=3];
10.58/4.20	170[label="AProVE_IO (terminator : ww60)",fontsize=16,color="green",shape="box"];170 -> 174[label="",style="dashed", color="green", weight=3];
10.58/4.20	171[label="ww5",fontsize=16,color="green",shape="box"];172[label="ww311",fontsize=16,color="green",shape="box"];173[label="ww311",fontsize=16,color="green",shape="box"];174[label="terminator",fontsize=16,color="black",shape="box"];174 -> 175[label="",style="solid", color="black", weight=3];
10.58/4.20	175[label="ter10m",fontsize=16,color="green",shape="box"];}
10.58/4.20	
10.58/4.20	----------------------------------------
10.58/4.20	
10.58/4.20	(16)
10.58/4.20	TRUE
10.63/4.25	EOF