(n-of(= i(expt 10 98)p 237)(= p(int:/(* i i i)#0=(++ p i)#0#)))(pr"1."p)