replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
%!PS-Adobe-3.0 EPSF-3.0
%%BoundingBox: 3 1 45 105
%%HiResBoundingBox: 3.160078 1.978711 44.614455 104.986059
%...........................................
%%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 1849 0 0 3712 ^ Y
255 G
1241.71 1227.86 m
-104.77 -53.33 -223.3 -83.33 -348.86 -83.33 c
-425.57 0 -770.64 345.07 -770.64 770.63 c
0 425.57 345.07 770.6 770.64 770.6 c
133.16 0 258.5 -33.83 367.8 -93.3 c
f
33.3333 w
4 M
K
1241.71 1227.86 m
-104.77 -53.33 -223.3 -83.33 -348.86 -83.33 c
-425.57 0 -770.64 345.07 -770.64 770.63 c
0 425.57 345.07 770.6 770.64 770.6 c
133.16 0 258.5 -33.83 367.8 -93.3 c
S
255 0 r3
1089.96 2685.76 m
0 -108.93 -88.27 -197.14 -197.1 -197.14 c
-108.9 0 -197.13 88.2 -197.13 197.14 c
0 108.86 88.23 197.1 197.13 197.1 c
108.84 0 197.1 -88.23 197.1 -197.1 c
f
1089.96 1144.53 m
0 -108.87 -88.27 -197.13 -197.1 -197.13 c
-108.9 0 -197.13 88.27 -197.13 197.13 c
0 108.87 88.23 197.13 197.13 197.13 c
108.84 0 197.1 -88.27 197.1 -197.13 c
f
K
362.81 3164.96 m
-2.6 -13.07 -7.87 -33.17 -7.87 -37.54 c
0 -15.63 12.23 -23.5 25.27 -23.5 c
10.43 0 26.16 6.97 32.2 24.47 c
0.93 1.7 11.33 42.73 16.6 64.53 c
6.13 26.1 13.1 52.34 19.23 78.5 c
5.2 19.17 10.4 38.37 14.77 58.47 c
3.43 14.8 10.4 40.13 11.33 43.57 c
13.07 27.07 59.23 106.43 142.03 106.43 c
39.2 0 47.1 -32.3 47.1 -61.07 c
0 -21.8 -6.13 -46.23 -13.1 -72.4 c
-10.46 -44.5 -14.83 -61.9 -24.4 -101.16 c
-8.73 -32.3 -9.6 -37.5 -17.46 -66.27 c
-3.43 -17.46 -11.27 -47.2 -11.27 -51.57 c
0 -15.63 12.17 -23.5 25.2 -23.5 c
27.1 0 32.3 21.8 39.27 49.73 c
12.23 48.83 44.46 176.23 52.27 210.23 c
2.6 11.37 48.83 116 143.77 116 c
37.57 0 47.2 -29.6 47.2 -61.07 c
0 -49.67 -36.86 -149.07 -54.36 -195.43 c
-7.9 -20.9 -11.34 -30.47 -11.34 -47.93 c
0 -41 30.47 -71.54 71.54 -71.54 c
82.16 0 114.53 127.54 114.53 134.5 c
0 8.73 -7.87 8.73 -10.46 8.73 c
-8.73 0 -8.73 -2.63 -13.1 -15.7 c
-13.1 -46.4 -41 -108.47 -89.07 -108.47 c
-14.83 0 -20.9 8.73 -20.9 28.77 c
0 21.83 7.87 42.8 15.7 62 c
16.6 45.37 53.3 142.16 53.3 191.83 c
0 56.73 -34.8 93.4 -100.17 93.4 c
-65.5 0 -109.9 -38.3 -142.2 -84.46 c
-0.83 11.3 -3.46 40.9 -27.87 61.8 c
-21.8 18.3 -49.67 22.66 -71.46 22.66 c
-78.47 0 -121.17 -55.73 -136.04 -75.73 c
-4.33 49.6 -40.93 75.73 -80.2 75.73 c
-40.04 0 -56.63 -34 -64.5 -49.66 c
-15.67 -30.5 -27 -81.87 -27 -84.5 c
0 -8.73 8.73 -8.73 10.46 -8.73 c
8.7 0 9.57 0.97 14.8 20.1 c
14.8 61.83 32.27 103.7 63.6 103.7 c
13.96 0 27.07 -6.97 27.07 -40.1 c
0 -18.3 -2.67 -27.87 -13.97 -73.23 c
f
1320.95 3217.27 m
-4.3 -15.77 -4.3 -17.43 -17.37 -32.3 c
-38.5 -48.03 -74.23 -61.96 -98.63 -61.96 c
-43.7 0 -55.87 47.9 -55.87 82.03 c
0 43.57 27.93 150.9 47.97 191.07 c
27.03 51.5 66.33 83.8 101.17 83.8 c
56.77 0 69.03 -71.6 69.03 -76.8 c
0 -5.23 -1.77 -10.5 -2.67 -14.86 c
h
1377.65 3443.17 m
-15.7 32.27 -40.93 55.87 -80.14 55.87 c
-102.1 0 -210.23 -128.3 -210.23 -255.53 c
0 -81.97 48 -139.57 116.03 -139.57 c
17.43 0 61 3.5 113.34 65.6 c
6.96 -36.7 37.5 -65.6 79.3 -65.6 c
30.54 0 50.6 20.1 64.54 48.03 c
14.77 31.43 26.17 84.7 26.17 86.47 c
0 8.7 -7.9 8.7 -10.43 8.7 c
-8.73 0 -9.7 -3.5 -12.23 -15.67 c
-14.83 -56.83 -30.54 -108.46 -66.27 -108.46 c
-23.5 0 -26.17 22.73 -26.17 40.16 c
0 19.14 1.8 26.14 11.37 64.54 c
9.57 36.63 11.27 45.37 19.1 78.5 c
14.9 55.8 18.27 72.4 31.43 122.13 c
6.13 24.4 6.13 26.17 6.13 29.7 c
0 14.8 -10.57 23.5 -25.33 23.5 c
-20.9 0 -34 -19.13 -36.6 -38.37 c
f
783.87 342.06 m
5.2 19.27 5.2 20.96 13 30.53 c
42.63 56.7 81.8 69.87 104.33 69.87 c
31.37 0 54.87 -26.17 54.87 -82.04 c
0 -51.5 -28.7 -151.83 -44.37 -185.03 c
-28.7 -58.47 -68.7 -89.83 -102.6 -89.83 c
-29.6 0 -58.3 23.5 -58.3 88.07 c
0 16.6 0 33.2 13.93 88.16 c
h
865.64 671.82 m
0 0.83 0 9.57 -11.37 9.57 c
-20.07 0 -83.7 -6.97 -106.37 -8.73 c
-7 -0.83 -16.57 -1.77 -16.57 -17.5 c
0 -10.57 7.87 -10.57 20.93 -10.57 c
41.87 0 43.57 -6.23 43.57 -14.96 c
0 -6.07 -7.87 -35.73 -12.23 -54.04 c
-71.4 -284.2 p
-10.53 -43.54 -14 -57.47 -14 -88 c
0 -82.83 46.2 -136.93 110.73 -136.93 c
102.87 0 210.2 130.03 210.2 255.53 c
0 79.3 -46.23 139.6 -116.07 139.6 c
-40.07 0 -75.77 -25.27 -102 -52.2 c
f
cleartomark end end pagesave restore
showpage
%%PageTrailer
%%Trailer
%%Pages: 1