i := 42:
count := 0:
while(count < 42) do
	i := i+1:
	if type(i,prime) then
		count := count + 1:
		printf("n=%-2d     %19d\n", count,i):
		i := 2*i -1:
	end if:
end do: