Halting machine solution for Reimann hypothesis, mathematically accurate, elaborate proof, extremely detailed