table 3

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 14 Mar 2001 17:42:53 -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-15952070-984609773=:1886
Content-Type: TEXT/PLAIN; charset=US-ASCII


Here's one with the tables left justified.  That's actually not bad.

On Wed, 14 Mar 2001, Stephen Weeks wrote:

> 
> > Take a look at the tables with these new process*.sml files and let me
> > know what you think.  I don't know if it's better than the previous
> > version.
> 
> I like it much better.  It might look even better with each of the three tables
> left justified.
> 


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

H4sIAKzyrzoAA+xd/3fbNpLvr+Zfgae2qZTQimwnceNc+pJ60226SdOX5G7vvSiXhUjIYkKRPAK0
rci8v/1mBgAJUpRtpd1+lZq1SAADDAYzn5kBCe1obzcKptntLE8DIeW3Iglmx2miouni+HU0F8dp
kSg5lPP4s0/+jPZGo3t37nw2gs/hvbuN79Ho4M5oBHWH+3cPDg/39g8OPxvtQ/3BZ2z06UNe/1NI
xXPGPpvGhVCXtLuq/g/68dQiEyygVWYPWT9KFLtpv675d9C40T3mRQLdLadRLtWR6d/3dhh8pAjS
JGwVqlmUt8sCrYfvFOjhEcsFj2EI/LIdRfMsvqxBkM6zKBZr658/U2myntqpqUb8CAUwS3OfO01K
PfEJWhBOPeFQI1UeJSd+HCVCHiEdyEUeoXDiSKrS89JMJOy1OFdPX3inwMH0KcpNFwyxEu57UZIV
aqj4JBayp5u9KFSzHRb0AlWbrBLnPc+L04DHHmNTGNLY+HdFAu3SRLL+wMNZPGSxUN4O9os6QKM9
A46RGV38pje1REc9nyVvodkrmtpQpR8EdHU84/kwkq8yHggmNRXOBL5fTFn/aaKG0zydayKW6IEZ
jOXtJOZaJKHX5FTPZAM23/kw2/gdKs67MJ37zv31WG6Qr2W/0WrQoryaanCtSRj+zSgbsH8l5w7T
V860OcnLWTbswtdGDF/KrMPopUyadpfN5TrTyAUK/d31mIfGaweDuisHe3f9oa7o5Fod1RbXb1oJ
YFlVUN3YilYjW4bfppimus6EfxRSifCleC8C+N4EcRKiJLihK59pzGW93PSGdfb6mohEPa2HJaoe
2NU1PK9fYt3AxbK+5bVdaSSDHTfAzYhjmoBo2MNvtFx2qN0Uyrsg21QHdXWNk6aun/j5oK5fXQQt
Sc3zDutPfRaAnIHtump1Lb+LkkjONlnF+Fqr8u7oCP6dGH+L1/oCqXNxymLdDAvrxXgJLtddDaw1
K2d6Wt/WNGgsHBb4rQpHBDwM7fT71HbPNt4b+FSwbwv2B4OjPkYEN/GPFZUmutVouXerIlnxfBT6
OBJnbZGb6GjP0RJnfdwm+1c3OehuUsvHnb8d2e8o3Pdtj4P1oPDKBG6rCtXBQ1swFNJ9AiUFe59A
h1nQBriFa05r6lPcWEgdI+KFLxdS38DFW4Kz65iH7WK9PtsW1uOYYdYT2BaDhmVVA92qGjga4Nx2
RGpNKbVE12z7co1EySJWiau6/UvqDlbrWra9B7PSvejvgwG7zQ6GI2dK+N1W1I9dnL7rXvt1KgGR
uPJDrrg/kdIPReDPxLk/BTXGHOH6igCU64MbEdjVR54fYoEjAiy8dKYv4XJJPDL0CDqNmfP8A+NS
5zI+oyzGx9ROlqWRSTRlcZp+4DPBQ5O8vHrx/Anrf97b7QFHagb5DQnOuJU18qs4Nc3c/Qhio09M
ACHxAjwil8QRrgxxZgqRPyh7BgnWEN0H8Xt0hJOz3g1lsCNiKa7Nmq51M1LX/bbBukHUSFNrqi4Q
bI5VJ6/uWCv45xLVGW1NsgJ8LgEl6J2RhDsDytivakUpfFej5rTaE6psuSGyjw1JfVxpkbe6edns
ZlWTKgVH20A990hZHEU3OXtDxXY6NGzHKNjSyo6+Td1OJSt9YYutcOjbFrbUyb2tumspT+O+7qeh
Ku6tbdJQjPqm6qGibY3+UQ/6sSqqBK8vwLAMHjiWRVcznoSxQIOyUe2OY2NZjjtGGDUEXEG0r+Nl
QLIj1rNDMXch4K43TnpvB6YjxC5AnoxCI110HTzCloRJLSPHcgKEfqPigR1DD0vhMg5lSh+Y2xW0
Qg2jOpAHQ/8HwljTquIbmr6YApwLPtc8EZ8VjOkuPwG0OtwSc6rBPUkUvK+d0VWO6FodU79kMht1
aI2t28VR7QYGvt60W37Deow3bxtqHCXNhK1etyNWJJFiu9+Ybo+Y2eczHestQt3tEat2++ivjeOr
jG+l9zdvPQqwyOXr+ax6w0GjnpRkmsZhzjxWf/o4iHbeeqZkqhSKDGw2XeecOnPEymfU5O+UThKz
1H/GcxVhFkr9ugL9yh8OhyV2RXfsP+h7YK1AJ5l094w9Ym8aa9FcCrMSxOdbaEt8ADUIRK88CAe/
qGeSQFLM3xmqPrEJUdWJmrGUfU7FKZuFA6f9nJ+7Aou9TnHhfHxoSiuEegjXffifb3SZgJEmSWyN
vB3LE+KSOM/Q3jG5J8t2iST75iEyYcYlG7d7M2Tchrgv2f+wHgPM8sR5IDIS/JM8T3M9jyyHvpEz
leru9dCEq9b1Vpu2JimLROib3ZqHLC0UmG4fd5J9DcNvejcIeyu7YjWZ179ZVfT6PR9rcbMMGISb
m4OabKWTiou3OHCbyx9TwA6H09belLsxhX7Kbk05+1KmWO89VkU4z4oPsyvjbso8dJlwxh/5o8GK
KI9xm/J3xGRj+FvV3S07Ml3opW7PBDdS/wgzqYpwmK6Z/C2dX3siRhm7p+NUNidlKtyp/byZ2fnQ
BY5C86rNWafpc1ggbdLHp2r43dP/hlsMYfYHrmK+UhyGWzZCSEjV+gFY8wnxuxIqtuNCJyZEyrny
50BJUE5eS8+uvwYoTNQFjMOYt3BMU2LhoW/KIc+Gvm9B3+wm2xuNhqOB3xuPvxxAMOfO6MdUz2nQ
AicYDAItACDPxjqE3jzLILW3nqh24gkAil8vZhDQ0why7IDlfRs2tCCo/7mO5pEawzqnUcXXgw5a
RAZLS88rNqEF/ipafIaxAS1ovyXF5xpXUTbkOcZP0uuuJafWNaKWkklvOsSkh+yocAVlyDskpck7
KlxZWfJVYRny1QpHXIZ6VV6auFF+ucBWxKLTu09THk37acpjaD9FeTTpL6s8UDvDQA4b2PpqH5iZ
AG0axUrk3g5zjNfGj9RAnMNfSdU6njSBpY02652AtZ83vXkci3ObSjK4XfAgqO9P4+isvpvwHJB9
d1aouoxeRdg9yXk2k3WpghQmzev7jyJP6rucL1QOeU1dQhhb336InBFmfA6hN6W0TO9O3fwdIfx4
PC9iFQVpXMyT5b1yGVyUy8tgfzwW82y2lNj3dV1AWfuAMI1UP8MM4KjmLLMgh0UPtCJllSU3C7VC
Y5l2F1RedX2H9fkRZYT+xHwH5jvU35cIYzyeiJMoWQYiAdUtx2ZFq3LFJ0XM89IULy+Ci4ubyzvl
8ubyoFxmy4NRpspHy9uluSwvSmwLLs1pDi1zbJNDS5DlOWpSChlBBndgMzFQtSuor9+a8gKnApqL
GcLK3Ks2JDSdKOw4MPHWLmCX2B8nPF7IyJjfGpUcj4M0FKCZnxNGcL9XlpsQTDYlCDYlCGsCZvGz
hsrLRQHN0Kssy56t1XbSdEC+Bs5Ezfo66+U+Gw02ophsTBFsTBG6FGu8SlfdY3SOl4gA/WiXCPbW
stdJMdmYItiYInQpNhIBuIHLRICxbocI9tez10Ux2Zgi2JgidCk2EQHEKpdIAIKaLgHcWctcF8Fk
U4JgU4LQJej2NRogWkBp70USVu6mVWy8E7nUm45X/TmuD9xol/ergfw6DrB2AivT2uL/Fv+3+L/F
/y3+/wz81yDtugDf4HMzvTpY6wh+MQdQ5zId4f+fCvv/tFD+pwPmPx3M/qlA85fAQL310IDAcVJh
lAZB53H5b7IhGYvzE+FsBf5WO5LzeJMdSRLbG+5P/MAPfeFP/RN/5kf+e//DW/OihVc9l+m3lK/l
NVZ8RVzqfWRKUvpmECpZ1fBKy2GtO/ecWRO/9+8CgJfLkiEhc/alH5BamDHNhP5NYwbYZrm3u3e/
bI180CcRdo3bVO6WTvcGXby0xrlJG6B2UYI4leJpQu/nNMrwxBj24P3WZxC3n9/uM7ri/C++2vUz
j/9ecf53fx8P++rzv3cPoQDaH96D6u3531/hsz3/+8ud//13HObV9rc9y7s9y7s9y7s9y7s9y7s9
y7s9y7s9y7s9y7s9y7s9y7s9y7s9y7s9y1sTbM/ybs/y7mzP8lL5X+4s7/Yo7/Yo7/Yob4e4/tJH
eXc6TvHurDvAu8NcKvfY7vbQ7vbQ7vbQ7vbQ7vbQ7vbQ7vbQ7vbQ7vbQ7u/00G7Pd6Dd3mocr16C
XAvGrRTqmpjc/f6meWuaOu6VJqzcaUS5ery310CkP6Qu/4Hf99y+NviX+dj3/yBVFTlAjvl/DviF
x7j0/b+9w/1D8/7fvTt7owNof+fg7vb9v1/lM4b4avmkXvxy6WhC6XmPJQuFDPJoIkIWJQzb52K6
BKTO07CgtKn0cetG5Gkh7X51ztIMPFj0ketXHXguPJHgO28hmyxwYySV9KR/JnCDDSAOt8XCIjcP
ZvI03p3G6RlLp4zjnhmg4BxawxgnM6TyzKZGQAMw6CGR0zSf0+2QsaeKRRIbArNpLiDKU0wWObgY
My5XjLc6ybgE0Af/HMWgEiol7uitJm4OIw3YGadezbOW5TjIQEruXPHtApgkUC/HBL0liu2VyJSY
T0Aue/fvfw38vcauV0dH3+sBazBTIVgWA5JLpMch9WBWsCL32VmkZig+kZ+KBKflMuJhh0LqsaRo
tNNVUBTERUiMgBUkCgWd8RMi92HdebiLftwTMfSamOIoAQdLO6Q5j6TYVenu+2KetZbA19vqDS3w
cefckzNw8x8gQTfaI/9vHERKLB9nmYh/iOb3D8uh571OYfw58pVzJWj+Gfg1BdKKI7WgPfiJSMQ0
AkcNSoINmhxQE71wQnoNJYYoWoIMMpIhSAYCMoEKD7WcJeKsa2XMIug1XZaeVXSQ708c1DYGIRmF
znKQd6I0sWMzjV5LlCQ7m0XBDHjwpMg4zbQ5NCxaWmkfzagt5rTIiWViEhcSQxcPzSapCbMZl0Ir
fUZmK6SuB7NwhNWWYE1mLQXoJlAWstSlBhn8U7AZP23KUnCYm1mb7oWwkrG1pbGMqhcDH6YTY4uh
5iYpLOuaGEEGd+95dDJTMIkznoemPwhcUX/TvBZJgRQIJM9EcsILke++hgVI3KbxSZqDhc2NgtqG
0O49Tw7vlxiem7UW+IzBtHteBLMkCj5oRQbBzAUH6EFQ0FMDNcYZNVca/hmVolca9GIDHKCpebpk
ikyB4dT6BQKXHGWF/VXPSKQGBtyjhnlmiEX39//hUbgNAnkMZqUVtabwmY7YddBa2lsds5bacHUR
hq2lETWUgoyZY7/398sHhraOaEvf0OrQVXdnWmH0qrsDuOf48Go3S/FxIsIVKPOpcMZ2A+IS8X2e
ShUvmFzMJ2kcBcPxNE0VaKVYej8UsJg/QLzK/s7zIOLsZZSluCGsuzoDJX/E85x/iOQQFA+QPQc6
1mTU+xs/jUL2PDiOOairoQ3nQYD3j/hHDB4SoYawdK0uaGK+hzP9XiT5gh2L96ruY4ZljyRYbwDA
AQrb0UVjusPSQ03WNTbKL50HY8YzeWcR6QwDDYFRDWy9pn2DxwnYTMyeHn/3E/tJ+9Q5qhduSwjI
e2rxvcYHlz89O46Lidcf40svSi1nSmVHt2+fnZ0NA5BakYkkGQKM3x5DbRQDX6Us5lF0GyPKcuDp
ueDwYEcnYFUxOxW5JG2frswEOH3x1TEkJEPvlRIZPkz5pxCgzARKMUdEiRQq86vnz7QK/ZDOEvZS
ZNnCM2J9P8sfoXXAks+GExHHuzGfSCPbOQdfNy1yjApAdcLK+CTkfo50jduuRasjiTq2AZ8j4qlV
dMioStPEe/5s9x/AZP+/zDwPBsY6XqdTJZ6ox/H9rysL0dmXpWXf8+fPhPJgdtpXg5nDX2dRHidh
DlDCXqZSQihxYnUpN/ePMliUJNqVk2EoKvk3xoKJEiC6WAEhkp1aSMYmzkVQKAvy7OvRiD3//iPm
7iJmP4FeRcWcPX36VMPM/t177Pm3uKJzcNj5QoclHs6oetol6wU3wq0RAMXnV47Q5QViGM4ODw4u
G/3u3n5jdMQ3sHJnfhh68lMOMR1Enww8YIc6t+zwNm3BIHpDAjxWfKK9N7G1S29KUNwASJzmitYO
4l8M7oAN/RAULnAdEbHRC3rOK1iJ9gMKfGfcgHy0AL3baYK2lV7DFP6AKng2cOMZuPPzCNy1ABiE
hRrV44OfBsWKo0nOAQdQ1DoAsBEMuq5pdI5eMPXIVZswu4pOHdYQXCo3BmsF5QUF0l/QCeMvtG+K
Yx24dsTVNhA18+ZzxDby69i9BChByG/5xD7AyRxcawqwUfdu+hvoMZNFO8TQSLjIMFQEqfBJWii2
P/6S2uHonjs1jSRIkohTwoWcBJWwO+MvQQNw+b/FY6vgg+gUJgLmyo8exBcXOf1XenoDyjP4ym6Y
FbnRmtuNSsDjcbU/daP1zUwscKO6gsZmAPtFr20s68NCwIF7hJQm8AQKLEM6LOBmR75mSJe4EUjf
aOOgtAw2jaBhHiZU6TYPU6kXG5aB1K2yCb8yeU8rFVW3udNxG6SaGJ7GMInQpmiN3gl8mrRhJCnz
BA38z6ROAmOAKkWpEXiMIoY8Qs4g40Qj8Um3MLoAbr12qNTsfRGJOASBohKDM8xglBfa6abkaPDd
KR89VyS9dgba7IkATXWHqxEZPhjBGV9ADC4U7mCSmnb0ISIa2diFZsNaB8bqZL9nOA51SoE7TwAE
JKXmMbe5HrSRBcwrUDpninTakMOAJoglmD9N40IZt15nqp6bqRK8h2BhcZqhm4FEntKzOjToyLnq
VNz7Qv/WxBc61eCxTGHVAo0JFIoqyhe0j+da6/B9LVi+dpJxhIhFLge9zRntDVBwbsg6pD/lp2ku
W2pl18/kIQC6iB/t/K1+j0IDYFfuEqHqgZ+SWsqTiIOWTQq1ugFRuQC7xeHhAgYxBDxMKy/qM0Q2
U5hbojcPQFNwsSrt0vrQ2LPQiPrAgy4QBGnhgU98Xl7kxm+ABoN9FDHm3SyDkCNCfwomSOpDHdv1
hhZY6EHukOYhaXtKiSowU0SUtuAuU2DSuwbKfjmWYN7xpWgbXMA//K8Dbe1vkuhL+jUPuqTfwVgL
n7kGtG7kxNfRDCI2wcf8nsugbKJfK2zAh3eXBAyVftTv6dAWGYYNdtlhtb8zoYQLm7S9pZMnlG6e
noHe4Ks5Nu6o9aZvePXAi9dDWdAA72dBcgBjPUFS6I2aQaJjw196FanqWxu7p33yGo9PPUFkFdtE
hM69GkFIVxKVGKqthhBROI5BJUkgnP3rX7e/+qpZWEdSXQLVY3p2+5CWutrXW2EYd53qaVa+wHUF
K1mzYSHm+BO1BGkAOI2u3VVKUjssSaFmNIRIP9Ci0T1CHzngQQbuF83H0QNgcaHxr+awNSAKK1k4
LnPGJUTSMjpJqBWGWmYXIrmWBJ3I8HGsZrgH662iiNR7emKtfvfF8GRYbyAOIPSqdb5aJWAWoZUk
PuPxdG13eo8LbiuzsWw6eCI9iydSKP0+4RIr9Y/ZlsvR8K5zC+jT+XNWqz9k2N1S17t/vS87Hg7+
Cu0ukMPVCFG/SoB1XUgnlz9eCkugDR2hGdpOFSEyC3j06ECjPFryGsdabytS3F0PSqFNI47xVuKY
1xT0p7C8+ORBB3G0q7iy/2R8fYOJClzrCM6qILnK+zU365yxJfQahIcuocntDXMwE6v9GMOdCaHt
y7zkonPDKA89whK5skuIXt9sXwdcQu5i0696jXg1ut64tYETADy+66LQ/gLcRkAecPOcXmWdiEVq
ElPc61e4PVoBLLEscjQriY+LnheqoEO1QaF3OUDmOuRrPD06qhqUFlnXP7JhkX52FGN1PTSFmVVk
Bt1BVAPpb2N7GKVkno3Y6AiTReO+6vAMgB8iF4gpYSV4IkBn4oUXigAsAAac06QgXzRcQ6SKmwkv
bZBpWbhkDt172w2KoyZFCaP9bxHpyA/VQDVMDxZvyaZsjL3hsWE2fnAxfgDBTH+K79vFbFx+YaZV
zaM5PxNz0po299LXyhAdFegz+CLkMUDTMSoH7HlVREC/e5S5XgzG+t7GjxMQG6hQYwUMj4YNcEPQ
yrNnrCk/aoSVoZjiWYTVdWktK2hKoo89YOjjoQlGGFgTXNjA6Zx2yX39gCQEGCHlokCCnocZ+/3/
dq6mt0EYht7zKzjssEnVJJCmVTvusP8BCyDU0kqjbKfut8/P+TIfWnvY1IvfCQg0iR3b8UvS5qNs
IZOX7zjpBCdEXaqotv7M+3wa3u2Prfburwx22T02l2MLCfROt22OUyZ88gAf8K1/oS1wTVeupBAl
eShxvnla8evRz95n6YNdeFUQIDxNJ7dMER8uIjK4bX6m6ox8UuBJ5MR25zv2MaSU0vJQCeM1LG4F
EZGKrhASwgIE5cPDXF7y8bqU5AurwsqyidBxD7mvyfBLLBE6Kvl/eoBDGOu7gn7vxwoWwri6rxzw
hJaZQXB/meBNRAwKZkZILKfxwFTihg3eBLvy5MMwNuTHOqf8cMKNeTnyDOxYlsZq2Iy74CAmxogk
kxcR42+JJrllH9n+w8xomdIMw/Hxgiorr8ukyoXtisd7r8lky7KwSIWF1wM1rmuyyp0Boa/d0a4C
n/2lF3ibqsgH6+TYQxh0oV7O+EGENg1NxkyajgxxLXyo38M6LjqAZLIZJY1Ouu9OfKAOxDOkn29N
aS0rtpzw7ajY5Xc01DAKH0JsZ1J/SXKZlKikVIm5lDzfgNJOs0LUUFuZRCHfpb49b9F9ZplMP1Lm
QCHRj3b4SH6neIrvhHFX1WLmZMc6JIdlNYA9QTLXzyY7PktMb1yOUHF6xPxZRgKnXoOdBkFC0QgH
zNBKb2bUXVtyZN57tuujjoGLzbGnePWJq7jF5HQ0/owmNZ8SoFtvK1IoFAqFQqFQKBQKhUKhUCgU
CsWN8QNTxdJdAKAAAA==

---559023410-15952070-984609773=:1886--