a:1;thru 6 do(printf(?t,"1=2-~a
",a),a:sconcat("(2-",a,")"));