% Written by DVItoMP, Version 0.64 (Web2C 7.3.7)
begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
string _n[];
vardef _s(expr _t,_f,_m,_x,_y)=
  addto _p also _t infont _f scaled _m shifted (_x,_y); enddef;
_n0="cmsy10";
_s("F",_n0,1.00000,0.0000,0.0000);
setbounds _p to (0,0.0000)--(8.1500,0.0000)--
 (8.1500,6.8078)--(0,6.8078)--cycle;
_p endgroup
mpxbreak
begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
string _n[];
vardef _s(expr _t,_f,_m,_x,_y)=
  addto _p also _t infont _f scaled _m shifted (_x,_y); enddef;
_n0="cmsy10";
_s("F",_n0,1.00000,0.0000,0.0000);
setbounds _p to (0,0.0000)--(8.1500,0.0000)--
 (8.1500,6.8078)--(0,6.8078)--cycle;
_p endgroup
mpxbreak