numeric u[];
u0 = 12 bp;
u1 = 1 bp;
drawoptions(withcolor 0.54 red);
input ruler
drawoptions();