equiv_induct.ys 366 Bytes