SZS status Theorem for i/f/sorting/ALL__DISTINCT__PERM__LIST__TO__SET__TO__LIST
