converting sphere axiom to a proposition; still need to make similar changes in module axioms
%!PS-Adobe-3.0 EPSF-3.0
%%BoundingBox: 4 11 114 104
%%HiResBoundingBox: 4.685156 11.966485 113.015043 103.560004
%.......................................
%%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 4000 0 0 3452 ^ Y
0.2 i
255 G
1102.64 440.89 m
-258.4 234.77 -420.64 573.5 -420.64 950.1 c
0 708.79 574.64 1283.33 1283.36 1283.33 c
708.79 0 1283.4 -574.54 1283.4 -1283.33 c
0 -354.36 -143.68 -675.2 -375.91 -907.42 c
f
33.3333 w
4 M
K
1102.64 440.89 m
-258.4 234.77 -420.64 573.5 -420.64 950.1 c
0 708.79 574.64 1283.33 1283.36 1283.33 c
708.79 0 1283.4 -574.54 1283.4 -1283.33 c
0 -354.36 -143.68 -675.2 -375.91 -907.42 c
S
2148.7 2674.32 m
0 -101.24 -82.1 -183.33 -183.34 -183.33 c
-101.23 0 -183.33 82.09 -183.33 183.33 c
0 101.24 82.1 183.33 183.33 183.33 c
101.24 0 183.34 -82.09 183.34 -183.33 c
f
2148.7 2674.32 m
0 -101.24 -82.1 -183.33 -183.34 -183.33 c
-101.23 0 -183.33 82.09 -183.33 183.33 c
0 101.24 82.1 183.33 183.33 183.33 c
101.24 0 183.34 -82.09 183.34 -183.33 c
h
S
1037.4 749.38 m
0 -101.24 -82.1 -183.34 -183.33 -183.34 c
-101.24 0 -183.34 82.1 -183.34 183.34 c
0 101.23 82.1 183.33 183.34 183.33 c
101.23 0 183.33 -82.1 183.33 -183.33 c
f
1037.4 749.38 m
0 -101.24 -82.1 -183.34 -183.33 -183.34 c
-101.24 0 -183.34 82.1 -183.34 183.34 c
0 101.23 82.1 183.33 183.34 183.33 c
101.23 0 183.33 -82.1 183.33 -183.33 c
h
S
3260.03 749.38 m
0 -101.24 -82.1 -183.34 -183.4 -183.34 c
-101.24 0 -183.34 82.1 -183.34 183.34 c
0 101.23 82.1 183.33 183.34 183.33 c
101.3 0 183.4 -82.1 183.4 -183.33 c
f
3260.03 749.38 m
0 -101.24 -82.1 -183.34 -183.4 -183.34 c
-101.24 0 -183.34 82.1 -183.34 183.34 c
0 101.23 82.1 183.33 183.34 183.33 c
101.3 0 183.4 -82.1 183.4 -183.33 c
h
S
1965.36 3213.7 m
-3.64 -13.28 -3.64 -14.78 -14.71 -27.41 c
-32.36 -40.69 -62.57 -52.48 -83.14 -52.48 c
-36.78 0 -47.07 40.69 -47.07 69.53 c
0 36.98 23.57 128.06 40.5 161.98 c
22.72 43.68 55.93 71.09 85.29 71.09 c
47.85 0 58.2 -60.68 58.2 -65.17 c
0 -4.36 -1.56 -8.79 -2.28 -12.57 c
-36.79 -144.99 -36.79 -144.99 v
h
2013.21 3404.91 m
-13.28 27.34 -34.7 47.27 -67.84 47.27 c
-86.27 0 -177.67 -108.46 -177.67 -216.08 c
0 -69.34 40.5 -118.04 98.05 -118.04 c
14.71 0 51.56 3 95.84 55.54 c
5.92 -31.05 31.7 -55.54 67.12 -55.54 c
25.78 0 42.77 16.99 54.56 40.63 c
12.5 26.63 22.07 71.61 22.07 73.11 c
0 7.42 -6.64 7.42 -8.79 7.42 c
-7.36 0 -8.2 -3 -10.35 -13.41 c
-12.57 -48.18 -25.78 -91.99 -56.05 -91.99 c
-19.86 0 -22.14 19.27 -22.14 33.98 c
0 16.28 1.56 22.2 9.64 54.63 c
8.07 31.05 9.5 38.48 16.21 66.47 c
12.56 47.27 15.49 61.33 26.56 103.39 c
5.14 20.7 5.14 22.2 5.14 25.2 c
0 12.5 -8.85 19.92 -21.42 19.92 c
-17.71 0 -28.78 -16.28 -30.93 -32.49 c
0 0 0 0 v
f
3567.71 632.65 m
4.43 16.28 4.43 17.77 11.07 25.91 c
36.2 48.05 69.4 59.18 88.61 59.18 c
26.56 0 46.55 -22.2 46.55 -69.6 c
0 -43.62 -24.41 -128.78 -37.7 -156.84 c
-24.41 -49.61 -58.34 -76.17 -87.11 -76.17 c
-25.07 0 -49.48 19.92 -49.48 74.68 c
0 14.06 0 28.13 11.85 74.74 c
16.21 68.1 16.21 68.1 v
h
3637.11 911.23 m
0 0.71 0 8.14 -9.57 8.14 c
-16.86 0 -70.57 -5.99 -89.71 -7.48 c
-5.92 -0.72 -14 -1.5 -14 -14.98 c
0 -8.92 6.64 -8.92 17.64 -8.92 c
35.35 0 36.78 -5.27 36.78 -12.63 c
0 -5.14 -6.64 -30.21 -10.29 -45.7 c
-60.35 -240.17 -60.35 -240.17 v
-8.86 -36.85 -11.72 -48.63 -11.72 -74.41 c
0 -70.05 38.93 -115.69 93.43 -115.69 c
86.78 0 177.34 109.83 177.34 216.08 c
0 67.06 -39 118.04 -97.92 118.04 c
-33.79 0 -64 -21.36 -86.07 -44.21 c
54.43 221.94 54.43 221.94 v
f
418.72 735.64 m
-11.79 0 -22.07 0 -32.29 -10.42 c
-11.79 -11.07 -13.28 -23.63 -13.28 -28.84 c
0 -17.71 13.28 -25.85 27.28 -25.85 c
21.29 0 41.21 17.64 41.21 47.2 c
0 36.07 -34.7 63.34 -87.11 63.34 c
-99.61 0 -197.85 -105.47 -197.85 -209.44 c
0 -66.34 42.77 -124.61 119.53 -124.61 c
105.47 0 167.58 78.32 167.58 87.17 c
0 4.43 -4.49 9.57 -8.98 9.57 c
-3.58 0 -5.14 -1.43 -9.5 -7.42 c
-58.2 -73.63 -138.48 -73.63 -147.27 -73.63 c
-46.42 0 -66.34 36.27 -66.34 80.66 c
0 30.34 14.71 102.09 39.78 147.98 c
22.85 42.19 63.35 74.02 103.84 74.02 c
25 0 53.06 -9.7 63.41 -29.75 c
0 0 0 0 v
f
cleartomark end end pagesave restore
showpage
%%PageTrailer
%%Trailer
%%Pages: 1