1.>1
2<1/XXdd112+X
3*(<1+0t124),*(<1+0t124)$<mact.nxt
4