(format t"Gray code  n=~A
"(set'n(read)))(dotimes(i(expt 2 n))(format t"~V,'0B
"n(logxor(floor i 2)i)))