/**
 * @(#)iProfits.java
 *
 *
 * @author 
 * @version 1.00 2009/10/21
 */

import java.io.*;

public class s {

	public static void main(String args[]) throws Exception {
		BufferedReader in = new BufferedReader(new FileReader("DATA2.txt"));
		PrintWriter out = new PrintWriter(new BufferedWriter(new FileWriter("OUT2.txt")));
		double[] numbers = new double[5];
	    double numberOfThousand;
	    double totalNumber;
	
		for (int i=0; i<5; i++) {
			String line = in.readLine();
			numbers[i] = Integer.parseInt(line);
		    numbers[i] = Math.ceil(numbers[i]/0.7/0.99/1000)*1000;
			//System.out.println(numbers[i]);
		}
	
		
		for(int i = 0; i<5; i++) {
			out.println("verified");
		}
		out.close();
		System.exit(0);
	}
}
		

	
    

