replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
%!PS-Adobe-3.0 EPSF-3.0
%%BoundingBox: 5 24 79 111
%%HiResBoundingBox: 5.595117 24.550079 78.712151 110.563246
%.........................................
%%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 2800 4000 re
Y
255 G
1019.82 2487.03 m
368.6 212.77 839.9 86.53 1052.73 -282.07 c
212.77 -368.6 86.46 -839.9 -282.1 -1052.7 c
-368.54 -212.8 -839.83 -86.5 -1052.63 282.1 c
-212.8 368.6 -86.57 839.87 282 1052.67 c
f
33.3333 w
4 M
K
1019.82 2487.03 m
368.6 212.77 839.9 86.53 1052.73 -282.07 c
212.77 -368.6 86.46 -839.9 -282.1 -1052.7 c
-368.54 -212.8 -839.83 -86.5 -1052.63 282.1 c
-212.8 368.6 -86.57 839.87 282 1052.67 c
h
S
133.333 w
63 255 0 rG
604.33 1347.25 m
-78.8 136.1 -123.93 294.13 -123.93 462.7 c
0 510.7 414.03 924.7 924.77 924.7 c
510.7 0 924.73 -414 924.73 -924.7 c
0 -127.63 -25.87 -249.3 -72.67 -359.9 c
S
1405.18 885.21 m
-342.16 0 -640.93 185.83 -800.83 462.03 c
S
120 w
1 J
0 255 r3
413.28 1247.02 m
-105.8 167.13 -166.67 363.17 -166.67 572.67 c
0 611.93 518.77 1107.93 1158.6 1107.93 c
639.83 0 1158.53 -496 1158.53 -1107.93 c
0 -132.1 -24.2 -258.84 -68.6 -376.37 c
S
K
1451.86 3615.71 m
0 53.37 -26 69.23 -44 69.23 c
-25 0 -49 -25.73 -49 -47.37 c
0 -12.8 5.04 -18.77 16.13 -29.6 c
21.14 -19.73 34.17 -45.46 34.17 -81.07 c
0 -41.37 -60.13 -267.46 -175.5 -267.46 c
-50.27 0 -72.93 34.4 -72.93 85.87 c
0 55.3 26.57 127.27 57.13 209.3 c
6.93 16.8 11.87 30.54 11.87 49.3 c
0 44.47 -31.57 81.04 -80.93 81.04 c
-92.8 0 -130.33 -142.93 -130.33 -151.84 c
0 -9.87 9.87 -9.87 11.87 -9.87 c
9.83 0 10.8 1.93 15.73 17.8 c
28.6 99.63 70.96 122.23 99.53 122.23 c
7.87 0 24.67 0 24.67 -31.54 c
0 -24.73 -9.87 -51.23 -16.73 -69.03 c
-43.3 -114.5 -56.07 -159.97 -56.07 -202.54 c
0 -106.57 86.87 -122.4 132.27 -122.4 c
165.87 0 222.13 326.67 222.13 377.93 c
f
1696.19 3545.3 m
0 18.57 -1.4 19.37 -20.7 19.37 c
-44.03 -43.17 -106.77 -43.93 -135 -43.93 c
0 -25.13 p
16.6 0 62.14 0 100.1 19.53 c
0 -351.83 p
0 -22.83 0 -31.73 -69.07 -31.73 c
-26.2 0 0 -25.13 p
12.43 0.57 97.4 2.7 122.96 2.7 c
21.37 0 108.43 -2.13 123.6 -2.7 c
0 25.13 -26.33 0 p
-69.37 0 -69.37 8.9 -69.37 31.73 c
f
cleartomark end end pagesave restore
showpage
%%PageTrailer
%%Trailer
%%Pages: 1