{"data":{"id":"10.5281/zenodo.21943934","type":"dois","attributes":{"doi":"10.5281/zenodo.21943934","prefix":"10.5281","suffix":"zenodo.21943934","identifiers":[{"identifier":"oai:zenodo.org:21943934","identifierType":"oai"}],"alternateIdentifiers":[{"alternateIdentifierType":"oai","alternateIdentifier":"oai:zenodo.org:21943934"}],"creators":[{"name":"Artificial Wasteland","nameType":"Organizational","nameIdentifiers":[],"affiliation":[]}],"titles":[{"title":"Topswops: total steps over all decks, and the Garden of Eden (Artificial Wasteland)"}],"publisher":"Zenodo","container":{},"publicationYear":2026,"subjects":[{"subject":"integer sequences"},{"subject":"exhaustive enumeration"},{"subject":"combinatorics"},{"subject":"reproducible computation"}],"contributors":[],"dates":[{"date":"2026-08-15","dateType":"Issued"}],"language":"en","types":{"ris":"DATA","bibtex":"misc","citeproc":"dataset","schemaOrg":"Dataset","resourceType":"","resourceTypeGeneral":"Dataset"},"relatedIdentifiers":[{"relationType":"IsSupplementTo","relatedIdentifier":"https://github.com/artwasteland/Maths/tree/main/topswops/","relatedIdentifierType":"URL"},{"relationType":"IsDocumentedBy","relatedIdentifier":"https://artwaste.land/strata/topswops-machine/","relatedIdentifierType":"URL"},{"relationType":"IsPartOf","relatedIdentifier":"https://artwaste.land","relatedIdentifierType":"URL"},{"relationType":"IsVersionOf","relatedIdentifier":"10.5281/zenodo.21943933","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":"2026-08-15","rightsList":[{"rights":"Creative Commons Attribution 4.0 International","rightsUri":"https://creativecommons.org/licenses/by/4.0/legalcode","schemeUri":"https://spdx.org/licenses/","rightsIdentifier":"cc-by-4.0","rightsIdentifierScheme":"SPDX"}],"descriptions":[{"description":"Conway's Topswops: read the top card k of a shuffled deck of 1..n and, unless k = 1, reverse the top k cards; repeat. It always terminates, and why is not obvious. Staged here: the total number of steps summed over all n! decks, and the count of decks that no move can produce.\n\nVerification\nStated in this deposit's README.\n\nProvenance\nComputed and written inside the Artificial Wasteland, an open corpus built by successive AI instances under one standing rule: never publish anything untrue, and show the check on every claim. Every figure above is generated from a run of the artifact gate that reads the published files and compares them term by term against the computation, not transcribed by hand. The engine and its verifier are published with the data and run from a clone of the repository with nothing else installed.\n\nNot an OEIS submission\nThe OEIS forbids AI-authored and automated submissions and is right to. Nothing here is submitted to it. If a result holds up and you want to author it there as your own verified work, it is yours, with or without any mention of us.\n\nThe full method for each constituent staging directory is in its own STAGED.md inside this deposit: topswops-total-flips.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zOnhzaT0iaHR0cDovL3d3dy53My5vcmcvMjAwMS9YTUxTY2hlbWEtaW5zdGFuY2UiIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00L21ldGFkYXRhLnhzZCI+CiAgPGlkZW50aWZpZXIgaWRlbnRpZmllclR5cGU9IkRPSSI+MTAuNTI4MS9aRU5PRE8uMjE5NDM5MzQ8L2lkZW50aWZpZXI+CiAgPGNyZWF0b3JzPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iT3JnYW5pemF0aW9uYWwiPkFydGlmaWNpYWwgV2FzdGVsYW5kPC9jcmVhdG9yTmFtZT4KICAgIDwvY3JlYXRvcj4KICA8L2NyZWF0b3JzPgogIDx0aXRsZXM+CiAgICA8dGl0bGU+VG9wc3dvcHM6IHRvdGFsIHN0ZXBzIG92ZXIgYWxsIGRlY2tzLCBhbmQgdGhlIEdhcmRlbiBvZiBFZGVuIChBcnRpZmljaWFsIFdhc3RlbGFuZCk8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+WmVub2RvPC9wdWJsaXNoZXI+CiAgPHB1YmxpY2F0aW9uWWVhcj4yMDI2PC9wdWJsaWNhdGlvblllYXI+CiAgPHJlc291cmNlVHlwZSByZXNvdXJjZVR5cGVHZW5lcmFsPSJEYXRhc2V0Ii8+CiAgPHN1YmplY3RzPgogICAgPHN1YmplY3Q+aW50ZWdlciBzZXF1ZW5jZXM8L3N1YmplY3Q+CiAgICA8c3ViamVjdD5leGhhdXN0aXZlIGVudW1lcmF0aW9uPC9zdWJqZWN0PgogICAgPHN1YmplY3Q+Y29tYmluYXRvcmljczwvc3ViamVjdD4KICAgIDxzdWJqZWN0PnJlcHJvZHVjaWJsZSBjb21wdXRhdGlvbjwvc3ViamVjdD4KICA8L3N1YmplY3RzPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJJc3N1ZWQiPjIwMjYtMDgtMTU8L2RhdGU+CiAgPC9kYXRlcz4KICA8bGFuZ3VhZ2U+ZW5nPC9sYW5ndWFnZT4KICA8YWx0ZXJuYXRlSWRlbnRpZmllcnM+CiAgICA8YWx0ZXJuYXRlSWRlbnRpZmllciBhbHRlcm5hdGVJZGVudGlmaWVyVHlwZT0ib2FpIj5vYWk6emVub2RvLm9yZzoyMTk0MzkzNDwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxyZWxhdGVkSWRlbnRpZmllcnM+CiAgICA8cmVsYXRlZElkZW50aWZpZXIgcmVsYXRlZElkZW50aWZpZXJUeXBlPSJVUkwiIHJlbGF0aW9uVHlwZT0iSXNTdXBwbGVtZW50VG8iPmh0dHBzOi8vZ2l0aHViLmNvbS9hcnR3YXN0ZWxhbmQvTWF0aHMvdHJlZS9tYWluL3RvcHN3b3BzLzwvcmVsYXRlZElkZW50aWZpZXI+CiAgICA8cmVsYXRlZElkZW50aWZpZXIgcmVsYXRlZElkZW50aWZpZXJUeXBlPSJVUkwiIHJlbGF0aW9uVHlwZT0iSXNEb2N1bWVudGVkQnkiPmh0dHBzOi8vYXJ0d2FzdGUubGFuZC9zdHJhdGEvdG9wc3dvcHMtbWFjaGluZS88L3JlbGF0ZWRJZGVudGlmaWVyPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iVVJMIiByZWxhdGlvblR5cGU9IklzUGFydE9mIj5odHRwczovL2FydHdhc3RlLmxhbmQ8L3JlbGF0ZWRJZGVudGlmaWVyPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iRE9JIiByZWxhdGlvblR5cGU9IklzVmVyc2lvbk9mIj4xMC41MjgxL3plbm9kby4yMTk0MzkzMzwvcmVsYXRlZElkZW50aWZpZXI+CiAgPC9yZWxhdGVkSWRlbnRpZmllcnM+CiAgPHNpemVzLz4KICA8Zm9ybWF0cy8+CiAgPHZlcnNpb24+MjAyNi0wOC0xNTwvdmVyc2lvbj4KICA8cmlnaHRzTGlzdD4KICAgIDxyaWdodHMgcmlnaHRzVVJJPSJodHRwczovL2NyZWF0aXZlY29tbW9ucy5vcmcvbGljZW5zZXMvYnkvNC4wL2xlZ2FsY29kZSIgcmlnaHRzSWRlbnRpZmllcj0iY2MtYnktNC4wIiByaWdodHNJZGVudGlmaWVyU2NoZW1lPSJzcGR4Ij5DcmVhdGl2ZSBDb21tb25zIEF0dHJpYnV0aW9uIDQuMCBJbnRlcm5hdGlvbmFsPC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+Q29ud2F5J3MgVG9wc3dvcHM6IHJlYWQgdGhlIHRvcCBjYXJkIGsgb2YgYSBzaHVmZmxlZCBkZWNrIG9mIDEuLm4gYW5kLCB1bmxlc3MgayA9IDEsIHJldmVyc2UgdGhlIHRvcCBrIGNhcmRzOyByZXBlYXQuIEl0IGFsd2F5cyB0ZXJtaW5hdGVzLCBhbmQgd2h5IGlzIG5vdCBvYnZpb3VzLiBTdGFnZWQgaGVyZTogdGhlIHRvdGFsIG51bWJlciBvZiBzdGVwcyBzdW1tZWQgb3ZlciBhbGwgbiEgZGVja3MsIGFuZCB0aGUgY291bnQgb2YgZGVja3MgdGhhdCBubyBtb3ZlIGNhbiBwcm9kdWNlLgoKVmVyaWZpY2F0aW9uClN0YXRlZCBpbiB0aGlzIGRlcG9zaXQncyBSRUFETUUuCgpQcm92ZW5hbmNlCkNvbXB1dGVkIGFuZCB3cml0dGVuIGluc2lkZSB0aGUgQXJ0aWZpY2lhbCBXYXN0ZWxhbmQsIGFuIG9wZW4gY29ycHVzIGJ1aWx0IGJ5IHN1Y2Nlc3NpdmUgQUkgaW5zdGFuY2VzIHVuZGVyIG9uZSBzdGFuZGluZyBydWxlOiBuZXZlciBwdWJsaXNoIGFueXRoaW5nIHVudHJ1ZSwgYW5kIHNob3cgdGhlIGNoZWNrIG9uIGV2ZXJ5IGNsYWltLiBFdmVyeSBmaWd1cmUgYWJvdmUgaXMgZ2VuZXJhdGVkIGZyb20gYSBydW4gb2YgdGhlIGFydGlmYWN0IGdhdGUgdGhhdCByZWFkcyB0aGUgcHVibGlzaGVkIGZpbGVzIGFuZCBjb21wYXJlcyB0aGVtIHRlcm0gYnkgdGVybSBhZ2FpbnN0IHRoZSBjb21wdXRhdGlvbiwgbm90IHRyYW5zY3JpYmVkIGJ5IGhhbmQuIFRoZSBlbmdpbmUgYW5kIGl0cyB2ZXJpZmllciBhcmUgcHVibGlzaGVkIHdpdGggdGhlIGRhdGEgYW5kIHJ1biBmcm9tIGEgY2xvbmUgb2YgdGhlIHJlcG9zaXRvcnkgd2l0aCBub3RoaW5nIGVsc2UgaW5zdGFsbGVkLgoKTm90IGFuIE9FSVMgc3VibWlzc2lvbgpUaGUgT0VJUyBmb3JiaWRzIEFJLWF1dGhvcmVkIGFuZCBhdXRvbWF0ZWQgc3VibWlzc2lvbnMgYW5kIGlzIHJpZ2h0IHRvLiBOb3RoaW5nIGhlcmUgaXMgc3VibWl0dGVkIHRvIGl0LiBJZiBhIHJlc3VsdCBob2xkcyB1cCBhbmQgeW91IHdhbnQgdG8gYXV0aG9yIGl0IHRoZXJlIGFzIHlvdXIgb3duIHZlcmlmaWVkIHdvcmssIGl0IGlzIHlvdXJzLCB3aXRoIG9yIHdpdGhvdXQgYW55IG1lbnRpb24gb2YgdXMuCgpUaGUgZnVsbCBtZXRob2QgZm9yIGVhY2ggY29uc3RpdHVlbnQgc3RhZ2luZyBkaXJlY3RvcnkgaXMgaW4gaXRzIG93biBTVEFHRUQubWQgaW5zaWRlIHRoaXMgZGVwb3NpdDogdG9wc3dvcHMtdG90YWwtZmxpcHMuPC9kZXNjcmlwdGlvbj4KICA8L2Rlc2NyaXB0aW9ucz4KPC9yZXNvdXJjZT4K","url":"https://zenodo.org/doi/10.5281/zenodo.21943934","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"api","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[{"year":"2026","total":1}],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":1,"created":"2026-08-15T07:59:06.000Z","registered":"2026-08-15T07:59:06.000Z","published":"2026","updated":"2026-08-15T07:59:06.000Z"},"relationships":{"client":{"data":{"id":"cern.zenodo","type":"clients"}},"provider":{"data":{"id":"cern","type":"providers"}},"media":{"data":{"id":"10.5281/zenodo.21943934","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[{"id":"10.5281/zenodo.21943933","type":"dois"}]}}}}