bin.filter.dat bin.proper.dat proper.in filter.in