262.00/262.09	MAYBE
262.00/262.09	
262.00/262.09	
262.00/262.09	Termination: (Ranking Functions Found)
262.00/262.09	------------
262.00/262.09	n_f257_0_loop_GT_P___18: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___13: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___23: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___6: < < arg1 > >
262.00/262.09	n_f257_0_loop_GT___26: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___30: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___25: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___24: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___17: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___19: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___14: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___28: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___7: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___16: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___21: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___10: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___29: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___20: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___12: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___11: < < 0 > >
262.00/262.09	n_f257_0_loop_GT___8: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___27: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___15: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___22: < < 0 > >
262.00/262.09	n_f257_0_loop_GT_P___9: < < 0 > >
262.00/262.09	
262.00/262.09	
262.00/262.09	Connected Subgraphs where we couldn't prove Termination:
262.00/262.09	--------------------------------------------------------
262.00/262.09	SCC:
262.00/262.09	+--transitions: t4,t5,t6,t7,t8
262.00/262.09	+--nodes: n_n_n_f257_0_loop_GT___19___5___3,n_n_n_f257_0_loop_GT___24___3___4,n_n_n_f257_0_loop_GT___26___7___7
262.00/262.09	
262.00/262.09	
262.10/262.16	EOF