sruntime statisticsnrevappend_RENAMEDTnrev_#_0unify_with_occurs_checkappend_RENAMED_#_0leg_countbench eg_count_#_0 get_cpu_time(dodummydobench`reportdataCrepeat?dummycalculate_lipswrite lips for  iterations taking   (-)msecscalculate_lips_#_0Zlots $damon_loadwcik[|cik[ GJp<wc[c[8NTT D_P6pzwc[c[ m6m D6m6m6]i]i]i]i]i]i]i]i] i] i] i] i] i]i]i]i]i]i]i]i]i]i]i]i]i]i]i]i]i][ kl* **2*d******'* F FF2FdFFFFFF'<( `` 'C >C? K[CC FbccF L<!' > EX<;!' > o i tixi2|idiiiiii'i