for n = 1 to 10

	let k = -1

	do

		let k = k + 2
		wait

	loop prime(2 ^ (2 ^ n) - k) = 0

	print "n = ", n, " k = ", k

next n