main=print$f 2!!100
f x=x:f(x^10`mod`10^1000)