(BIN) flogic.dvi.Z
 (BIN) galp.dvi.Z
 (BIN) hilog.dvi.Z
 (BIN) tpc.dvi.Z