Every even integer greater than 2 is a prime plus a product of at most 18 primes
Source files
root filemain.tex · root file3 KiB · SHA-256 3479dd61a22860a9… · view textancillaryanc/README.md10 KiB · SHA-256 69adf4bd7052eb6c… · view textancillaryanc/REPRODUCTION.md2 KiB · SHA-256 bf70b2652cfee29a… · view textancillaryanc/SHA256SUMS.txt5 KiB · SHA-256 5e2e93fa55b2ef12… · view textancillaryanc/audit/audit_js.py8 KiB · SHA-256 6d8f26b384f84d4e… · view textancillaryanc/audit/independent_check.py7 KiB · SHA-256 5e1e16214e793cf6… · view textancillaryanc/audit/js_uniform.py3 KiB · SHA-256 9778c4349a5d8c48… · view textancillaryanc/audit/t2v6/audit_c4.py3 KiB · SHA-256 6c30276d1ed4e441… · view textancillaryanc/audit/t2v6/audit_grh9.py6 KiB · SHA-256 0c028ac72b486e8c… · view textancillaryanc/audit/t2v6/audit_s4.py2 KiB · SHA-256 d67d4ca65074a378… · view textancillaryanc/audit/t2v6/audit_v6.py7 KiB · SHA-256 78e09323c6ca6292… · view textancillaryanc/audit/t2v6/check_float_cells.py1 KiB · SHA-256 99000e2a18f0f282… · view textancillaryanc/audit/t2v6/frozen/second/cert_qrhB3_K14_350_51046.json37 KiB · SHA-256 4dd7aa586cca4904… · view textancillaryanc/audit/t2v6/frozen/second/cert_qrhB3p_K14_51046_159011874857757.json33 KiB · SHA-256 7ec68adf2f179afd… · view textancillaryanc/author/cert_C2.py5 KiB · SHA-256 851804b3a88c5871… · view textancillaryanc/author/cert_C3.py5 KiB · SHA-256 f33d8f184bc11bd1… · view textancillaryanc/author/cert_C3s.py3 KiB · SHA-256 548923057a2e6e61… · view textancillaryanc/author/cert_C3s_v7.py2 KiB · SHA-256 c7992c264324ae39… · view textancillaryanc/author/cert_qrh_range.py10 KiB · SHA-256 53ee4f0c3317e316… · view textancillaryanc/author/fF_enclose.py4 KiB · SHA-256 b759f360de0f96c9… · view textancillaryanc/compare.py11 KiB · SHA-256 8a052508d7797a03… · view textancillaryanc/expected/audit/audit_js.json20 KiB · SHA-256 e058f46a0c731886… · view textancillaryanc/expected/audit/audit_js.out.txt7 KiB · SHA-256 381b85b37235d810… · view textancillaryanc/expected/audit/t2v6/audit_v6.json12 KiB · SHA-256 4f8c665fcd55f9cf… · view textancillaryanc/expected/audit/t2v6/check_float_cells.out.txt4 KiB · SHA-256 5bb1f36df8134b7a… · view textancillaryanc/expected/audit/t2v6/resume1/audit_c4.json767 B · SHA-256 7c81a060ed95086b… · view textancillaryanc/expected/audit/t2v6/resume1/audit_grh9.json229 KiB · SHA-256 6fbfdcf90ff557ec… · view textancillaryanc/expected/audit/t2v6/resume1/audit_s4.json654 B · SHA-256 a22747c8adff39c4… · view textancillaryanc/expected/author/cert_C3s_v7.out.txt878 B · SHA-256 df22765caab98dd3… · view textancillaryanc/expected/author/fF_enclose.out.txt439 B · SHA-256 de3f12bf5571efca… · view textancillaryanc/expected/second/cert_C3_e1800.out.txt190 B · SHA-256 18ad5bb0ad40e9c5… · view textancillaryanc/expected/second/cert_C3_e350.out.txt574 B · SHA-256 022597668d016ad4… · view textancillaryanc/expected/second/cert_C3_e62.out.txt187 B · SHA-256 33446df6d94ef51f… · view textancillaryanc/expected/second/cert_C4.out.txt652 B · SHA-256 1778187735ea6383… · view textancillaryanc/expected/second/cert_S4_H400.out.txt621 B · SHA-256 dca0e3a649584a23… · view textancillaryanc/expected/second/cert_qrhB3_K14_350_51046.json37 KiB · SHA-256 e7bae3acf5b2e8e7… · view textancillaryanc/expected/second/cert_qrhB3_K14_low.out.txt178 B · SHA-256 84aae278b177ab32… · view textancillaryanc/expected/second/cert_qrhB3p_K14_51046_159011874857757.json33 KiB · SHA-256 34e183587c710997… · view textancillaryanc/expected/second/cert_qrhB3p_K14_top.out.txt206 B · SHA-256 669df61ac5270ecc… · view textancillaryanc/expected/third/js_cert/js_cert.json6 KiB · SHA-256 5aa80c6c88f87d3c… · view textancillaryanc/expected/third/js_cert/js_cert.out.txt7 KiB · SHA-256 ba9fed15a2a6b4ca… · view textancillaryanc/expected/third/js_cert/tp_bound.out.txt199 B · SHA-256 846064fd8bdaafa5… · view textancillaryanc/expected/third/t2_check/c3_grh.out.txt3 KiB · SHA-256 13963c251fcf8b6a… · view textancillaryanc/expected/third/t2_check/cert_S3P_K18.out.txt1 KiB · SHA-256 d2350418623f1f9b… · view textancillaryanc/expected/third/t2_check/cert_grh_sieve.out.txt2 KiB · SHA-256 487687bb19b50324… · view textancillaryanc/run_all.sh.txt4 KiB · SHA-256 5b512a1311158e05… · view textancillaryanc/second/cert_C3.py5 KiB · SHA-256 ccabc10f24ee175b… · view textancillaryanc/second/cert_C4.py5 KiB · SHA-256 08eec648c18cf010… · view textancillaryanc/second/cert_S4.py3 KiB · SHA-256 dfe5c838a43cadc9… · view textancillaryanc/second/cert_qrhB3.py6 KiB · SHA-256 be8d3d970b323f7f… · view textancillaryanc/second/cert_qrhB3p.py8 KiB · SHA-256 0efb0cf7e021c0c3… · view textancillaryanc/third/js_cert/js_cert.py19 KiB · SHA-256 b36955015d3258a9… · view textancillaryanc/third/js_cert/tp_bound.py1 KiB · SHA-256 96b5b90771f5a8df… · view textancillaryanc/third/t2_check/c3_grh.py6 KiB · SHA-256 c8e660dc552751c1… · view textancillaryanc/third/t2_check/cert_S3P_K18.py5 KiB · SHA-256 d4cc79ffb910c3ba… · view textancillaryanc/third/t2_check/cert_grh_sieve.py6 KiB · SHA-256 053115356b9fdd2e… · view textauxiliary filesec10_appendixB.tex7 KiB · SHA-256 9a260dc8c169176a… · view textauxiliary filesec11_grh.tex7 KiB · SHA-256 3dee06528b9399bb… · view textauxiliary filesec1_intro.tex10 KiB · SHA-256 9242aac04f62c98b… · view textauxiliary filesec2_inputs.tex5 KiB · SHA-256 725089f4c3efb855… · view textauxiliary filesec3_middle.tex11 KiB · SHA-256 bb27d5eb614ea32e… · view textauxiliary filesec4_rough.tex6 KiB · SHA-256 a44450b0d9f4ba65… · view textauxiliary filesec5_js.tex4 KiB · SHA-256 6bd23f6e231d8e01… · view textauxiliary filesec6_qrh.tex9 KiB · SHA-256 f474de37055465a8… · view textauxiliary filesec7_numerics.tex10 KiB · SHA-256 c6d23d6e8a179a6b… · view textauxiliary filesec8_refs.tex7 KiB · SHA-256 043e4c9072de5ef6… · view textauxiliary filesec9_appendixA.tex5 KiB · SHA-256 d4f90cb92c02750f… · view text