comments

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 14 Mar 2001 21:34:09 -0500 (EST)


  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.
  Send mail to mime@docserver.cac.washington.edu for more info.

---559023410-1914471406-984623649=:1886
Content-Type: TEXT/PLAIN; charset=US-ASCII



> I think the right table is with the none column containing the absolute size
> and the other columns containing the ratios.

O.k.  Here's the stuff for experiments.tex to add that table.

> I vote for including the table.  We can delete another proof or shorten 6.1 to
> make space.  I also think the absolute sizes are interesting, at least for
> showing off MLton.

I'm not sold on it (I've never felt that there was much of a discussion
between time and space for executables), but if you've got something you
want to say about it, go for it. 

> BTW, I think the compile times in table 1 are wrong -- they appear to be for no
> analysis instead of for Adom.

Yes.  Fixed.

> Fine.  Hopefully we'll be down to visual formatting by then.  Let me know if I
> can do anything in the meantime.

Take the token for experiments.tex and work in the new table.
Also, take a look at Theorem 2.


---559023410-1914471406-984623649=:1886
Content-Type: APPLICATION/octet-stream; name="01-icfp.add.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010314213409.1886Y@hoho.cs.cornell.edu>
Content-Description: 

H4sIANEosDoAA+xcbXfbNpbuV+NX4Hjj1kplxZaTplE2PUkzydQdp8mJM7szp+pJKRKSWFMkly+W
FUX97fvcC4AEKclWutPu2bNVW0kELoCL+/pcQO7xyVHoj9N7r7xLNQ4j9dnv8Do+OT7+6v79z47x
evjVg8YnXqcn9P1h/8H94/7p/a8egr7/sP/VZ/L492Cm/Srzwsuk/Gwclaq4ge62/v+jr97F31++
PPvHi4uB7BXqWvaCq1D2xuFE9tIc/wVjId69+Mf7l2fnLy7kEzkUe94oLzLPL4h+b48a/Ms4mUcq
mKiZioucO6g99qJFrvKKcBSOevhvjx/8JPajMg+TuOpHUxGOQ98rbCs1pmYCfijCmXqelHaVqu08
jJ2F1HWqsrBmhtrCuMiSoPTduWeenyV5j3XbasvnSl3mdWNYszmLCofpTEVeoYKjeZJdWvKMWKIH
IUigEOVA3rnLsn0s8Q7RmsejhL6lOQixT4h7oJ9Bl+Z9PJtHeiddkGrsdKSlxxLv/UBdyaNzqemo
+c5TkGJ9WsNZmji9pkdmzYuigeSd0fr8RZMfVhrviD09hnofSyivfnA76u9CVJsfyDRLfJXn36rY
nz5n5S7evkOvDOO0hMS9UaRysde7t41QiG092yfv5bPIKOlmGsGWcxF+2M7t83eGYheOK+KNXFe9
Ny90C/dNOtG0/e0zM8nOe2Dq7Zvg7lvW2mUbNaFo+fX2yTXNzjvR5Nu3ovtvW26XzTiUovfmu9c/
/HMgR4iMZSr0x2DPj5QXiz3km948Cwslj65lEgWyJ7/Bx72fAziR/PLgn0cHs6OD4GdsL6vn0oP5
fYAAM5NHY3n3V3m355XXeB+NInqPJniPEnonj7fObei3etn2/tqmb6HRNnMLkVHH/3bS+/NVvY4N
/mtlzH/xGjfhv/7949N+hf9OT45Bf/8UTX/ivz/gNcyVv3xRK3+1dCxhJcSzXAYq97NwpAJEXUn0
mRovXTS16iLQxAvpJ7MUJUQmkxThPPzAMC6XXqakiilUB2K0kJg/ycN4IospZVVASY4WQZl5kSQE
mCXR0ThK5jIZS49CySTzZqDOknIypVGigRMlZojzcZLNNGyU8qyQYU6EYDTB4nFSyLzM0iw063qF
9FqTpF6ey8McbEcwhyJh7nwgJKlRbJh35NzjWYG4sryQyyGQ6Uq4e5VeEEBMGL0ccrZYkcguVFqo
2QhyOXn06OueONDQciAzNc+SQol3tNQ6N8DUIitJgAXtXimZRp7PaZzZ0AxYYausK+dhMSWRquxK
xbRVlzlBk/JowO6AerEmjD8uSMapN2GqLtTtBUd+EkBpEQbHpjmMo5Dm7IrMC3N1VCRHv5SztCX9
roySJG0aQBciDGQ+zcL4UmTKGE3+69BHDlw+S1MVfR/OHj1c9VBqJFh/RnxllAxpmynVGhBMFBYL
nmmkYpSqAAGwDyJocsAktvIQDdstpjCL1EtZVLC9WRpxwYJeT8ZqvkkJRtZancuVsDYOM3vjwWIj
CMnYcpqpHLPpwY6rNGZdkSTlfBr6U/AgcpV6vNPm0tBhUhke76gt5qTMmGVmkhQZ5kis5DFxPTCd
ernS9p6yt6pc98MjHGG1JVgPs06CcSO0BTJxR0MG/6nk1LtqylJ52JvRzWZFWMnY3hVmIieoZjGR
A5PcGT4jL7zDnNIDGLojKKSQiYSTaQG+514WbJzCzBAkszuyJOOn6HGu4olXquzoHUQfS3SSkSeZ
9KJJAlw2nRnTtISg+8WLHz5aSQQAo2XEsjA2dK9KfxqH/qU2YYhkpjzEG4oEmiMYMHHS1DH+NcYk
CfxqNcPfycmEbhkTUwgTtWVB1LlHW6T5RgSvZl52mWvPzxEFclmmFIAe9f8mIsbXUj6DQ2kTrUd0
5ZB8fBmp64kiq9SPs2jh+f6KXVbopqsonK+kljhaIWrpeO6j/uqxGTvyMqx3NC2LVdeMLVScJ5me
zlAhUMV6OsR47CieHKUJ7J3jFsz4Sjlr+4QXjxD/0ykiHSx6luRFtJD5YjZKotDvDcdJUsAe1VJ8
X0KZ3yew3L96mR968m2YJojfh3oqlOezp16WeZdh3oPJIZxT8JVNRsVfvKswkK/85xGgsx0bzHyf
np96HwgtxKroQXWtKXhjXUE7/U7F2UI+V78U9RxTanuaw299hAzY7YYpGtvtrTgx6J7MW9CZi1rV
KrTpSMxDthnk2AKrmoD1bhpCUc/iuERWPXv+8o18oxPpjMyLMLnKC0d87xRy7Jvz51E5EodDIMCi
KJbTokgH9+7N5/OeD6mVqYrjHgL4vSF6wwh8rfJyFob3CEKuOkLvhZaHH03gVZG8UlluHLG9E3D6
+ovn3izqiYtCpRAQwgkSow5HfKgiw4KM+eLVuTah75NpLN+qNF0II9ZfptlT8g6ofNobqSg6irxR
bmQ785DFxmVGUACmE1TOl/dW0pGuydW1aDV8qAENso2KxtbQL8NiZUjEq/Ojv4HJw/8w+zztGO94
l4wL9aJ4Fj36uvKQKTarqrHyO+/VuSoEdqeTNtwc745SnsVBhlAi3yZ5DvwwsbaUmeenKZQSh0f5
qBeoSv6NtbBRjoturAAuslsL2NnUtfLLwoZ3+fXxsXz13Qd5BqYi+QZ2FZYzeXZ2psNM/8FX8tW3
pNEZUnW20LhD0I7UtQ+wY2N3Q7h1BCDxdasU6PICkOLJh6enN63+4KTfWJ3iG7zc2R9ii/CuPAA5
QE4CTxvMueWH916dE5OI3mfIToU30nmb2TqiWLxixIBInGQF6y4uGdGBDY6y9IX0SBGb8p+o+Olq
jIKUCSg5Iwfn3EiHYDn8ieJeMzFoS68GCTdJEDFyZxIHucl3bT6CROUMeDXMw/5TpP7rEKldRQsB
1R7XHCOnwxSjcJR5GcH3wIAFi3Yo2Y3Da8qbiU7rBo3fCGIXhlVt5AgQMkEUkISlNYxdh1nKgETD
dM7GxLNgYRIArNOZwOIGLalEAtERetmEBhm2CHxhFLBEgD5wOaUJmlmYLbJK4LBS9JRcN5gZdFa2
vIiDTbvpsTi00lvFCm2KZ0DBpEGSqLbDEX2REthFkvNGSVnI/vCgArpmvppdLTUME7G64hiXsQpj
eX94AGsmU/5WIRIjnxJoySj4D0fUskRXiVpntfwYffyY8T8rMZyScYgDkyzk58ZYPm/oVj+7UhsO
xfYhNTHIpHl9Xn2ySMwHCAwL9oNP+pb1OSd4VHFQcc9bfIGG51s1emg8prOyizddu+H0BoBtdnrT
qVmFUtglHE+3gUxog+HupvotNO/CR2GiERBbYKvNxuwcUptjgzDnIhqe//e4rmejBYeYnDjNywh1
UT5F8UyO3GVLI8wEbkUbADZnX4QqCuBRQJGTmJsRmxChkO5TrPhaw4qEUykMLOiKkMvsdmHdnJVD
tkXgoY5MXjT3FigoVAGDZGsVmwetA3+qONgjoZcg4dm4/IDBw2MXSGQokW3FOqfggx34ha78Ql38
ZFjJAHJOWVdJVNpaoS6rhVtWc6oK4GFRklLKzBDGKXPWMGdD5VifJQi7F10weVGeQFe+jiEMqwsu
WTRe8bStwchJae1SaUCi5PRJcWrOhxtcaGCYlfPYu0qyvCVUqxoAQpOgKWC0y06gpViX55Woq6Ir
nyKz5lqWo9CDBVU6slmnZ85eSDF0VA1TYVM0IzTMIeFXiEEbVOMQxYRQ6eaYGbgVB5iMwhyrFjz9
AtWWmclZsEbYfRnR+YBMAZBCyv5wLTYQXspqFBTUKA5Q6iQZH4WAjipq8FeGXGXRKZhv6tBGID0Y
5vDbaLeA6oTUOjwO4yQGcqZvLD77FUI2X3WeuTEW0pH8tlD4guEcox9dEh6OFoD7HTrbsz1HOU/w
Wze2aVu/aTOZDsGbN/K2jG0Mb4ZLI0LsqBGvW/CN7hpuAG6VqVsvwNx0PknwzcZpeMFLA+lkE9LB
7riIJbPJkjm8ASxV+K8K9KhTjLqBKeqlbKSDT9iw3sFaL2goZmMyFJy2DOE7L8wt3LOV7WDKzgSE
G9mCUNuDFoQuXYwkNoiB8kYUwdlYIJ78+ed7X3zRbKzxSCVQUc9k1rRnt6zq6lB1jWHXv/La64sk
uZQEgYxhVgaaqyJS8aSYLmmYn0S5SlfL494D5xHUbeP1P368u7y/Wt5dnsJuni7vrbLVx9UWSt3v
vosDuf76A+g+EofrAUBfpVHfJtfJlz/caOdhvAmdkDIqkCStBwmD7dkIK2zhQou1syVjIJGHbp0s
YR6tKqf2oTixfLCN1vwGqId9bbhmxsoviaeFTqU1S60VyHbjhYO5pl4b4NjDuVhsMGi5zaC55iym
fB+xnsByfcittoabQ9Wb9OoT9Q5QvKMa6zTMbMEiFlMvGm+dTh/64rE9BdgU2wo1VmZLfNikF7FK
CZr4HpdlIwCVMlcuiJt5VE9G2EEh6nNlAz81ehureSO0cE1SwQVYjoPoiKEkjgi9mdMDWmT9TNFg
HstIBVitwHjhR/WiXTEqi3rRzfQPG4jnzFwS0N671UqVYIVXUVeIywCgMCDQQ0r16ciGMAVdUVCW
hQgXiSnp6UaloKNoCqJC34CRa2d6Pr7uATCGyrTB6dLFnAjQiR57U752mtxzFK0voVATywugo3wq
Kls1VYbJqeGWqscia8jpKgw4YF9hWwQIFDXEvmrizZBPxcdAdgZybVJ0101lVJA207SGaWYpsF/y
mUMOHSFK6Sl5LS9fTyJVtqYt2Zs3jbVHKgrVleHXnMZjWxwBt988ijCuTxDmoT5eojun1s3mnK/k
YuKvunewoWJcEjZlLgT72RorUKTKQy00C4yr8scvs4xmay54GIWXSlSBA3YaE9y1m6JEmtOF7iss
jj2hyCj1sSQLhuqaxv3uoCJYte0HYYKKO6VZquCIJ2choBhXHeaAwoPxj6F8tgvXdk0hBQFNSm+i
5Ja7OH0HlTeukFw9ig33o61DHvJYlN4RddfwhKs8lrad6wsURUau6/dE5jq1OkDzCOy0aqaC1ChQ
2SHQebFKyjxaYF8+Ui/WnbHU0WLEinqRjiff2lLP6L1pu62tbLwna4wYNEessNp/lWFmLreAjZrZ
4c5wKcdySLO9RKMcPv44fAxYfjjuyCcyksPVHb2tah+t/ZkIzZGrvpcrNt61GRlSUodFwrCJR1/M
p8ponNirjIlWCVM342Ot72yNZxOPqwGheTRsGOtHgigIs+rzCLf0C+CzAOXrehFNtcJgaBK+MY/1
2Qvlwphzuy0BrvnerasvWwOO2EpoSEwDbVYZZ96EZDL4tSqf6JQZWxphtdmKUDIUcsjSN9KQl/Lw
mhp6vR7pHY+TE5B06BSAB/CjIZj06Tu+6Z6+03NiezQobC78LbZTG6DZPHufcwVaHUVyKQ08CLBE
wbe6E5qcrLCccFv61FKdsl+u7nAmhVK8gE3F2qu9KLcigop2EBLhURKUwaVtebnNm6XkEmwUFnpd
odMzyX2TDOfOAbO+nPp9dgDyCoc3XzfvY8NrTRg775XhlqNlPtlhZ7Mu4hgFn0pCLEUZ81VDlx1e
WL8yh0J5OUYcC7Xy61N4hEdEBg4sG5yV3Ti0AaLhjHQQxD9IqOZyWNIXyS7/JjVXTstXHtYce7eo
cmR0WatyzXed5shosvZlt7Nfd/aNHsBcOJYj4jCm0Qp1LBEK+S+NAi+bKloL7DYNakDrFkt0JYFE
7xeMW+1hc1hFdt/+JoQ2QMci49K9mIPu6Tevh/Xvj06+FsAarFivcYNHC+uTCpgaWWHHpni+JmSA
RDxUcUvUNV5dVvIB58lJl6686nxIK6jALTi7XH3Ih1/T9vmsV8xKFEFVauEYyTT9BxWNtbuRqusD
GZTKHnN4o5wREQrfWQuNGUhTU2ww+hbwqPAbn2JLCBy7pnsi4fk+YfLCXKBp4WG7gceZOTJnznzN
qhMXuyMjRvpW/VKtSASd60dct856f/5I9//Fy/7+9/aftf9P1rjp97+n94+P7/Pvf08fPjzpnz78
7LiP/tM/f//7R7xEsUirsvwJRedC3rUfO753Gg96RjpmeCKX/FPZgZm/K/YoA+ozjVYjn2602kxK
f1/wn/tkCjH0Ln/YiagAuYnAZIyt/fyrj+2jnZ5qRfrzHezSPGcOyUpvnNMYbT1GAB7kBYXbLt+I
D2gcnfAMSDgRQjiq7iRFsnwHiHL2WlyBg/EZyU039KgTz/vuX7vsa7LXqLwbdNSw3/ozmn0hooSS
hKSMYP8q42V9EMn4z8DNPZqXbIBXo7t2YkY3/7hfJdDBflfGP4HsgrfWK5JLhameT72sF+YXqYeM
lutRtBN8vgZ2OgO8GmfJTA+ScceA1RALxOY7oZwmp+aPfXZn832XSu33ZDjvAQ66zvNuLDeGb2W/
QdVpjbx9VGenTRj+zSqfwP6tnDtM37rT5iZvZtmwi49PYvhGZh1Gb2TS0N20l122kSkS+vvdmAfx
1sXQd+ti73df6pZJdpqo9rjDppcgllUN1YPtaBHZNvo0zbzVbS78AyPot4ru6gGQPyHiaOzN4cYc
8OiYK/czMxv12e87RiSN57eGJe7uWO0anrerWBO4sezQ8truNJKhiRvBzYhjHHP99o2Wyx7TjdG+
KWSbbr/uruOk6TuMu1mn7l9Xwp6sed6Th+Ou9CFnsF13revyJarwfPopWox20sr7wQD/Tky+pe/6
C43O1JWMNBn/LqpSxlukXFcb1Gs0Z2baTmsIGorjn9O1OhwRoFC12z9k2hNLfNLpckPfNvQ7ncEh
IYK79GZFpQd92aA8+bIaspb5GPo4EpdtkRt0dOJYiaMfl6R/O8npZpJaPu7+7crdDY39rp2xsz0o
XBjgtm5QG3hoC4Yh3W8YyWDvN4zjv1ffPW6RzlmnXcaNZa4xIn3p5otcP+DLTxzOdnEPO8V2e7YU
NuOYZbYPsBSdhmdVC31ZETgW4DxuQGpNKbVE16R9u0Wi7BHrg6u+/g19p+t9Ld8+wa70LPrztCPv
ydPesbMl+mwb6odNnL7frPttJkEnkN3AK7zuKM+7gfK7U3Xdpf/bCtUIuxsCRm4HN8q32ieen1CD
IwJqvHGn9FOrJfMoKSM4x3ZermuZrv5db5cvqVcrI5NwTH/xd+lN6bBfFy8Xr1+9kIf/tn+0D470
aSYJzqSVLfKrODVk7nkEs3HITGAg8wIeiUv9S+MnhjPTyJfoT+Q5CqwepQ/mdzCgzdnsRjLY0wes
O7Kme92K1E2/7WDdGNQoU+tRm4Jgc626eHXXWot/7qC6oq2HrAU+d4D+W9ZNSMLdgf4Vwi1U+gcK
G4ia22pvqPLlhsg+NCT1YY0ia03ztjnNuiVVBk6+QXYu2FgcQzc1e8PE9jZY2J4xsKWVHX+avr1K
VvqLbbbC4U/b2DIn97GarmU8jed6noapuI+WpGEY9UM1QzW2tfoHveiHqqkSvP4CxzLxwPEs/mYO
k9/XqHbP8bE0oxMjQg2+VwDta7yMSDaQ+3Yp6SoCT/vDeP+njpmIYhf/rTFBI920SzwiSo5JLSen
dg4Ih42Ox3YNvSzDZVrKtD42j2vRiiyM++hn3JT/6HB+M1XFN0hfjxHO6S/xmCfmswpjesrfELQ2
pCXpdP9Y6Cu6rk5GtyWinSbmedllPmlC62ybUxz3foKDb3ftVt6wGePHnxpmHMbNgq3W20CWcVjI
o2/MtANpzvnMxPqIUE87kNVpH79bHF9VfGuz//iTYIDFKV/vZz0bdhr9bCTjJAoye8nMr0NaRCdv
vVN2VYYiHVtN1zWnrhyp85xJ/srlJDPL86f0pxP8mwGa1xXoF91er7eiqfhJ/jt/dqwX6CKTn87l
U/ljQxdNVfx3e9f627iNxD/Hf4Xh4gwn61MlkXp10UOL3gP90g+9LwfUuSJx0u5e80I2e9iD4//9
ZoakRJEUbW+yeQ6BOJE0w8dwODMc/6jomaB+HgIt9QO4QSBq5kE4+ItqJglcfDz/VXPNqJsKGjy+
HH9Fty/H7072Lfrzo0+2wM5GQXHheOZASjOEegh/z+BnrnWZDCMNkrqVjvZMn9AunX66olcejPTK
tpk+jP/yLXZCt0tr3ORmaHFr5tmH8b/HkzHYLAsX+bfr68trNY6ra6gbe3ZzqapXTZNdNa63g0J2
0G6drfkWkdWwdGeYSZ4rM/zLZEq2t11XFiJ8NDtoH0xmkzk+xWQZdBAuDvY7Nq+StheH2LDby58Q
cWP11MlN2Ykp9FMmNWXlpfRtlXtsb+E4237orIydlPnW7oTVfjpP9z1R/oBpyifUyV7zb9qrN6Zl
+kNNtTsSTKQ+h5G0t7CZ0Ej+enm+9UC0MoaHYz3sD0o/sId2t5GZ8dAf2AqNq1vOapt+DhOklvQP
/71J/v7jv+ASQ5h831bMf94cQXOrXggJW7XZElbz79RfL1R040IrJkTO85v5OXCSKSevpUY3GzAU
OuqCjkObb7BNfceYh5m+D/tsqPsN1D0+GGdpmqT788li8ad9CObsEf10qca07xgnaAwCLTBAIxPr
kPU+urqCrb3xRJ0Tx+M2824yl0v6NoIcO9jymQkbHBM0+0pF88iNYZ1F1PbrbYAXLYPhpe8rduGF
/rW8+B3GDryg/YYVv9fYxNmT5wLLxST8lJxaqEUlJb29CYhJNRl4YAtKswckpdgDD2xZGXZfWJrd
f2CJS3P78lLMvftxgXliUdu7z1Mexft5yqN5P0d5FOv9Kg88pZNKSGCet3ngsQ7Qfnt/dnN6Pdob
W4vXxI9EcPoJX2ZEj1U8qQNLE212mYDB8svk/Ozs9JPZSo4n6sU23TW+1aa76o6ZdPfsl7F0d9WL
YrprfOtLd2VebtLdIRvbXf7x3mpBvaKDtrRjlZ06eEIWfrEgfPby8uzj+cWqXK+Wt+tVzOwvFqfn
V+9WH7DubV3AuvMBJ5fvb2ZXuAP4puvZlTFyeOutUqSrdiX3b+oDMnBPuQu631Ytx7Ojb2hHOD/W
v5f694n6HRHGQgND1dHY9ULPaHvfHL/Tt52zhlcrkV7drPE0n/4Tzx1OMKa2ybtTid+tQJafUJPo
MCNcwZo5Ay73AdX12Jy3OBTQXNwheGPvzlmi0NRGYc8yE4dmAkNi/16jOrVYwyq5UCfFJvOvyEYc
zSfr9S4Mx7syLHdlOOkYxsZ+dqYyLgogU+eHJ+apWid9BzRXhvPi5t1M7XqP5uN0fyeO4505ljtz
nNgcA14l9EyfLB8UAfrRkAiywe4FOY535ljuzHFic+wkAjpRPywCjHUDIsiHuxfiON6ZY7kzx4nN
sYsI6E0CgxKAoCYkADnYuRDD8a4My10ZTmyGsK9RBsIxlObaPu3t3NbeiVzqgeVV7+L6wI2GvF9n
yLdxgJ0T8IbF9p/tP9t/tv9s/+9g/5WRtl3AXNvn/vZKDDqCe3MA3V4mEP6/KNv/Yk35izPML87M
viijeR82UKUeeiZwcdHaKGUEra/LHyUhqd60/fgZSTruuXVGksT2y9H8eL6cn8xP57/Nf5+/m7+f
/2f+x6EGWoza72VmjvI5XsPzFWdrlUemTcpMN0J3fA1vtRzmOphzHvftd16AAV/Tm+cWi7GVl35L
aqHb1AP6Qm0ukWaV/Tlr1k7LYkYiDLXbV25Hpyf7ob447RxQAtRMyvLs8sPpjxeEz+ndwxNjWAOf
9H3FZdP53/Z/dN2pjej//8nTqvv/Pxn+L6AMnhZ8/vchCp//vb/zv1/iMG/7v/34LC+f5eWzvHyW
l8/y8llePsvLZ3n5LC+f5eWzvHyWNzBSPsvLZ3n5LC+f5eWzvK/oLC8f5eWjvHyUNyCuV32Udy9w
indv6ADv3tjmso/t8qFdPrTLh3b50C4f2uVDu3xolw/t8qHdJ3podzK3TLu5VHa8BUEOGmNnC7Wl
TQ7jNzVqmiqerHVYudeLclV7h3dd1k9UlZ8x3JNRg6+nbML/Yb72jvC/Tfg/KaVs8X+iEoj/K0TG
+L+HKIz/e9r4P1p/DP9j+B/D/xj+x/A/hv8x/I/hfwz/Y/gfw/8Y/sfwP4b/dQwM/2P43x7D/+g+
w/8Y/sfwP4b/MfyP4X9PpJMM/3v18D8MbP+ho2Q3STW4jKEVosVVi2gOkxL7Wu31PXTe26eERnkE
vGFP2tBjB8ZCXx2YFEAXsKyu2zEiw6861aOBIXQvTE1K4lDjvQFq1CSXGu6FqaGvLjHcGumoSbHE
jD8J3h6OvmtUyXoE8u9aA9Hvt1X0a7OH69RmPdq6Nkscbm3do21rs8TlVNY98es6VDmhNlC7K1Z1
Ay5zWCufN97p+UP3rJnBjTDNjvoDZoj+gFnq/jfFa7Yf7b/62GgbBigD6z5MGVjTLaG3dGORNGae
Pn92KeA3c0s5lKGZNZQkjB6lO6stJQqjT+nMqKFEYfQId5pNM5dtCqgX73f99R+1HfQemR4FZ2KX
0OjnI4jAXuz8KLq2c7++JwhEex2ioS9M7RsWUdt3Q9TesIlMt1sic8MiMj02NOZ6e63qIXp7I/S1
ZdZ1/OuOdj9E2HZ+A2E7AJvO1sbHgjxPXGCzreEvyvMz0vkZl03437tif1UbUfyvEKnC/wqZFTnh
f8sSfjH+9wEK43+fNv6Xsb+M/WXsL2N/GfvL2F/G/jL2l7G/jP1l7C9jfxn7O2bsb8fA2F/G/u4x
9pfuM/aXsb+M/WXsL2N/Gfv7RDrJ2N9Xj/19jVDc+4BT9jAU/OpP7ym/+nMLgfGrP588iuj544cf
2cL3/xV1uV4tb9ermNlvcbRQ97YuYK18wJMB1W3lELazh1uZh62cyHYGdCuTspXj2c7ibmWGtnBW
2xjouNna3j5pPehhTJV2TdRvTyEGvdqgvxr0RPwmWsZnvvgSwX/+/FD4z6ps8Z+lzAn/WeU54z8f
ojD+88niP68Z/8n4T8Z/Mv6T8Z+M/2T8J+M/N5Mw/pPxn4z/HDP+k/GfjP9k/CfjP03rjP9k/Cfj
Pxn/yfhPxn8y/vPpoCYZ//la8J8Y2PK7X/e+LOCU3/3K7351K+N3vzJ2k9/9+qLf/XpfbxF9fvMI
Pi8+lSrqHzL71pWyrWY30DOvYSPv8UYYe/Z8B8ae7Xb5DmkNb9bkDV33dj+x7vrEg13c2rd8Ybg0
qMj9+KCD/V5F/D7TL+zOHgQva/Cf9LJBtSdCyNm9Ygzj+M9U5KUg/KdMc1GkFdDLvKoY//kQZXF8
+vv7i9Xy9AJW1nqkL2+Ojj+eHV2vV2dr987t8vb2YCXXq4OVWK+uv1t9vb5e367XavmOvr84Ovvf
h/cfpqHTKMo8dStmvY6Q2YsoSqjWQpQE1g70cDHSNkZ1dYGWa7WeptMsq+GzKeFDCrxOc/is8UPi
k6ysG/qVF0hHNJWoM/yVNUgm0lpg/d+jIYQ6y4oqLacSGatpmVGl1VRm1N5U1FJVm8HvvBLTfFpC
W6D3paq6bKayyCu4n5VNpuoG+4p1S113kVNfp2VOlddTmaobotJ9zgRUXlfYBSDIi0r3u5BTWYly
Co+bNKXKwW5D3VVOdRdTKXGk2AusGiiFui6ErhnbTJGoqOqpkDg4qhlab3B806yoi1bkowX4wVaJ
RugJPF27u2Ypyx3VBDKqGyjQ3EdJjK2O6VQuUVfynBRH6U2T4+TXUtATQTpVk+pVFf4tC0GqhFSg
CMSY2VoFl1QvziqKXoA+5WmlapYCNKZsCtSYDGqSWUO1NzAh5RT0D2YF2bB+0JGMGhCNrVlZ2lD9
UIPAxVDAPJZFqeovQCWKXFK3JNwUpeo99KEosH7Snaqtv8YeytJSrky01adYvUAthAWiuw/6mxUl
aTDcBP3U1Qup9FxQE1g9qh8KTOSfoWDCU7DR9hqmfHhUOTA8iBKg349aIyUEGmFBH6QRkkSvJoCs
CpmSvLAVpKmJO8NVSXYH9Q/Zc6AsycjlJPaGFijy2/PfSGJv0FyRlcpTxQ6keU2WEP4SZNUyNC6G
X88vGAHTPD4roXdS8Zd6PdSClJbYaVYHJ9C/Mj7qsV3miyq9+A+/Ab7/8G9T/JeWdvyXUfwHHBz/
PUTxQjJYlxBPpAlYaJmUtbU+/agMlnmNpGAdkjp3SXVcBjaoRq+UgC0AI54UjUuI0RlED7IBeyAS
cFFlnSeZ17T27kADYVGa5GDroG2PTHl4MHQZGDqsDwKlClovfEJy9BDzQPfSBEI2USVN5pK1zh5c
doXDBfuXNUntDUP7hmneoI1OwBUWifSkQu4BbCjYWmgT5CKTPHWJyEWA8cd+oVFNpNXavc5/b/0j
Quv+l//G9V+Vebv+RYXrX1RAzuv/AYq//suqxMgiaUT7IeNWoCxTdOZJjepaC/oYMgZZBtNdUv1I
jZunpPH0nywCrNomhVg5wyUAVA1+VINWoUoLWp410aXUnwHbAGFsjpEMDg0/smAnjH2QoJoZ0ZUt
hzc+20oUadF1hMThCdDYiqqQGdHSRxXsh7IYeVXDKkJh0JRU+NeA3YB9RFWYDqheZEPmo7f+v8Da
V21E1z/sqtX6FwW6/xLXP8wOr/+HKP76d9MhXirDTT84OQPQNAwhVFo7uA0ir229eyRLyhLfLTJA
nKU2cY7uMkKc9YmliBCnZb8beY3EcWPnZoe8zI6XjXFyKFA9hE07iAdGHBOPS1zFxOMRFzHioi+e
qgqJx1j2UJpsIMs1kJ8KJ5egPYogIxLLwTn0x1VWg+OCh9vrCMS11dYSwxDXqbkISYy8WyiDOJj+
G0zdxTJvFFFHpJbJRDoLoBlWNKBO012o87wvizQfpsao36lbhiRnnL2fXgukxgLZLD8DhdYK9hPR
5SgcA1TIyKIRPU0USZrFiB1NrGMLPXfXbtBa6RAnmG4cThYOp/kGM3TQMO2x4hpWOVqQDy9M0IJU
9KmzJqZh0qGWEX3EfWCfWuRh8amgz8/MhvKpoRxoIHGJizGPWjCKEfvLJaZkZeVY5piXuxtx0OZ3
0a6Xrw7lmEN54XAyF7fYUTFJxwbVMW8nq62VD4h3cbrCMZx1FhKTifK9nK6Xp/Uyr14uFYXTyLih
ypwFkcdmOqv7hkpGw6qqTyxi2ukSZ0FbrrY1fnY7lLIO5qEDyWVoAzMrUSEVjh3Ih20MJmicuCIW
L5VOzVHd9GpuQkJSG7p+wt9J4Dv5eD+/XmywPGne1+UsNreehY5Gmz33lm4ITZ1uCEdrHnun9DKL
2f9fP97+H56VXf4/V/v/nPf/D1IC+/8ErS5mmFJ0a/HNMAQTSIbZtsqjbXeGSUWZqDKYS1S7IQgU
Tbas8nLmbdivmqtK6uRQ5Kuqooxa5bXWxndJ0ZjUn/+NRBffZPjtRvsx6OATShCqD49KezrVYh1u
URv6BCME9SEGc3ZcuHDhwoULFy5cuHDhwoULFy5cuHDhwoULFy5cuHDhwoULFy5cuHDhwoULl9dd
/g/QSreFAGgBAA==

---559023410-1914471406-984623649=:1886--