import java.io.*;

public class gencl {

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

		try {
			int n = 10;
			fos = new FileOutputStream ("test-cl-" + n + ".cl");
			ps = new PrintStream(fos);
			ps.println("true => 'rdf:type'(':ind',':N0').");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':N" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':I" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':J" + (i+1) +"').");
			}
			ps.println("");
			ps.println("'rdf:type'(X,':N" + n +"') => goal.");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}

		try {
			int n = 100;
			fos = new FileOutputStream ("test-cl-" + n + ".cl");
			ps = new PrintStream(fos);
			ps.println("true => 'rdf:type'(':ind',':N0').");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':N" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':I" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':J" + (i+1) +"').");
			}
			ps.println("");
			ps.println("'rdf:type'(X,':N" + n +"') => goal.");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}

		try {
			int n = 1000;
			fos = new FileOutputStream ("test-cl-" + n + ".cl");
			ps = new PrintStream(fos);
			ps.println("true => 'rdf:type'(':ind',':N0').");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':N" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':I" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':J" + (i+1) +"').");
			}
			ps.println("");
			ps.println("'rdf:type'(X,':N" + n +"') => goal.");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}

		try {
			int n = 10000;
			fos = new FileOutputStream ("test-cl-" + n + ".cl");
			ps = new PrintStream(fos);
			ps.println("true => 'rdf:type'(':ind',':N0').");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':N" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':I" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':J" + (i+1) +"').");
			}
			ps.println("");
			ps.println("'rdf:type'(X,':N" + n +"') => goal.");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}

		try {
			int n = 100000;
			fos = new FileOutputStream ("test-cl-" + n + ".cl");
			ps = new PrintStream(fos);
			ps.println("true => 'rdf:type'(':ind',':N0').");
			ps.println("");
			for (int i = 0; i < n; i++) {
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':N" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':I" + (i+1) +"').");
				ps.println("'rdf:type'(X,':N" + i + "') => 'rdf:type'(X,':J" + (i+1) +"').");
			}
			ps.println("");
			ps.println("'rdf:type'(X,':N" + n +"') => goal.");
			fos.close();
		} catch (Throwable t) {
			t.printStackTrace();
		}
	}
}