changed ch1 file names for sagews to avoid conflicts with printing