% SZS status Success for comm_monoid.trs
0.00 (total time)

S-CONVERGENT TRS: 


% SZS status Success for comm_monoid.trs
0.00 (total time)

S-CONVERGENT TRS: 


Total time: 0.002506