SZS status Theorem for i/f/list/TAKE__LENGTH__ID__rwt0
