primes sieve from s s 0 from X cons X n__from n__s X head cons X Y X tail cons X Y activate Y if true X Y activate X if false X Y activate Y filter s s X cons Y Z if divides s s X Y n__filter n__s n__s X activate Z n__cons Y n__filter X n__sieve Y sieve cons X Y cons X n__filter X n__sieve activate Y from X n__from X s X n__s X filter X1 X2 n__filter X1 X2 cons X1 X2 n__cons X1 X2 sieve X n__sieve X activate n__from X from activate X activate n__s X s activate X activate n__filter X1 X2 filter activate X1 activate X2 activate n__cons X1 X2 cons activate X1 X2 activate n__sieve X sieve activate X activate X X primes 0 sieve 1 from 1 s 1 0 0 cons 2 n__from 1 n__s 1 head 1 tail 1 activate 1 if 3 true 0 false 0 filter 2 divides 2 n__filter 2 n__cons 2 n__sieve 1 FULL ./TRS/TRCSR/ExIntrod_GM99_FR.trs