10.24/10.30	YES
10.24/10.30	
10.24/10.30	
10.24/10.30	Termination: (Ranking Functions Found)
10.24/10.30	------------
10.24/10.30	f361_0_fractale_LE: < < 1 + arg3 >, < arg3 >, < 1 + arg3 >, < arg3 >, < 1 + arg3 > >
10.24/10.30	f361_0_fractale_LE': < < arg3 >, < arg3 >, < arg3 >, < arg3 >, < arg3 > >
10.24/10.30	f425_0_fractale_InvokeMethod: < < 1 + arg2 >, < arg2 >, < 1 + arg2 >, < arg2 >, < arg1 > >
10.24/10.30	
10.24/10.30	
10.32/10.36	EOF