110.82/110.87	YES
110.82/110.87	
110.82/110.87	
110.82/110.87	Termination: (Ranking Functions Found)
110.82/110.87	------------
110.82/110.87	f1863_0_minimum_NONNULL: < < arg2 > >
110.82/110.87	f2353_0_createCollection_GE: < < arg4 - arg5 >, < arg4 - arg5 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 > >
110.82/110.87	f2753_0_insert_NONNULL: < < arg2 >, < arg2 >, < arg2 > >
110.82/110.87	f2751_0_insert_NONNULL: < < arg2 >, < arg2 > >
110.82/110.87	f2789_0_createCollection_InvokeMethod: < < arg5 - arg6 >, < arg5 - arg6 > >
110.82/110.87	
110.82/110.87	
110.90/110.93	EOF