% Written by DVItoMP, Version 0.64 (Web2C 7.3.11)
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="cmr10";
_s("Rules",_n0,1.00000,0.0000,0.0000);
_s("of",_n0,1.00000,27.3143,0.0000);
_s("Inference",_n0,1.00000,38.6606,0.0000);
setbounds _p to (0,0.0000)--(77.9854,0.0000)--
(77.9854,6.9185)--(0,6.9185)--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="cmr10";
_s("Theorem",_n0,1.00000,0.0000,0.0000);
_s("1",_n0,1.00000,42.0922,0.0000);
setbounds _p to (0,0.0000)--(47.0736,0.0000)--
(47.0736,6.9185)--(0,6.9185)--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="cmr10";
_s("Theorem",_n0,1.00000,0.0000,0.0000);
_s("2",_n0,1.00000,42.0922,0.0000);
setbounds _p to (0,0.0000)--(47.0736,0.0000)--
(47.0736,6.9185)--(0,6.9185)--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="cmr10";
_s("Theorem",_n0,1.00000,0.0000,0.0000);
_s("3",_n0,1.00000,42.0922,0.0000);
setbounds _p to (0,0.0000)--(47.0736,0.0000)--
(47.0736,6.9185)--(0,6.9185)--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="cmr10";
_s("Theorem",_n0,1.00000,0.0000,0.0000);
_s("4",_n0,1.00000,42.0922,0.0000);
setbounds _p to (0,0.0000)--(47.0736,0.0000)--
(47.0736,6.9185)--(0,6.9185)--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;
_n1="cmmi10";
_s(":",_n1,1.00000,0.0000,0.0000);
_s(":",_n1,1.00000,4.4278,0.0000);
_s(":",_n1,1.00000,8.8556,0.0000);
setbounds _p to (0,0.0000)--(13.2834,0.0000)--
(13.2834,1.0516)--(0,1.0516)--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="cmr10";
_s("Computing",_n0,1.00000,0.0000,0.0000);
_s("Mac",_n0,1.00000,52.0272,0.0000);
_s("hine",_n0,1.00000,70.2921,0.0000);
setbounds _p to (0,-1.9372)--(88.5570,-1.9372)--
(88.5570,6.9185)--(0,6.9185)--cycle;
_p endgroup
mpxbreak