SZS status Theorem for i/f/sptree/fromAList__toAList
