| PA-assocplus.in | |||
| PA-assocplus.out | |||
| PA-complus.in | |||
| PA-complus.out | |||
| PA-multcom.in | |||
| PA-multcom.out | |||
| autotest | |||
| cantor.in | |||
| cantor.out | |||
| cantor2.in | |||
| cantor2.out | |||
| core | |||
| homomorphism.in | |||
| homomorphism.out | |||
| homomorphism.out | |||
| identity.in | |||
| identity.out | |||
| lagrange2.in | |||
| lagrange2.out | |||
| lagrange3.in | |||
| lagrange3.out | |||
| lambda.in | |||
| lambda.out | |||
| lambda4.in | |||
| lambda4.out | |||
| nilpotent3.in | |||
| nilpotent3.out | |||
| nilpotent4.in | |||
| nilpotent4.out | |||
| quantifiers2.in | |||
| quantifiers3.in | |||
| quantifiers4.in | |||
| quantifiers4.out | |||
| quantifiers5.out | |||
| quantifiers8.in | |||
| quantifiers8.out | |||
| sumofn.in | |||
| sumofnsquared.in |