% SZS status Success for abelian_groups.trs
0.01 (total time)

S-CONVERGENT TRS: 


% SZS status Success for abelian_groups.trs
0.01 (total time)

S-CONVERGENT TRS: 


Total time: 0.010292