-- -*- M2-comint -*- {* hash: -2026898801 *} i1 : x o1 = x o1 : Symbol i2 : q0r55 o2 = q0r55 o2 : Symbol i3 : f' o3 = f' o3 : Symbol i4 : o2 o4 = q0r55 o4 : Symbol i5 :
-- -*- M2-comint -*- {* hash: -2026898801 *} i1 : x o1 = x o1 : Symbol i2 : q0r55 o2 = q0r55 o2 : Symbol i3 : f' o3 = f' o3 : Symbol i4 : o2 o4 = q0r55 o4 : Symbol i5 :