URI: 

   BIN connections.dvi.Z
   BIN cts.dvi.Z
   BIN fibrations.dvi.Z
   BIN gkp.dvi.Z
   BIN ioauto.dvi.Z
   BIN prolog.dvi.Z
   BIN relations.dvi.Z
   BIN residuals.dvi.Z
   BIN spans.dvi.Z
   BIN stability.dvi.Z