;contains all Sylvester files

*begin	sylv1
*export syl2.503
*export syl2.425
*export syl3.025

*include	syl2
*include	syl3

*end	sylv1