% SZS status Success for K21_ex3.trs
0.16 (total time)

S-CONVERGENT TRS: 
e() -> ep()
+(a(),b()) -> *(a(),b())
*(a(),c()) -> g(ep())

Total time: 0.165220