(for i prn.2 2e4(and(is(mod(expt 2 i)i)2)(iso(rev:= a(coerce(+""i)'cons))a)prn.i))