#include <iostream>
#include <fstream>
#include <string>
#include <vector>

using namespace std;

int main(int argc, char* argv[]){

  int cur_file = 1;
  while(cur_file < argc){
    string filename;
    filename = argv[cur_file];
    ifstream fin;
    fin.open(filename.data());
    cout << "File " << filename << endl;

    int r, dx, dy, x, y;
    string p_string;
    double p;
    fin >> r >> dx >> dy >> x >> y >> p_string;
    if(r < 1 || r > 1000)
      cout << "BAD R!!!" << endl;
    if(dx < 1 || dx > 3000)
      cout << "BAD DX!!!" << endl;
    if(dy < 1 || dy > 3000)
      cout << "BAD DY!!!" << endl;
    if(x < -10000 || x > 10000)
      cout << "BAD X!!!" << endl;
    if(y < -10000 || y > 10000)
      cout << "BAD Y!!!" << endl;
    int decimal_places = p_string.size()-p_string.find('.')-1;
    if(decimal_places > 3)
      cout << "TOO MANY DECIMAL PLACES!!" << endl;
    p = stod(p_string);
    if(p <= 0 || p >=1)
      cout << "BAD P!!!" << endl;
			    
			    
    cur_file++;
  }
    return 42;
}