['#', 'Efficient', 'algorithm', 'for', 'finding', 'prime', 'numbers', 'V', 'X', 'X', 'B', '(', 'X', 'A', '(', 'A', ')', '(', 'X', 'C', ')', '(', 'A', '(', 'A', 'Q', ')', 'X', '(', 'X', 'K', ')', ')', 'G', 'C', 'F', '(', 'D', '(', 'Y', 'D', ')', 'F', 'D', 'F', '(', '#', 'Nice', 'trick', ')', 'C', 'L', '(', 'F', ')', ')', '#', 'Derived', 'directly', 'from', 'the', 'Godelian', 'stabilization', 'lemma', '(', 'W', 'Y', 'A', '(', 'O', 'X', 'X', '(', 'I', 'N', ')', 'Q', 'A', ')', 'H', 'Y', '#', 'Computes', 'the', 'homomorphic', 'inverse', 'of', 'a', 'given', 'monoid', '(', 'C', 'A', '(', 'C', '(', 'X', 'T', 'O', 'U', 'M', ')', 'V', ')', 'W', 'A', '(', 'B', ')', '(', '(', '#', 'G', 'ist', 'always', 'at', 'least', 'two', 'times', 'the', 'size', 'of', 'the', 'subspace', ')', 'G', ')', '(', 'Y', 'G', 'U', ')', '#', 'Runs', 'most', 'likely', 'in', 'polynomial', 'time', '(', '(', 'G', '(', 'G', 'T', ')', ')', '(', 'K', 'N', ')', '(', 'G', ')', ')', 'Q', 'G', '(', 'G', ')', '(', 'G', '(', 'G', ')', ')', 'S', '(', '(', 'G', 'N', ')', 'G', ')', '(', 'N', 'M', 'R', ')', '#', 'Avoids', 'divergence', 'in', 'the', 'Hilbert', 'cone', 'by', 'rotating', 'parity', 'M', '(', '(', 'G', ')', 'G', '(', 'W', ')', ')', '(', 'G', ')', '(', '(', 'G', ')', 'G', ')', '#', 'Trivial', 'case', 'of', 'lattice', 'conjecture', '(', 'G', '(', 'G', ')', 'H', ')', '(', '(', 'Z', ')', ')', 'G', '(', '(', 'G', ')', 'G', '(', 'G', ')', 'G', '(', 'A', 'N', ')', 'B', '#', "Let's", 'use', 'the', 'well', 'known', 'trick:', '(', 'M', 'S', '(', 'U', 'U', ')', '(', 'I', ')', ')', '(', 'G', ')', 'N', '(', 'Z', ')', 'G', ')', ')', ')', ')']