import java.io.*;

public class genpl {

	public static void main(String[] args) {
		FileOutputStream fos;
		PrintStream ps;

		try {
			int n = 10;
			fos = new FileOutputStream ("test-pl-" + n + ".pl");
			ps = new PrintStream(fos);
			ps.println("");
			ps.println("type(ind,n0).");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("type(X,n" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,i" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,j" + (i+1) + ") :- type(X,n" + i +").");
			}
			ps.println("");
			ps.println("goal :- type(X,n" + n +").");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}

		try {
			int n = 100;
			fos = new FileOutputStream ("test-pl-" + n + ".pl");
			ps = new PrintStream(fos);
			ps.println("");
			ps.println("type(ind,n0).");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("type(X,n" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,i" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,j" + (i+1) + ") :- type(X,n" + i +").");
			}
			ps.println("");
			ps.println("goal :- type(X,n" + n +").");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}

		try {
			int n = 1000;
			fos = new FileOutputStream ("test-pl-" + n + ".pl");
			ps = new PrintStream(fos);
			ps.println("");
			ps.println("type(ind,n0).");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("type(X,n" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,i" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,j" + (i+1) + ") :- type(X,n" + i +").");
			}
			ps.println("");
			ps.println("goal :- type(X,n" + n +").");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}

		try {
			int n = 10000;
			fos = new FileOutputStream ("test-pl-" + n + ".pl");
			ps = new PrintStream(fos);
			ps.println("");
			ps.println("type(ind,n0).");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("type(X,n" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,i" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,j" + (i+1) + ") :- type(X,n" + i +").");
			}
			ps.println("");
			ps.println("goal :- type(X,n" + n +").");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}

		try {
			int n = 100000;
			fos = new FileOutputStream ("test-pl-" + n + ".pl");
			ps = new PrintStream(fos);
			ps.println("");
			ps.println("type(ind,n0).");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("type(X,n" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,i" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,j" + (i+1) + ") :- type(X,n" + i +").");
			}
			ps.println("");
			ps.println("goal :- type(X,n" + n +").");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}

		try {
			int n = 1000000;
			fos = new FileOutputStream ("test-pl-" + n + ".pl");
			ps = new PrintStream(fos);
			ps.println("");
			ps.println("type(ind,n0).");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("type(X,n" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,i" + (i+1) + ") :- type(X,n" + i +").");
				ps.println("type(X,j" + (i+1) + ") :- type(X,n" + i +").");
			}
			ps.println("");
			ps.println("goal :- type(X,n" + n +").");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}
	}
}