equiv_induct_seq.ys 373 Bytes