import java.math.BigInteger;
import java.util.LinkedList;

class Ideone {

	public final static int SEARCH = 6;
	public final static BigInteger TWO = BigInteger.valueOf(2);

	public static class BigIntegerPair {
		public final BigInteger f;
		public final BigInteger fd;
		public final BigInteger fs;
		public final int l;

		public BigIntegerPair(BigInteger i, int l) {
			this.f = i;
			this.fd = i.add(BigInteger.ONE).divide(TWO);
			this.fs = i.subtract(BigInteger.ONE);
			this.l = l;
		}
	};

	public static void main(String[] args) {
		LinkedList<BigIntegerPair> k = new LinkedList<BigIntegerPair>();
		k.add(new BigIntegerPair(BigInteger.valueOf(3), 1));

		int l = 1;

		long T1 = System.currentTimeMillis();

		while (l < SEARCH) {
			BigIntegerPair k0 = k.peek();
			BigInteger newK = k0.f.add(k0.fd);
			int newL = 1;

			BigInteger t = newK.subtract(newK.add(BigInteger.ONE).divide(TWO));
			for (BigIntegerPair p : k) {
				if (t.compareTo(p.f) >= 0) {
					t = t.subtract(p.fd);
				} else if (t.compareTo(p.fs) == 0) {
					newL = p.l + 1;
					break;
				}
			}

			k.push(new BigIntegerPair(newK, newL));

			if (newL >= l) {
				l = newL;
				BigInteger newX = newK.subtract(BigInteger.ONE);
				System.out.println(String.format("(runtime: %d seconds, exp: %d) C^%d @ %d", (System.currentTimeMillis() - T1) / 1000, newX.toString().length() - 1, l, newX));
				System.out.flush();
			}
		}
	}
}