Nekotopy Version Goldbach Conjecture Thought Agda Formalization (Tentative), Simplified L-functions, and Prime Pair Search Python Code ...