-newpath 442 763 moveto
-449 755 lineto
-439 757 lineto
-closepath
-stroke
-end grestore
-
-% paramodulation
-gsave 10 dict begin
-355 1024 90 25 ellipse_path
-stroke
-gsave 10 dict begin
-279 1016 moveto
-(paramodulation)
-[12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
-xshow
-end grestore
-end grestore
-
-% paramodulation -> tactics
-newpath 343 999 moveto
-338 990 333 980 329 970 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 332 969 moveto
-325 961 lineto
-326 972 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 332 969 moveto
-325 961 lineto
-326 972 lineto