/testsuite/semko/

• ../
• eight.stp
• eleven.stp
• fifteen.stp
• five.stp
• four.stp
• fourteen.stp
• nine.stp
• one.stp
• seven.stp
• six.stp
• ten.stp
• thirteen.stp
• three.stp
• twelve.stp
• two.stp