[2017^0+(3^2)^20:(3^13)^3]^30:8^20