converting sphere axiom to a proposition; still need to make similar changes in module axioms
%!PS-Adobe-3.0 EPSF-3.0
%%BoundingBox: 0 1 77 74
%%HiResBoundingBox: 0.000000 1.290000 76.590003 73.380003
%.............................................
%%Creator: GPL Ghostscript 862 (epswrite)
%%DocumentData: Clean7Bit
%%LanguageLevel: 2
%%EndComments
%%BeginProlog
% This copyright applies to everything between here and the %%EndProlog:
% Copyright (C) 2008 Artifex Software, Inc. All rights reserved.
%%BeginResource: procset GS_epswrite_2_0_1001 1.001 0
/GS_epswrite_2_0_1001 80 dict dup begin
/PageSize 2 array def/setpagesize{ PageSize aload pop 3 index eq exch
4 index eq and{ pop pop pop}{ PageSize dup 1
5 -1 roll put 0 4 -1 roll put dup null eq {false} {dup where} ifelse{ exch get exec}
{ pop/setpagedevice where
{ pop 1 dict dup /PageSize PageSize put setpagedevice}
{ /setpage where{ pop PageSize aload pop pageparams 3 {exch pop} repeat
setpage}if}ifelse}ifelse}ifelse} bind def
/!{bind def}bind def/#{load def}!/N/counttomark #
/rG{3{3 -1 roll 255 div}repeat setrgbcolor}!/G{255 div setgray}!/K{0 G}!
/r6{dup 3 -1 roll rG}!/r5{dup 3 1 roll rG}!/r3{dup rG}!
/w/setlinewidth #/J/setlinecap #
/j/setlinejoin #/M/setmiterlimit #/d/setdash #/i/setflat #
/m/moveto #/l/lineto #/c/rcurveto #
/p{N 2 idiv{N -2 roll rlineto}repeat}!
/P{N 0 gt{N -2 roll moveto p}if}!
/h{p closepath}!/H{P closepath}!
/lx{0 rlineto}!/ly{0 exch rlineto}!/v{0 0 6 2 roll c}!/y{2 copy c}!
/re{4 -2 roll m exch dup lx exch ly neg lx h}!
/^{3 index neg 3 index neg}!
/f{P fill}!/f*{P eofill}!/s{H stroke}!/S{P stroke}!
/q/gsave #/Q/grestore #/rf{re fill}!
/Y{P clip newpath}!/Y*{P eoclip newpath}!/rY{re Y}!
/|={pop exch 4 1 roll 1 array astore cvx 3 array astore cvx exch 1 index def exec}!
/|{exch string readstring |=}!
/+{dup type/nametype eq{2 index 7 add -3 bitshift 2 index mul}if}!
/@/currentfile #/${+ @ |}!
/B{{2 copy string{readstring pop}aload pop 4 array astore cvx
3 1 roll}repeat pop pop true}!
/Ix{[1 0 0 1 11 -2 roll exch neg exch neg]exch}!
/,{true exch Ix imagemask}!/If{false exch Ix imagemask}!/I{exch Ix image}!
/Ic{exch Ix false 3 colorimage}!
/F{/Columns counttomark 3 add -2 roll/Rows exch/K -1/BlackIs1 true>>
/CCITTFaxDecode filter}!/FX{<</EndOfBlock false F}!
/X{/ASCII85Decode filter}!/@X{@ X}!/&2{2 index 2 index}!
/@F{@ &2<<F}!/@C{@X &2 FX}!
/$X{+ @X |}!/&4{4 index 4 index}!/$F{+ @ &4<<F |}!/$C{+ @X &4 FX |}!
/IC{3 1 roll 10 dict begin 1{/ImageType/Interpolate/Decode/DataSource
/ImageMatrix/BitsPerComponent/Height/Width}{exch def}forall
currentdict end image}!
/~{@ read {pop} if}!
end def
%%EndResource
/pagesave null def
%%EndProlog
%%Page: 1 1
%%BeginPageSetup
GS_epswrite_2_0_1001 begin
/pagesave save store 197 dict begin
0.03 0.03 scale
%%EndPageSetup
gsave mark
Q q
0 0 2553 0 0 2446 ^ Y
0.2 i
K
1864.5 302.1 m
-172.5 -140.7 -392.7 -225.3 -632.7 -225.3 c
-276.6 0 -526.5 111.9 -707.7 293.1 c
-181.2 181.2 -293.1 431.4 -293.1 707.7 c
-11.1 0 11.1 0 -11.1 0 11.1 0 p
0 89.1 11.7 175.8 33.3 258 c
-32.1 8.4 p
-22.5 -84.9 -34.5 -174.3 -34.5 -266.4 c
16.5 0 -16.5 0.3 0 -0.3 p
0 -571.2 462.9 -1034.1 1034.1 -1034.1 c
248.1 0 475.8 87.3 654 232.8 c
-21.3 25.8 p f
204 163 255 rG
2072.33 234.17 m
-58.97 0 -118.69 15.64 -172.73 48.43 c
-157.2 95.7 -207.3 300.9 -111.9 458.1 c
63 103.5 98.7 223.5 99 354.6 c
-0.3 142.8 -42.9 272.7 -116.7 382.2 c
-73.8 109.5 -179.1 196.5 -301.2 248.4 c
-81.9 34.5 -171 53.4 -266.4 53.4 c
-124.8 0 -239.4 -32.7 -339.6 -90 c
-100.2 -57.3 -184.8 -139.8 -245.1 -238.5 c
-62.69 -102.77 -172.33 -159.6 -284.72 -159.59 c
-25.78 0 -51.72 2.99 -77.25 9.11 c
2.66 11.84 5.5 23.61 8.57 35.28 c
-32.1 8.4 p
-3.01 -11.35 -5.81 -22.79 -8.44 -34.29 c
-21.98 7.67 -43.48 17.77 -64.16 30.39 c
-157.2 96 -206.7 301.2 -110.7 458.1 c
118.5 194.4 284.4 355.8 482.1 469.5 c
197.7 113.4 428.1 178.5 671.4 178.5 c
278.7 0 540.3 -85.5 755.7 -231 c
215.4 -145.5 386.1 -351.3 489 -594 c
68.4 -162 106.2 -340.5 106.2 -525.9 c
0 -255.3 -71.7 -496.8 -195.9 -700.8 c
-62.61 -103.36 -172.48 -160.33 -285.07 -160.33 c
f
51 10 102 rG
255.73 1300.32 m
-10.73 2.57 -21.42 5.7 -31.97 9.39 c
2.63 11.5 5.43 22.95 8.44 34.29 c
32.1 -8.4 p
-3.07 -11.67 -5.91 -23.44 -8.57 -35.28 c
f
K
1156.35 2053.35 m
6.28 -23.47 26.17 -38.31 50.68 -38.31 c
19.95 0 33.01 13.12 42.12 31.35 c
9.7 20.51 17.13 55.34 17.13 56.45 c
0 5.73 -5.14 5.73 -6.87 5.73 c
-5.7 0 -6.25 -2.28 -7.97 -10.32 c
-7.95 -32.06 -18.75 -71.06 -42.71 -71.06 c
-11.98 0 -17.68 7.42 -17.68 26.21 c
0 12.56 6.87 39.39 11.39 59.38 c
5.11 20.54 10.84 41.05 15.98 61.59 c
1.69 8.56 7.42 30.24 9.7 38.77 c
2.8 13.12 8.53 34.83 8.53 38.22 c
0 10.29 -7.97 15.49 -16.54 15.49 c
-2.83 0 -17.68 -0.65 -22.2 -20.05 c
-10.81 -41.6 -35.87 -141.44 -42.74 -171.68 c
-0.55 -2.28 -23.34 -47.92 -64.94 -47.92 c
-29.62 0 -35.35 25.65 -35.35 46.75 c
0 31.96 15.89 76.98 30.6 116.41 c
6.8 17.06 9.64 25.03 9.64 35.87 c
0 25.65 -18.16 46.81 -46.52 46.81 c
-53.87 0 -74.94 -82.49 -74.94 -87.63 c
0 -5.66 5.7 -5.66 6.87 -5.66 c
5.66 0 6.25 1.11 9.08 10.25 c
14.22 49.71 35.84 70.87 57.48 70.87 c
5.11 0 14.23 -0.55 14.23 -18.82 c
0 -13.7 -6.32 -30.21 -9.7 -38.77 c
-21.16 -56.48 -33.11 -91.83 -33.11 -119.79 c
0 -54.2 39.29 -68.43 70.02 -68.43 c
37.63 0 58.11 25.75 67.8 38.31 c
f
1507.75 2089.36 m
1.7 5.6 1.7 6.45 1.7 8.79 c
0 7.94 -6.45 12.76 -13.15 12.76 c
-4.36 0 -11.91 -2.02 -16.24 -9.57 c
-1.24 -2.34 -4.39 -15.14 -6.38 -23.11 c
-8.36 -33.07 p
-2.34 -9.5 -14.65 -59.7 -15.82 -64.06 c
-0.46 0 -17.94 -34.63 -48.89 -34.63 c
-27.08 0 -27.08 25.78 -27.08 33.01 c
0 21.48 9.18 46.58 21.09 77.21 c
4.82 12.76 5.99 17.52 5.99 24.32 c
0 19.11 -16.24 33.89 -37.66 33.89 c
-40.07 0 -57.91 -54.16 -57.91 -60.94 c
0 -5.21 5.57 -5.21 6.77 -5.21 c
5.57 0 5.92 2.02 7.16 6.38 c
9.96 33.07 27.02 48.67 42.9 48.67 c
6.77 0 10 -4.39 10 -13.96 c
0 -9.15 -3.55 -17.91 -5.57 -23.11 c
-19.01 -48.57 -22.98 -63.28 -22.98 -80.86 c
0 -6.74 0 -25.39 15.5 -38.18 c
12.4 -10.32 29.07 -12.34 39.84 -12.34 c
15.95 0 30.27 5.92 43.46 17.77 c
-5.18 -21.94 -9.6 -38.71 -26.34 -58.69 c
-10.74 -12.4 -26.69 -25.55 -47.82 -25.55 c
-2.8 0 -21.48 0 -29.85 13.35 c
21.22 2.34 21.22 21.22 21.22 21.58 c
0 12.6 -11.46 14.97 -15.43 14.97 c
-9.86 0 -22.85 -7.94 -22.85 -26.14 c
0 -20.18 19.08 -34.86 47.33 -34.86 c
40.27 0 89.26 31.09 101.59 80.96 c
37.79 150.65 p f
cleartomark end end pagesave restore
showpage
%%PageTrailer
%%Trailer
%%Pages: 1