(2^80+6^12:6^7*3^7+2^6):(2^80+6^12:2^7+2^6*2^3)