Given `val` such that `flag * 2^{10000} mod 10^{175} == val`.
From definition of modulus, we get`flag * 2^{10000} - k * 10^{175} == val`.
Divide by `2^{175}`,`flag * 2^{10000-175} - k * 5^{175} == val / 2^{175}`
Then we get modulo `5^{175}`,`flag * 2^{10000-175} == val / 2^{175} (mod 5^{175})`
and multiply the inverse.`flag == (val / 2^{175}) * inv(2^{10000-175}) (mod 5^{175})`