{"title":"Factorial lanes: exact worked derivation","collection_revision":"f49e00d6088bbc8dca4f8a3a70b232db1eea085b","program_source":"examples/factorial_lanes.py","program_sha256":"6292ece9142d0f706df1abc634de97f8942b156f2c17ef0647538bb779f7f00d","program_size":7297,"manuscript_source":"docs/demonstrations/FACTORIAL_LANES.md","manuscript_sha256":"459b8e4190cdf23fc22c62e11a230af6c49473039821f6c43afebe3e7292964a","reader_url":"read/factorial-lanes.html","manuscript_url":"collection/demonstrations/FACTORIAL_LANES.html","download_url":"downloads/factorial-lanes/factorial_lanes.py","tables":[{"source":"verification/factorial-lanes/lane-products.csv","url":"downloads/factorial-lanes/lane-products.csv","sha256":"955edca1b1a6014f5cf6159bdfa37120660ce3eb8200a71d79a0971b0deb3139","size":242},{"source":"verification/factorial-lanes/coefficients.csv","url":"downloads/factorial-lanes/coefficients.csv","sha256":"a008e992314765e8e707e284c17d78375da5e6a573da293e1e4210bc30d6fe8e","size":406},{"source":"verification/factorial-lanes/results.json","url":"downloads/factorial-lanes/results.json","sha256":"64b1cebb474f31163c5fbd1e828b31896c6b25ee44db38670128a53bef90cf83","size":319}],"archive_url":"downloads/factorial-lanes/source-and-results.zip","archive_sha256":"2aa1985adf157379085619afd96f3d606d439fe91f54e50097c421cb9d05fdd2","archive_files":[{"source":"examples/factorial_lanes.py","sha256":"6292ece9142d0f706df1abc634de97f8942b156f2c17ef0647538bb779f7f00d"},{"source":"docs/demonstrations/FACTORIAL_LANES.md","sha256":"459b8e4190cdf23fc22c62e11a230af6c49473039821f6c43afebe3e7292964a"},{"source":"verification/factorial-lanes/lane-products.csv","sha256":"955edca1b1a6014f5cf6159bdfa37120660ce3eb8200a71d79a0971b0deb3139"},{"source":"verification/factorial-lanes/coefficients.csv","sha256":"a008e992314765e8e707e284c17d78375da5e6a573da293e1e4210bc30d6fe8e"},{"source":"verification/factorial-lanes/results.json","sha256":"64b1cebb474f31163c5fbd1e828b31896c6b25ee44db38670128a53bef90cf83"},{"source":"LICENSE.md","sha256":"ac7045773daf5eff7346bd72eccc7c71e3f468f3205308452e6199abbfe8b052"}],"scope":"Exact formal identities and 225 finite arithmetic checks; not a Lean replay or a general conjecture certificate."}