{"title":"Stirling, Bell, and Fubini: exact triangular and reciprocal transfer","collection_revision":"f49e00d6088bbc8dca4f8a3a70b232db1eea085b","program_source":"examples/stirling_bell_fubini.py","program_sha256":"ed2f052cea5b9e6d585126b8cd09b20b77ebede534a686ed3e8104026b693b1b","program_size":29311,"manuscript_source":"docs/demonstrations/STIRLING_BELL_FUBINI.md","manuscript_sha256":"0c6925a351f128519f8e49ff56a176b56f987783033c1c60c683575255eb92e1","reader_url":"read/stirling-bell-fubini.html","manuscript_url":"collection/demonstrations/STIRLING_BELL_FUBINI.html","download_url":"downloads/stirling-bell-fubini/stirling_bell_fubini.py","tables":[{"name":"stirling-rows.csv","url":"downloads/stirling-bell-fubini/stirling-rows.csv","size":1024,"sha256":"3b0495666c8398d9be1c53d2a3fc0947ed7d9364af61c113422a98f1788930c3"},{"name":"sequence-checks.csv","url":"downloads/stirling-bell-fubini/sequence-checks.csv","size":450,"sha256":"9236e86d5e41db3eaf2e25645323e7fc9f39727492866a5d3ed9c195ec9d8262"},{"name":"moment-bridge.csv","url":"downloads/stirling-bell-fubini/moment-bridge.csv","size":1679,"sha256":"59fa625394fcd0bf27144a13e22264c742a5995948a3bacc43fbfbeea06623fc"},{"name":"reconstruction.csv","url":"downloads/stirling-bell-fubini/reconstruction.csv","size":176,"sha256":"6f1debe47ec62bb41c3ded8def1b03bc377609138e5bc9666319c74320a9e9c5"},{"name":"signed-transfer.csv","url":"downloads/stirling-bell-fubini/signed-transfer.csv","size":934,"sha256":"8cbfbd0921a8291d3c9744c4def0e773a7b5ed40c6d2372660e47ba2e4df9570"},{"name":"obstruction.csv","url":"downloads/stirling-bell-fubini/obstruction.csv","size":147,"sha256":"58f964fd9139761a8acd4364a79fc71724e22390b1d97f3f16d662bfa0b0fd9a"},{"name":"reciprocal-packets.csv","url":"downloads/stirling-bell-fubini/reciprocal-packets.csv","size":575,"sha256":"48b219e5586da7c1e8fb8732e386570ec00ee270327f8cc5a79b9654d0215235"},{"name":"stirling-transform.svg","url":"downloads/stirling-bell-fubini/stirling-transform.svg","size":18871,"sha256":"060595b7cb6ea7889a0a72c8c47955a355a5f64beee597d6d6097b661f048751"},{"name":"results.json","url":"downloads/stirling-bell-fubini/results.json","size":1910,"sha256":"896ee4fa0b9953e30b89901ba9b52970b372af3d095e134a49babe8d7e5e928b"}],"archive_url":"downloads/stirling-bell-fubini/source-and-results.zip","archive_sha256":"351baf9e02f8159ff24327658cdc38e15bd2646f739150bc881c3edc77b211f1","archive_files":[{"path":"LICENSE.md","sha256":"ac7045773daf5eff7346bd72eccc7c71e3f468f3205308452e6199abbfe8b052"},{"path":"docs/demonstrations/STIRLING_BELL_FUBINI.md","sha256":"0c6925a351f128519f8e49ff56a176b56f987783033c1c60c683575255eb92e1"},{"path":"examples/stirling_bell_fubini.py","sha256":"ed2f052cea5b9e6d585126b8cd09b20b77ebede534a686ed3e8104026b693b1b"},{"path":"generated/moment-bridge.csv","sha256":"59fa625394fcd0bf27144a13e22264c742a5995948a3bacc43fbfbeea06623fc"},{"path":"generated/obstruction.csv","sha256":"58f964fd9139761a8acd4364a79fc71724e22390b1d97f3f16d662bfa0b0fd9a"},{"path":"generated/reciprocal-packets.csv","sha256":"48b219e5586da7c1e8fb8732e386570ec00ee270327f8cc5a79b9654d0215235"},{"path":"generated/reconstruction.csv","sha256":"6f1debe47ec62bb41c3ded8def1b03bc377609138e5bc9666319c74320a9e9c5"},{"path":"generated/results.json","sha256":"896ee4fa0b9953e30b89901ba9b52970b372af3d095e134a49babe8d7e5e928b"},{"path":"generated/sequence-checks.csv","sha256":"9236e86d5e41db3eaf2e25645323e7fc9f39727492866a5d3ed9c195ec9d8262"},{"path":"generated/signed-transfer.csv","sha256":"8cbfbd0921a8291d3c9744c4def0e773a7b5ed40c6d2372660e47ba2e4df9570"},{"path":"generated/stirling-rows.csv","sha256":"3b0495666c8398d9be1c53d2a3fc0947ed7d9364af61c113422a98f1788930c3"},{"path":"generated/stirling-transform.svg","sha256":"060595b7cb6ea7889a0a72c8c47955a355a5f64beee597d6d6097b661f048751"}],"case_assertions":1091,"case_groups":{"composition":88,"generating":110,"moments":300,"packet_transfer":158,"packets":44,"partitions":45,"reconstruction":26,"reference":25,"surjections":36,"touchard":94,"triangular":165},"scope":"Classical finite combinatorics, formal Stirling substitution, polynomial reconstruction and general residue packet transfer. The site's bounded tests do not constitute a new Lean or novelty claim."}