Sophie
-- -*- M2-comint -*- {* hash: -983966446 *} i1 : x o1 = x o1 : Symbol i2 : ab12 o2 = ab12 o2 : Symbol i3 :