23.08/23.18	YES
23.08/23.18	
23.08/23.18	
23.08/23.18	Termination: (Ranking Functions Found)
23.08/23.18	------------
23.08/23.18	f196_0_create_LE: < < arg1 > >
23.08/23.18	f288_0_slide68_EQ: < < arg4 >, < 1 + arg4 >, < arg4 >, < 1 + arg4 >, < arg4 >, < 1 + arg4 >, < arg4 >, < 1 + arg4 >, < arg4 >, < 1 + arg6 >, < arg6 > >
23.08/23.18	f288_0_slide68_EQ': < < arg4 >, < arg4 >, < arg4 >, < arg4 >, < arg4 >, < arg4 >, < arg4 >, < arg4 >, < arg4 >, < arg6 >, < arg6 > >
23.08/23.18	
23.08/23.18	
23.17/23.25	EOF