int(mod(141635129123618833*2^(3n-17)*125^(n-6), 10^3))