converting sphere axiom to a proposition; still need to make similar changes in module axioms
%!PS-Adobe-3.0 EPSF-3.0
%%BoundingBox: 0 0 47 19
%%HiResBoundingBox: 0.000000 0.000117 46.820392 18.150001
%.............................................
%%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 1561 0 0 605 ^ Y
0.2 i
K
615.59 598.63 m
0 5.7 0 6.18 -5.44 6.18 c
-14.65 -15.17 -35.45 -15.17 -43 -15.17 c
0 -7.32 0 -7.32 v
4.72 0 18.65 0 30.96 6.09 c
0 -122.62 0 -122.62 v
0 -8.53 -0.72 -11.36 -22.01 -11.36 c
-7.55 0 -7.55 0 v
0 -7.32 0 -7.32 v
8.27 0.72 28.91 0.72 38.35 0.72 c
9.47 0 30.08 0 38.34 -0.72 c
0 7.32 0 7.32 v
-7.62 0 -7.62 0 v
-21.32 0 -22.04 2.61 -22.04 11.36 c
0 132.84 0 132.84 v
f
822.27 452.8 m
-12.08 -11.13 -29.62 -19.43 -49.25 -19.43 c
-17.52 0 -35.03 6.41 -49.45 19.2 c
49.22 49.45 49.22 49.45 v
49.48 -49.22 49.48 -49.22 v
h
826.34 555.73 m
9.47 -9.93 19.43 -27.44 19.43 -49.45 c
0 -18.95 -7.36 -36.23 -19.21 -49.48 c
-49.51 49.48 -49.51 49.48 v
49.29 49.45 49.29 49.45 v
h
719.24 456.8 m
-13.28 14.91 -19.24 32.68 -19.24 49.48 c
0 18.95 7.36 36.2 19.24 49.48 c
49.51 -49.48 49.51 -49.48 v
-49.51 -49.48 -49.51 -49.48 v
h
723.57 559.73 m
12.08 11.1 29.59 19.4 49.22 19.4 c
17.52 0 35.03 -6.38 49.48 -19.14 c
-49.22 -49.45 -49.22 -49.45 v
-49.48 49.19 -49.48 49.19 v
h
851.66 506.25 m
0 43.75 -35.77 78.78 -78.64 78.78 c
-43.85 0 -78.87 -35.74 -78.87 -78.78 c
0 -43.75 35.74 -78.78 78.64 -78.78 c
43.82 0 78.88 35.71 78.88 78.78 c
0 0 0 0 v
f
956.61 598.63 m
0 5.7 0 6.18 -5.44 6.18 c
-14.65 -15.17 -35.45 -15.17 -43 -15.17 c
0 -7.32 0 -7.32 v
4.72 0 18.65 0 30.96 6.09 c
0 -122.62 0 -122.62 v
0 -8.53 -0.72 -11.36 -22.01 -11.36 c
-7.55 0 -7.55 0 v
0 -7.32 0 -7.32 v
8.27 0.72 28.91 0.72 38.35 0.72 c
9.47 0 30.08 0 38.34 -0.72 c
0 7.32 0 7.32 v
-7.58 0 -7.58 0 v
-21.36 0 -22.07 2.61 -22.07 11.36 c
0 132.84 0 132.84 v
f
83.97 382.13 m
-3.79 0 -7.08 0 -10.4 -3.32 c
-3.76 -3.55 -4.21 -7.59 -4.21 -9.25 c
0 -5.7 4.25 -8.3 8.73 -8.3 c
6.83 0 13.21 5.66 13.21 15.14 c
0 11.62 -11.13 20.35 -27.93 20.35 c
-31.93 0 -63.36 -33.86 -63.36 -67.25 c
0 -21.29 13.7 -40.01 38.3 -40.01 c
33.84 0 53.7 25.13 53.7 28 c
0 1.4 -1.41 3.09 -2.83 3.09 c
-1.19 0 -1.68 -0.49 -3.09 -2.41 c
-18.67 -23.5 -44.46 -23.5 -47.3 -23.5 c
-14.89 0 -21.27 11.62 -21.27 25.85 c
0 9.67 4.74 32.68 12.78 47.36 c
7.34 13.51 20.33 23.7 33.35 23.7 c
8.04 0 17 -3.06 20.35 -9.44 c
0 0 0 0 v
f
148.27 363.21 m
0 4.49 -0.32 4.69 -4.96 4.69 c
-10.58 -10.35 -25.62 -10.51 -32.39 -10.51 c
0 -6.05 0 -6.05 v
3.99 0 14.89 0 24.01 4.69 c
0 -84.41 0 -84.41 v
0 -5.47 0 -7.62 -16.55 -7.62 c
-6.3 0 -6.3 0 v
0 -6.05 0 -6.05 v
2.98 0.16 23.37 0.68 29.49 0.68 c
5.13 0 26.01 -0.52 29.67 -0.68 c
0 6.05 0 6.05 v
-6.33 0 -6.33 0 v
-16.64 0 -16.64 2.15 -16.64 7.62 c
0 91.6 0 91.6 v
f
1461.23 352.67 m
-3.78 0 -7.06 0 -10.38 -3.32 c
-3.75 -3.55 -4.23 -7.58 -4.23 -9.24 c
0 -5.7 4.23 -8.3 8.76 -8.3 c
6.8 0 13.18 5.66 13.18 15.14 c
0 11.62 -11.13 20.34 -27.9 20.34 c
-31.93 0 -63.38 -33.86 -63.38 -67.25 c
0 -21.29 13.74 -40 38.35 -40 c
33.79 0 53.64 25.13 53.64 27.99 c
0 1.4 -1.43 3.09 -2.83 3.09 c
-1.2 0 -1.66 -0.49 -3.09 -2.41 c
-18.69 -23.5 -44.47 -23.5 -47.27 -23.5 c
-14.94 0 -21.32 11.62 -21.32 25.84 c
0 9.67 4.72 32.68 12.76 47.36 c
7.32 13.51 20.34 23.7 33.37 23.7 c
8.01 0 17.05 -3.06 20.34 -9.44 c
0 0 0 0 v
f
1553.71 258.66 m
-5.66 0 -5.66 0 v
-0.46 -3.68 -2.15 -13.48 -4.3 -15.11 c
-1.3 -1.01 -14.06 -1.01 -16.37 -1.01 c
-30.37 0 -30.37 0 v
17.32 15.39 23.14 20.05 33.04 27.8 c
12.24 9.8 23.66 20.05 23.66 35.78 c
0 20.05 -17.58 32.29 -38.77 32.29 c
-20.54 0 -34.44 -14.36 -34.44 -29.55 c
0 -8.46 7.13 -9.28 8.82 -9.28 c
3.97 0 8.79 2.83 8.79 8.82 c
0 3 -1.17 8.79 -9.77 8.79 c
5.14 11.59 16.41 15.2 24.18 15.2 c
16.5 0 25.16 -12.93 25.16 -26.34 c
0 -14.39 -10.32 -25.81 -15.62 -31.74 c
-39.91 -39.39 -39.91 -39.39 v
-1.66 -1.46 -1.66 -1.79 -1.66 -6.45 c
68.2 0 68.2 0 v
5.01 30.18 5.01 30.18 v
f
255 G
28.81 48.57 m
203.79 159.64 460.16 254.75 738.64 254.75 c
298.76 0 572.07 -109.5 782.36 -290.69 c
f
33.3333 w
4 M
K
28.81 48.57 m
203.79 159.64 460.16 254.75 738.64 254.75 c
298.76 0 572.07 -109.5 782.36 -290.69 c
S
832.62 303.32 m
0 -34.11 -27.73 -61.85 -61.85 -61.85 c
-34.12 0 -61.85 27.73 -61.85 61.85 c
0 34.15 27.73 61.85 61.85 61.85 c
34.11 0 61.85 -27.7 61.85 -61.85 c
f
774.68 119.73 m
12.24 -8.86 24.48 -18.04 37.11 -26.89 c
4.1 -3.06 10.22 -7.55 12.63 -7.55 c
4.43 0 9.18 4.1 9.18 9.57 c
0 2.8 -1.37 6.12 -6.12 8.53 c
-49.41 23.18 -49.41 23.18 v
48.38 23.18 48.38 23.18 v
3.06 1.37 7.16 3.45 7.16 8.86 c
0 5.47 -4.75 9.57 -9.18 9.57 c
-1.37 0 -3.12 -0.32 -6.84 -3.06 c
-42.9 -31.71 -42.9 -31.71 v
4.75 54.56 4.75 54.56 v
0.39 4.43 0 12.24 -8.53 12.24 c
-5.4 0 -9.83 -4.43 -8.86 -8.86 c
0 -3.77 0 -3.77 v
4.82 -54.17 4.82 -54.17 v
-42.97 31.38 -42.97 31.38 v
-4.43 3.06 -4.43 3.39 -6.77 3.39 c
-4.43 0 -9.24 -4.1 -9.24 -9.57 c
0 -5.4 4.1 -7.49 7.16 -8.86 c
48.05 -22.85 48.05 -22.85 v
-48.05 -23.18 -48.05 -23.18 v
-3.06 -1.37 -7.16 -3.39 -7.16 -8.86 c
0 -5.47 4.82 -9.57 9.24 -9.57 c
1.37 0 3.06 0.39 6.77 3.13 c
42.97 31.64 42.97 31.64 v
-4.82 -55.86 -4.82 -55.86 v
0 -1.69 0 -1.69 v
-0.98 -5.08 3.78 -9.25 8.53 -9.25 c
9.24 0 9.24 7.88 8.85 12.7 c
-4.75 53.78 -4.75 53.78 v
f
233.19 144.37 m
0 -34.11 -27.73 -61.85 -61.85 -61.85 c
-34.12 0 -61.85 27.73 -61.85 61.85 c
0 34.15 27.73 61.85 61.85 61.85 c
34.11 0 61.85 -27.7 61.85 -61.85 c
f
1435.09 138.8 m
0 -34.11 -27.73 -61.85 -61.85 -61.85 c
-34.11 0 -61.85 27.73 -61.85 61.85 c
0 34.15 27.73 61.85 61.85 61.85 c
34.11 0 61.85 -27.7 61.85 -61.85 c
f
cleartomark end end pagesave restore
showpage
%%PageTrailer
%%Trailer
%%Pages: 1