f2^100+3 0 f2^50+3 0 f2^600+3 0 f2^700+1 0 f2^800+1 0 f(2^100+1)^3 0 f(2^700+1)^2 0