{
  "@context": "https://w3id.org/ro/crate/1.2/context",
  "@graph": [
    {
      "@id": "ro-crate-metadata.json",
      "@type": "CreativeWork",
      "about": {
        "@id": "./"
      },
      "conformsTo": {
        "@id": "https://w3id.org/ro/crate/1.2"
      }
    },
    {
      "@id": "./",
      "@type": "Dataset",
      "additionalProperty": [
        {
          "@type": "PropertyValue",
          "name": "ring",
          "value": 12
        },
        {
          "@type": "PropertyValue",
          "name": "step",
          "value": 1
        },
        {
          "@type": "PropertyValue",
          "name": "effectiveRing",
          "value": 12
        },
        {
          "@type": "PropertyValue",
          "name": "maxPerimeter",
          "value": 16
        },
        {
          "@type": "PropertyValue",
          "name": "canonicalization",
          "value": "free"
        },
        {
          "@type": "PropertyValue",
          "name": "nSequences",
          "value": 1696726440
        },
        {
          "@type": "PropertyValue",
          "name": "maxIndexedLength",
          "value": 16
        }
      ],
      "creator": [
        {
          "@id": "https://orcid.org/0000-0002-5077-7497"
        }
      ],
      "datePublished": "2026-06-07T12:10:12Z",
      "description": "Simple matchstick polygons (closed self-avoiding unit-edge polygons) on the cyclotomic ring Z[zeta_12], with perimeter <= 16, canonicalized by free (full dihedral) symmetry. Contains 1696726440 sequences. Self-describing tilezz-rat-dafsa-blocks asset (schemas alongside).",
      "distribution": {
        "@type": "DataDownload",
        "contentSize": "16543",
        "contentUrl": "block_index.json",
        "encodingFormat": "application/json"
      },
      "hasPart": [
        {
          "@id": "README.md"
        },
        {
          "@id": "block_index.json"
        },
        {
          "@id": "blocks/04847d77e250e8765741dae42b51bbd589fa38314320a28d8521e92e8bf1e62a.bin"
        },
        {
          "@id": "blocks/05445f2c8784f10e42a1a42685f1b55ce858f49682da0418ebdc4ba10bb7b6a5.bin"
        },
        {
          "@id": "blocks/0c9ce60d9c4194c3dcf66dcd38d8759c8c932dc85682957df46a5a3d75644624.bin"
        },
        {
          "@id": "blocks/0cb8d0e1b1a160f9e7216e7e371eaa40d3bc3b9008bc399659f9a7ed46a15cec.bin"
        },
        {
          "@id": "blocks/10336a2ce37b233bd298a58c0450f6604600125f30b8f40f49fb49d477849552.bin"
        },
        {
          "@id": "blocks/1671cded145ad16061df46e5a65e9b2414ac727229ed540aca1093badec710c2.bin"
        },
        {
          "@id": "blocks/189fb38037db1654eece5a701a15b8bc41da42db28c222297b1a5c852bd1ea66.bin"
        },
        {
          "@id": "blocks/19667e5fddaa675827946cf77a589538d1e3d269996918c12660062ecf41f4e8.bin"
        },
        {
          "@id": "blocks/1a69f8c94e7b362e00acbb117e4947ebdb5dec3527a48b76c73bb8ee9f2f0d8c.bin"
        },
        {
          "@id": "blocks/1aad495096359391ab44c041ef8aeda2792e79dc16cfb7b3efe389a5fd3f3e65.bin"
        },
        {
          "@id": "blocks/1daea6d73be95de29ac635438c35eeeceeebae4dd5c8849cae61a13281b17242.bin"
        },
        {
          "@id": "blocks/1f14a1e35db59b53d6412a48caf1f76ccc4efe451466ea68e3b17a45b5dcf48c.bin"
        },
        {
          "@id": "blocks/2068d694cc022e90ce301bed89f7c8efcc8e931fde5d2defb21783229487b02a.bin"
        },
        {
          "@id": "blocks/22dabb4129c481f80953b0ba8a09f2e724948c1f92176cfb3a6b03f0115bc012.bin"
        },
        {
          "@id": "blocks/22e1933a0587afa59324b0803ff423c5a055d955c8b2e0eff4a037c5748bdd7b.bin"
        },
        {
          "@id": "blocks/28dd29d5e49743e8ad312a9f578143477e64ff4d87be3ef1ddc1be65827a3c57.bin"
        },
        {
          "@id": "blocks/297f7ec923d3277ad7442f0507a606672318d07384e64ec56f79897f86af7aff.bin"
        },
        {
          "@id": "blocks/299902df5ca956e22f7f89806376a3b3c725163fb74e35334835ac951ff09e27.bin"
        },
        {
          "@id": "blocks/2a548f5f767f4c0591a6d4df910e4c9b682bd694eeeb6a4a10fb8b7f16a18f6b.bin"
        },
        {
          "@id": "blocks/2b1af69f3e377df18328649b069969f37caf84dad56bcadd5a8c45a1712ef1fd.bin"
        },
        {
          "@id": "blocks/2b645adf62f645fec5bdda26ff3b909d275bb342f351c90d3d40d2d58825bfb1.bin"
        },
        {
          "@id": "blocks/2d65f29e17fa4b16b212c741aa524a0ea7aba34fe04230c7d7b4b055ad823672.bin"
        },
        {
          "@id": "blocks/30bc558e68dda9ebf6c62963fe16a32cb5e4eaaf3b44e50706f91c28b28cf309.bin"
        },
        {
          "@id": "blocks/31ae4c78ef7f0f0831401f4642292060a3099bafcd45a4fdae6605786cc54fc7.bin"
        },
        {
          "@id": "blocks/39d2868cd220bc7b26227f71432acfbdd0e6d879f12b118c62f3a8cc056b2150.bin"
        },
        {
          "@id": "blocks/3d2a080aca83b2d90ac293be4a2b38cd7d127c899f50a523b8a47dbdea7ba220.bin"
        },
        {
          "@id": "blocks/3df0993728af69d212ce9ed92a1ef226ff78f5bdf75670cb75ed445ff690bd98.bin"
        },
        {
          "@id": "blocks/447447ee33db9ca59ba9ad0cf593ac77ccf1c300da48663459234bb2931c8a20.bin"
        },
        {
          "@id": "blocks/47f4c30ff8074c804dd7d47da2fe57a0c28983ae9de2a1a46b1e46209f5df7fb.bin"
        },
        {
          "@id": "blocks/4bcb7b5844ef93bceadaa4ff72f0ed32d53e8938a4611587c21d45363f39b6e2.bin"
        },
        {
          "@id": "blocks/519bd08cfeaf4911388219768d663dd01630060285a3f4370278c3e4797dcc78.bin"
        },
        {
          "@id": "blocks/52936b588342316fe7dce04db4ed793429fb738c84cc0cf5b643793af443ef74.bin"
        },
        {
          "@id": "blocks/54f55ae37007b746f046239af7d06d2f833a005a6739858468d212fa685d41a2.bin"
        },
        {
          "@id": "blocks/5601014520d52a8801832fbad68919090f5b38e98d100901d770791f7bc77ee7.bin"
        },
        {
          "@id": "blocks/5c038c0951e037b3f3ad2a2372f6c61b2662aef6e783a792d105c400407a7796.bin"
        },
        {
          "@id": "blocks/5cb5c7c24f320bab1eb6c2293af6595a8f9cc4a23bedfcb54385807237cadf37.bin"
        },
        {
          "@id": "blocks/5ef56800fe585f6f16ab177b01189fb0bdf9cc67f47cc9bce0d398e7d1b9fc8d.bin"
        },
        {
          "@id": "blocks/5fb54b2de58b036d075886bb85682f6552ef490cbbab637b62ede54e7c12f9f7.bin"
        },
        {
          "@id": "blocks/614c49cd1f489363d3b7eee4abde06583aa0b6e86132a558c84ce75405ef1a8d.bin"
        },
        {
          "@id": "blocks/61e9744f8af70765e5b7c1dc123e5fc35e5ee2e40e09229f5df5a10285896c5d.bin"
        },
        {
          "@id": "blocks/62cbe1159f6b885726b69f5c22f206911e430924800b3e55ed6db35da604f931.bin"
        },
        {
          "@id": "blocks/640016460eace548009b463434ef8bde33924b42344e174429f69a7729151ed8.bin"
        },
        {
          "@id": "blocks/661d0859953cc96ee7543d854507a034c5e22c515404058e247eeedfd3fc78d6.bin"
        },
        {
          "@id": "blocks/6d4338d56dff77af9c7a69a61563d7e3c0b2d3601bb7aa391d3b16939e661650.bin"
        },
        {
          "@id": "blocks/6d689c76be8d8ee4efacb074c5855429b2d6c2b3c1bef7e51c9c02250166e3ca.bin"
        },
        {
          "@id": "blocks/6e0b4130b9823712bac8cc38aad9fa62de7ab5faad276b16888437a3cd3b9e3e.bin"
        },
        {
          "@id": "blocks/74eb1cfc861b879ae7ada199b72a0569e4fdfa92ec99c6d27c237c45734273c5.bin"
        },
        {
          "@id": "blocks/751bb685cde601a12cfe295fe1c3de8ef4398b8adbe40a034af296003a4a4327.bin"
        },
        {
          "@id": "blocks/758ee7600fad63b8135286d8e511b52266f3118eb49b5cbb527eef85698050e8.bin"
        },
        {
          "@id": "blocks/75ce293b254302efcc58c0fbdfd8c33a45b55207dd94639df55884ba72d77b44.bin"
        },
        {
          "@id": "blocks/78e62943695a251bdddb634cb171a5f1bbbe0844b51121d5f36f243c366679e3.bin"
        },
        {
          "@id": "blocks/794f484f5689157b4e1b96d0e06329374b45f34e21b92db12b0ca6a8947b47eb.bin"
        },
        {
          "@id": "blocks/80d550877c884f5c3710c4608f83ed0ef1781bb8c78b2063cd97aa0417d65060.bin"
        },
        {
          "@id": "blocks/825aadfde9307f4ffdda1cc05523533361ac366ac00257e3934f42d73e05db50.bin"
        },
        {
          "@id": "blocks/82af6b252e98e92558c42bf827b129822a4ed7a815e675d56acae1b8038ba98e.bin"
        },
        {
          "@id": "blocks/832fd94448d2b70f32754018d75aeb65a608f216158961ecf3fd2f0f17607c26.bin"
        },
        {
          "@id": "blocks/86798a8e76e7abc777798a51765e5f9063d2f3fcc585aed14ac485eca18787e2.bin"
        },
        {
          "@id": "blocks/8a27c7ceb482418b715291e14a78aa1c3616bfd4ae97cde73d3d9b488b04a3a4.bin"
        },
        {
          "@id": "blocks/8dd4d951bcd72ed9c156678eed17f7e83aae56f70cd9c1128af86394f12c06b2.bin"
        },
        {
          "@id": "blocks/902a2ee4d8161f1f01c5d4cd6f80559144489acc4bb98ee9900fcd05522d8905.bin"
        },
        {
          "@id": "blocks/92eddc8db974a70b6995495eaac36e49d0d15985889bc8dbedb4712f553a3c1b.bin"
        },
        {
          "@id": "blocks/987217323578f57b4768126f5467b9dbbe4c3639804fb649a29efafdec2af589.bin"
        },
        {
          "@id": "blocks/9935c7fac5d7a8b26130be971751f7d7e29bbc982070472f381e2c7d93f2c795.bin"
        },
        {
          "@id": "blocks/9ac91d8c6b784a8ebfe810f268ad41a7add9c0cbcac71202404bffe1c4ad3263.bin"
        },
        {
          "@id": "blocks/9c0b12d072d42413cb7c5ea3a80baca5a29ce72b9694a455cd303a4736d20e22.bin"
        },
        {
          "@id": "blocks/9c65882b28e0b6c70aa95e9a35e449a6717e3ca1de505dc85bcefd2b1ecd0e71.bin"
        },
        {
          "@id": "blocks/9e1d25d470a0aa038300018423f2de17f5b6df7d2c5f718b24615af86cc2b3a5.bin"
        },
        {
          "@id": "blocks/a01188ddb47a89772dd44fff75ff9bffe1b8386bbd9e030bc074bc5fcd864c05.bin"
        },
        {
          "@id": "blocks/a073fb8e19699aa97e5518a436d9e2bd1491c4a685868a670160681c6dae619b.bin"
        },
        {
          "@id": "blocks/a18cc2864aaf6a1412a10d708c828e9f32fe2c754d6ffc0b688c4a4bd7691a12.bin"
        },
        {
          "@id": "blocks/a3577e005d3b19476b9b882b435693e6a22537803b313ad032336b16b88d3ac0.bin"
        },
        {
          "@id": "blocks/ae031d028af49ffdb77cbf4da7f9e4b27496ccd69ef5375f57169facff7c4bcf.bin"
        },
        {
          "@id": "blocks/ae3d2e1a47be8eb10e1a6a779c951d46c05e3fc4bf48b3e67e81f3a9c478fbdb.bin"
        },
        {
          "@id": "blocks/b03df0c1dabbd0cc88f03f230ecdf8a61bd071e7fd7b6089f6eb88936bff73c5.bin"
        },
        {
          "@id": "blocks/b0bb22c5ba96c0d192b5c2bf0ed04c4b977728b96e23795481335cc7d8d1c13a.bin"
        },
        {
          "@id": "blocks/b65aa93b5359b70c888e387940a797777dc7bb67d86632c811de9f1bd39d6748.bin"
        },
        {
          "@id": "blocks/bbdcdb13b2dc2ec52b57000a06f2b8ee73702f5d9985b4feb4beaf79c3fb5509.bin"
        },
        {
          "@id": "blocks/bf3f2ca4d2dcce7f02f748ca4377dcb8c4e978deed1759410516cd6d1372347e.bin"
        },
        {
          "@id": "blocks/c02fe83920debf69c1da39dbbbcef522f3e233b7e706f9dcf19d32269e2f7d15.bin"
        },
        {
          "@id": "blocks/c6055d7129ce844e791f96296be4dacb56f5b5280e2a68964dde495551020d31.bin"
        },
        {
          "@id": "blocks/c85294afc1bb4f432a0f21215ebf9d57a671cb29eb8e493fa50369366b3b9cd6.bin"
        },
        {
          "@id": "blocks/c932c392136048c0dfedffd2df3c79109e61e53a21622bc81037308821410bd2.bin"
        },
        {
          "@id": "blocks/cb4d60df8219af19b525ae8fd2e9ee6eb0e17ed63a498591812dcde5d97a2050.bin"
        },
        {
          "@id": "blocks/ce92ec773535db2ff51fab2d7cbb1f81ce536eec0f3d1133e5e303b6de858fe6.bin"
        },
        {
          "@id": "blocks/d0591ff56c4ae8010212986a4b4ad13750da694eed468560a9f957cc77894ea3.bin"
        },
        {
          "@id": "blocks/d4539d537c1f8f632458b9620282d8995df8ad9c4cba6edf4acd611f91ae18e8.bin"
        },
        {
          "@id": "blocks/d4b56ff0d9969c88600bcca9efc4e6d5819a7359f84c7e473de91ce2ffe7936d.bin"
        },
        {
          "@id": "blocks/d637f0f5cb44dea679cff0350112d0b279b9130907071945f2216592c286ec13.bin"
        },
        {
          "@id": "blocks/d84f78626552dd23c4ca21f366789b87b6316ab963fe6a84c90d0c086e36fd57.bin"
        },
        {
          "@id": "blocks/dc9e8d699b4d27f027215850640b4e6171aab9a3be6239bd98459e69d9413e8d.bin"
        },
        {
          "@id": "blocks/ded971bc58e62338acde2366baa24791669250e91853bb5cf2ae937d5d7d84ae.bin"
        },
        {
          "@id": "blocks/e7cb1d3bd317ab4f0ad67d9e07ccc7c9b79a6330183b95385cde679bad2d317e.bin"
        },
        {
          "@id": "blocks/e90f4b1110831074780d5c809a61d8897a5ad76eaf98d941525726a00a474b74.bin"
        },
        {
          "@id": "blocks/eef94bdd2b0de3e9496602b9dcbba198bddca9c442d8eb469e07f5b1eacf7cbf.bin"
        },
        {
          "@id": "blocks/ef2a9db11d8cda60046fe2023e6456955ffbfe7a8ec6616a4045fede7140c58e.bin"
        },
        {
          "@id": "blocks/f0c369fe8346d5a13afff1b1079851ee7a83abd86999e7593f9df1cc728398c7.bin"
        },
        {
          "@id": "blocks/f4a865512500edca4e23f1180dfd6156a07738402cd1d7e66d155f2c04cc4a5d.bin"
        },
        {
          "@id": "blocks/f4e086ef5a6bbdd4cae8b7e9bea3509414b0288f0974500e31f844bc9c3f3270.bin"
        },
        {
          "@id": "blocks/f65d340a85d1feeabed87cc81626fffe606eeee5e5622916ba4ecb4283f14c6c.bin"
        },
        {
          "@id": "blocks/f6f6c54cd52e4b9452ad4e94e4dd189d7ee1ab86707b64d942991f5b295c094f.bin"
        },
        {
          "@id": "blocks/fa74019f8725de331746305d78430d03797669b2255596e64bd573b5d7174162.bin"
        },
        {
          "@id": "blocks/fa8bebc61f3dd5648f01d8cac043a838870849370b78bb35ba3a91ff3fd08578.bin"
        },
        {
          "@id": "blocks/ff075c457c533e50d5cb033c7f141a347815fbf426542ad64258a73919af5c67.bin"
        },
        {
          "@id": "schemas/block_index.schema.json"
        },
        {
          "@id": "schemas/blocks_schema.txt"
        },
        {
          "@id": "schemas/rat_schema.txt"
        },
        {
          "@id": "tools/count.py"
        },
        {
          "@id": "tools/decode.py"
        },
        {
          "@id": "tools/reproduce.sh"
        },
        {
          "@id": "tools/verify.rs"
        },
        {
          "@id": "tools/verify_canonical.py"
        },
        {
          "@id": "tools/verify_sha256.py"
        }
      ],
      "identifier": {
        "@type": "PropertyValue",
        "propertyID": "tilezz-dataset-id",
        "value": "tilezz-rat-zz12-n16-free"
      },
      "keywords": [
        "combinatorial enumeration",
        "self-avoiding polygon",
        "cyclotomic lattice",
        "matchstick polygon",
        "Z[zeta_12]",
        "A316192"
      ],
      "license": {
        "@id": "https://creativecommons.org/licenses/by-sa/4.0/"
      },
      "mainEntity": {
        "@id": "block_index.json"
      },
      "name": "tilezz simple matchstick polygons on Z[zeta_12], perimeter <= 16, free",
      "subjectOf": {
        "@id": "https://oeis.org/A316192"
      },
      "variableMeasured": [
        {
          "@type": "PropertyValue",
          "description": "Self-avoiding polygons by exact perimeter (index = perimeter, from 1); the base count, up to rotation and reflection.",
          "name": "free",
          "unitText": "polygons",
          "value": "0,0,1,3,4,22,69,418,2210,14024,89075,597581,4076855,28499301,202464580,1460982297"
        },
        {
          "@type": "PropertyValue",
          "description": "Up to rotation only; mirror images counted as distinct (= 2*free - achiral).",
          "name": "oneSided",
          "unitText": "polygons",
          "value": "0,0,1,3,5,33,125,766,4346,27627,177691,1192323,8150593,56978805,404907221,2921821420"
        },
        {
          "@type": "PropertyValue",
          "description": "Equal to its own mirror image.",
          "name": "achiral",
          "unitText": "polygons",
          "value": "0,0,1,3,3,11,13,70,74,421,459,2839,3117,19797,21939,143174"
        },
        {
          "@type": "PropertyValue",
          "description": "Repetition factor > 1 (nontrivial rotational symmetry).",
          "name": "rotationSymmetric",
          "unitText": "polygons",
          "value": "0,0,1,3,0,12,0,58,13,346,0,2654,0,19202,542,150528"
        },
        {
          "@type": "PropertyValue",
          "description": "Has a nontrivial symmetry: achiral OR rotationSymmetric.",
          "name": "symmetric",
          "unitText": "polygons",
          "value": "0,0,1,3,3,17,13,109,83,745,459,5331,3117,38832,22453,292571"
        },
        {
          "@type": "PropertyValue",
          "description": "All turns even -- the polygons of the order-n/2 sub-ring.",
          "name": "subring",
          "unitText": "polygons",
          "value": "0,0,1,1,1,4,5,16,37,120,344,1175,3807,13224,45645,161705"
        },
        {
          "@type": "PropertyValue",
          "description": "All turns odd -- no straight segments; even perimeter only.",
          "name": "coset",
          "unitText": "polygons",
          "value": "0,0,0,2,0,2,0,12,0,59,0,873,0,9626,0,144447"
        }
      ],
      "version": "2026-06-07"
    },
    {
      "@id": "https://creativecommons.org/licenses/by-sa/4.0/",
      "@type": "CreativeWork",
      "identifier": "CC-BY-SA-4.0",
      "name": "Creative Commons Attribution-ShareAlike 4.0 International"
    },
    {
      "@id": "https://orcid.org/0000-0002-5077-7497",
      "@type": "Person",
      "email": "apirogov@users.noreply.github.com",
      "identifier": "https://orcid.org/0000-0002-5077-7497",
      "name": "Anton Pirogov"
    },
    {
      "@id": "#tilezz",
      "@type": "SoftwareApplication",
      "codeRepository": "https://github.com/apirogov/tilezz",
      "description": "Utilities to work with perfect-precision polygonal tiles built on top of cyclotomic integer rings.",
      "downloadUrl": "https://github.com/apirogov/tilezz/archive/aea0104980c8742d828060ec03437c64b72afa18.tar.gz",
      "name": "tilezz",
      "softwareRequirements": "Rust toolchain (stable, 2024-12+); standard Cargo build prerequisites (git, C linker, pkg-config).",
      "softwareVersion": "aea0104980c8742d828060ec03437c64b72afa18",
      "url": "https://github.com/apirogov/tilezz",
      "version": "0.1.2"
    },
    {
      "@id": "#build",
      "@type": "CreateAction",
      "description": "Produced by: ./target/release/rat_enum --ring 12 -n 16 --free --oeis-a-number A316192 --mode stream --threads 16 -o tilezz-rat-zz12-n16-free-pipeline && ./target/release/rat_enum --ring 12 -n 16 --free --oeis-a-number A316192 --mode merge -o tilezz-rat-zz12-n16-free-pipeline && ./target/release/rat_enum --ring 12 -n 16 --free --oeis-a-number A316192 --mode build --target-block-bytes 4194304 -o tilezz-rat-zz12-n16-free-pipeline && mv tilezz-rat-zz12-n16-free-pipeline/dafsa tilezz-rat-zz12-n16-free\nReproduce: bash tools/reproduce.sh (in this directory). See README.md for context.",
      "endTime": "2026-06-07T12:10:12Z",
      "instrument": {
        "@id": "#tilezz"
      },
      "name": "Generate tilezz-rat-zz12-n16-free",
      "result": [
        {
          "@id": "README.md"
        },
        {
          "@id": "block_index.json"
        },
        {
          "@id": "blocks/04847d77e250e8765741dae42b51bbd589fa38314320a28d8521e92e8bf1e62a.bin"
        },
        {
          "@id": "blocks/05445f2c8784f10e42a1a42685f1b55ce858f49682da0418ebdc4ba10bb7b6a5.bin"
        },
        {
          "@id": "blocks/0c9ce60d9c4194c3dcf66dcd38d8759c8c932dc85682957df46a5a3d75644624.bin"
        },
        {
          "@id": "blocks/0cb8d0e1b1a160f9e7216e7e371eaa40d3bc3b9008bc399659f9a7ed46a15cec.bin"
        },
        {
          "@id": "blocks/10336a2ce37b233bd298a58c0450f6604600125f30b8f40f49fb49d477849552.bin"
        },
        {
          "@id": "blocks/1671cded145ad16061df46e5a65e9b2414ac727229ed540aca1093badec710c2.bin"
        },
        {
          "@id": "blocks/189fb38037db1654eece5a701a15b8bc41da42db28c222297b1a5c852bd1ea66.bin"
        },
        {
          "@id": "blocks/19667e5fddaa675827946cf77a589538d1e3d269996918c12660062ecf41f4e8.bin"
        },
        {
          "@id": "blocks/1a69f8c94e7b362e00acbb117e4947ebdb5dec3527a48b76c73bb8ee9f2f0d8c.bin"
        },
        {
          "@id": "blocks/1aad495096359391ab44c041ef8aeda2792e79dc16cfb7b3efe389a5fd3f3e65.bin"
        },
        {
          "@id": "blocks/1daea6d73be95de29ac635438c35eeeceeebae4dd5c8849cae61a13281b17242.bin"
        },
        {
          "@id": "blocks/1f14a1e35db59b53d6412a48caf1f76ccc4efe451466ea68e3b17a45b5dcf48c.bin"
        },
        {
          "@id": "blocks/2068d694cc022e90ce301bed89f7c8efcc8e931fde5d2defb21783229487b02a.bin"
        },
        {
          "@id": "blocks/22dabb4129c481f80953b0ba8a09f2e724948c1f92176cfb3a6b03f0115bc012.bin"
        },
        {
          "@id": "blocks/22e1933a0587afa59324b0803ff423c5a055d955c8b2e0eff4a037c5748bdd7b.bin"
        },
        {
          "@id": "blocks/28dd29d5e49743e8ad312a9f578143477e64ff4d87be3ef1ddc1be65827a3c57.bin"
        },
        {
          "@id": "blocks/297f7ec923d3277ad7442f0507a606672318d07384e64ec56f79897f86af7aff.bin"
        },
        {
          "@id": "blocks/299902df5ca956e22f7f89806376a3b3c725163fb74e35334835ac951ff09e27.bin"
        },
        {
          "@id": "blocks/2a548f5f767f4c0591a6d4df910e4c9b682bd694eeeb6a4a10fb8b7f16a18f6b.bin"
        },
        {
          "@id": "blocks/2b1af69f3e377df18328649b069969f37caf84dad56bcadd5a8c45a1712ef1fd.bin"
        },
        {
          "@id": "blocks/2b645adf62f645fec5bdda26ff3b909d275bb342f351c90d3d40d2d58825bfb1.bin"
        },
        {
          "@id": "blocks/2d65f29e17fa4b16b212c741aa524a0ea7aba34fe04230c7d7b4b055ad823672.bin"
        },
        {
          "@id": "blocks/30bc558e68dda9ebf6c62963fe16a32cb5e4eaaf3b44e50706f91c28b28cf309.bin"
        },
        {
          "@id": "blocks/31ae4c78ef7f0f0831401f4642292060a3099bafcd45a4fdae6605786cc54fc7.bin"
        },
        {
          "@id": "blocks/39d2868cd220bc7b26227f71432acfbdd0e6d879f12b118c62f3a8cc056b2150.bin"
        },
        {
          "@id": "blocks/3d2a080aca83b2d90ac293be4a2b38cd7d127c899f50a523b8a47dbdea7ba220.bin"
        },
        {
          "@id": "blocks/3df0993728af69d212ce9ed92a1ef226ff78f5bdf75670cb75ed445ff690bd98.bin"
        },
        {
          "@id": "blocks/447447ee33db9ca59ba9ad0cf593ac77ccf1c300da48663459234bb2931c8a20.bin"
        },
        {
          "@id": "blocks/47f4c30ff8074c804dd7d47da2fe57a0c28983ae9de2a1a46b1e46209f5df7fb.bin"
        },
        {
          "@id": "blocks/4bcb7b5844ef93bceadaa4ff72f0ed32d53e8938a4611587c21d45363f39b6e2.bin"
        },
        {
          "@id": "blocks/519bd08cfeaf4911388219768d663dd01630060285a3f4370278c3e4797dcc78.bin"
        },
        {
          "@id": "blocks/52936b588342316fe7dce04db4ed793429fb738c84cc0cf5b643793af443ef74.bin"
        },
        {
          "@id": "blocks/54f55ae37007b746f046239af7d06d2f833a005a6739858468d212fa685d41a2.bin"
        },
        {
          "@id": "blocks/5601014520d52a8801832fbad68919090f5b38e98d100901d770791f7bc77ee7.bin"
        },
        {
          "@id": "blocks/5c038c0951e037b3f3ad2a2372f6c61b2662aef6e783a792d105c400407a7796.bin"
        },
        {
          "@id": "blocks/5cb5c7c24f320bab1eb6c2293af6595a8f9cc4a23bedfcb54385807237cadf37.bin"
        },
        {
          "@id": "blocks/5ef56800fe585f6f16ab177b01189fb0bdf9cc67f47cc9bce0d398e7d1b9fc8d.bin"
        },
        {
          "@id": "blocks/5fb54b2de58b036d075886bb85682f6552ef490cbbab637b62ede54e7c12f9f7.bin"
        },
        {
          "@id": "blocks/614c49cd1f489363d3b7eee4abde06583aa0b6e86132a558c84ce75405ef1a8d.bin"
        },
        {
          "@id": "blocks/61e9744f8af70765e5b7c1dc123e5fc35e5ee2e40e09229f5df5a10285896c5d.bin"
        },
        {
          "@id": "blocks/62cbe1159f6b885726b69f5c22f206911e430924800b3e55ed6db35da604f931.bin"
        },
        {
          "@id": "blocks/640016460eace548009b463434ef8bde33924b42344e174429f69a7729151ed8.bin"
        },
        {
          "@id": "blocks/661d0859953cc96ee7543d854507a034c5e22c515404058e247eeedfd3fc78d6.bin"
        },
        {
          "@id": "blocks/6d4338d56dff77af9c7a69a61563d7e3c0b2d3601bb7aa391d3b16939e661650.bin"
        },
        {
          "@id": "blocks/6d689c76be8d8ee4efacb074c5855429b2d6c2b3c1bef7e51c9c02250166e3ca.bin"
        },
        {
          "@id": "blocks/6e0b4130b9823712bac8cc38aad9fa62de7ab5faad276b16888437a3cd3b9e3e.bin"
        },
        {
          "@id": "blocks/74eb1cfc861b879ae7ada199b72a0569e4fdfa92ec99c6d27c237c45734273c5.bin"
        },
        {
          "@id": "blocks/751bb685cde601a12cfe295fe1c3de8ef4398b8adbe40a034af296003a4a4327.bin"
        },
        {
          "@id": "blocks/758ee7600fad63b8135286d8e511b52266f3118eb49b5cbb527eef85698050e8.bin"
        },
        {
          "@id": "blocks/75ce293b254302efcc58c0fbdfd8c33a45b55207dd94639df55884ba72d77b44.bin"
        },
        {
          "@id": "blocks/78e62943695a251bdddb634cb171a5f1bbbe0844b51121d5f36f243c366679e3.bin"
        },
        {
          "@id": "blocks/794f484f5689157b4e1b96d0e06329374b45f34e21b92db12b0ca6a8947b47eb.bin"
        },
        {
          "@id": "blocks/80d550877c884f5c3710c4608f83ed0ef1781bb8c78b2063cd97aa0417d65060.bin"
        },
        {
          "@id": "blocks/825aadfde9307f4ffdda1cc05523533361ac366ac00257e3934f42d73e05db50.bin"
        },
        {
          "@id": "blocks/82af6b252e98e92558c42bf827b129822a4ed7a815e675d56acae1b8038ba98e.bin"
        },
        {
          "@id": "blocks/832fd94448d2b70f32754018d75aeb65a608f216158961ecf3fd2f0f17607c26.bin"
        },
        {
          "@id": "blocks/86798a8e76e7abc777798a51765e5f9063d2f3fcc585aed14ac485eca18787e2.bin"
        },
        {
          "@id": "blocks/8a27c7ceb482418b715291e14a78aa1c3616bfd4ae97cde73d3d9b488b04a3a4.bin"
        },
        {
          "@id": "blocks/8dd4d951bcd72ed9c156678eed17f7e83aae56f70cd9c1128af86394f12c06b2.bin"
        },
        {
          "@id": "blocks/902a2ee4d8161f1f01c5d4cd6f80559144489acc4bb98ee9900fcd05522d8905.bin"
        },
        {
          "@id": "blocks/92eddc8db974a70b6995495eaac36e49d0d15985889bc8dbedb4712f553a3c1b.bin"
        },
        {
          "@id": "blocks/987217323578f57b4768126f5467b9dbbe4c3639804fb649a29efafdec2af589.bin"
        },
        {
          "@id": "blocks/9935c7fac5d7a8b26130be971751f7d7e29bbc982070472f381e2c7d93f2c795.bin"
        },
        {
          "@id": "blocks/9ac91d8c6b784a8ebfe810f268ad41a7add9c0cbcac71202404bffe1c4ad3263.bin"
        },
        {
          "@id": "blocks/9c0b12d072d42413cb7c5ea3a80baca5a29ce72b9694a455cd303a4736d20e22.bin"
        },
        {
          "@id": "blocks/9c65882b28e0b6c70aa95e9a35e449a6717e3ca1de505dc85bcefd2b1ecd0e71.bin"
        },
        {
          "@id": "blocks/9e1d25d470a0aa038300018423f2de17f5b6df7d2c5f718b24615af86cc2b3a5.bin"
        },
        {
          "@id": "blocks/a01188ddb47a89772dd44fff75ff9bffe1b8386bbd9e030bc074bc5fcd864c05.bin"
        },
        {
          "@id": "blocks/a073fb8e19699aa97e5518a436d9e2bd1491c4a685868a670160681c6dae619b.bin"
        },
        {
          "@id": "blocks/a18cc2864aaf6a1412a10d708c828e9f32fe2c754d6ffc0b688c4a4bd7691a12.bin"
        },
        {
          "@id": "blocks/a3577e005d3b19476b9b882b435693e6a22537803b313ad032336b16b88d3ac0.bin"
        },
        {
          "@id": "blocks/ae031d028af49ffdb77cbf4da7f9e4b27496ccd69ef5375f57169facff7c4bcf.bin"
        },
        {
          "@id": "blocks/ae3d2e1a47be8eb10e1a6a779c951d46c05e3fc4bf48b3e67e81f3a9c478fbdb.bin"
        },
        {
          "@id": "blocks/b03df0c1dabbd0cc88f03f230ecdf8a61bd071e7fd7b6089f6eb88936bff73c5.bin"
        },
        {
          "@id": "blocks/b0bb22c5ba96c0d192b5c2bf0ed04c4b977728b96e23795481335cc7d8d1c13a.bin"
        },
        {
          "@id": "blocks/b65aa93b5359b70c888e387940a797777dc7bb67d86632c811de9f1bd39d6748.bin"
        },
        {
          "@id": "blocks/bbdcdb13b2dc2ec52b57000a06f2b8ee73702f5d9985b4feb4beaf79c3fb5509.bin"
        },
        {
          "@id": "blocks/bf3f2ca4d2dcce7f02f748ca4377dcb8c4e978deed1759410516cd6d1372347e.bin"
        },
        {
          "@id": "blocks/c02fe83920debf69c1da39dbbbcef522f3e233b7e706f9dcf19d32269e2f7d15.bin"
        },
        {
          "@id": "blocks/c6055d7129ce844e791f96296be4dacb56f5b5280e2a68964dde495551020d31.bin"
        },
        {
          "@id": "blocks/c85294afc1bb4f432a0f21215ebf9d57a671cb29eb8e493fa50369366b3b9cd6.bin"
        },
        {
          "@id": "blocks/c932c392136048c0dfedffd2df3c79109e61e53a21622bc81037308821410bd2.bin"
        },
        {
          "@id": "blocks/cb4d60df8219af19b525ae8fd2e9ee6eb0e17ed63a498591812dcde5d97a2050.bin"
        },
        {
          "@id": "blocks/ce92ec773535db2ff51fab2d7cbb1f81ce536eec0f3d1133e5e303b6de858fe6.bin"
        },
        {
          "@id": "blocks/d0591ff56c4ae8010212986a4b4ad13750da694eed468560a9f957cc77894ea3.bin"
        },
        {
          "@id": "blocks/d4539d537c1f8f632458b9620282d8995df8ad9c4cba6edf4acd611f91ae18e8.bin"
        },
        {
          "@id": "blocks/d4b56ff0d9969c88600bcca9efc4e6d5819a7359f84c7e473de91ce2ffe7936d.bin"
        },
        {
          "@id": "blocks/d637f0f5cb44dea679cff0350112d0b279b9130907071945f2216592c286ec13.bin"
        },
        {
          "@id": "blocks/d84f78626552dd23c4ca21f366789b87b6316ab963fe6a84c90d0c086e36fd57.bin"
        },
        {
          "@id": "blocks/dc9e8d699b4d27f027215850640b4e6171aab9a3be6239bd98459e69d9413e8d.bin"
        },
        {
          "@id": "blocks/ded971bc58e62338acde2366baa24791669250e91853bb5cf2ae937d5d7d84ae.bin"
        },
        {
          "@id": "blocks/e7cb1d3bd317ab4f0ad67d9e07ccc7c9b79a6330183b95385cde679bad2d317e.bin"
        },
        {
          "@id": "blocks/e90f4b1110831074780d5c809a61d8897a5ad76eaf98d941525726a00a474b74.bin"
        },
        {
          "@id": "blocks/eef94bdd2b0de3e9496602b9dcbba198bddca9c442d8eb469e07f5b1eacf7cbf.bin"
        },
        {
          "@id": "blocks/ef2a9db11d8cda60046fe2023e6456955ffbfe7a8ec6616a4045fede7140c58e.bin"
        },
        {
          "@id": "blocks/f0c369fe8346d5a13afff1b1079851ee7a83abd86999e7593f9df1cc728398c7.bin"
        },
        {
          "@id": "blocks/f4a865512500edca4e23f1180dfd6156a07738402cd1d7e66d155f2c04cc4a5d.bin"
        },
        {
          "@id": "blocks/f4e086ef5a6bbdd4cae8b7e9bea3509414b0288f0974500e31f844bc9c3f3270.bin"
        },
        {
          "@id": "blocks/f65d340a85d1feeabed87cc81626fffe606eeee5e5622916ba4ecb4283f14c6c.bin"
        },
        {
          "@id": "blocks/f6f6c54cd52e4b9452ad4e94e4dd189d7ee1ab86707b64d942991f5b295c094f.bin"
        },
        {
          "@id": "blocks/fa74019f8725de331746305d78430d03797669b2255596e64bd573b5d7174162.bin"
        },
        {
          "@id": "blocks/fa8bebc61f3dd5648f01d8cac043a838870849370b78bb35ba3a91ff3fd08578.bin"
        },
        {
          "@id": "blocks/ff075c457c533e50d5cb033c7f141a347815fbf426542ad64258a73919af5c67.bin"
        },
        {
          "@id": "tools/count.py"
        },
        {
          "@id": "tools/decode.py"
        },
        {
          "@id": "tools/reproduce.sh"
        },
        {
          "@id": "tools/verify.rs"
        },
        {
          "@id": "tools/verify_canonical.py"
        },
        {
          "@id": "tools/verify_sha256.py"
        }
      ]
    },
    {
      "@id": "https://oeis.org/A316192",
      "@type": "CreativeWork",
      "identifier": "A316192",
      "name": "OEIS A316192",
      "url": "https://oeis.org/A316192"
    },
    {
      "@id": "README.md",
      "@type": "File",
      "contentSize": "4294",
      "description": "Human-readable entry point: dataset overview, author and copyright notice, CC-BY-SA 4.0 license summary, contents map, reproduction recipe (repo URL, exact commit, CLI invocation), and a SHA-256 verification snippet.",
      "encodingFormat": "text/markdown",
      "name": "README.md",
      "sha256": "b944d78c268fdea9f5438b20d7ec5ce4eb5e837db5ad81e2447e05f29738c121"
    },
    {
      "@id": "block_index.json",
      "@type": "File",
      "conformsTo": [
        {
          "@id": "schemas/block_index.schema.json"
        },
        {
          "@id": "schemas/blocks_schema.txt"
        }
      ],
      "contentSize": "16543",
      "description": "Manifest for the tilezz-rat-dafsa-blocks asset (state / edge counts, root state record, content-addressed block index).",
      "encodingFormat": "application/json",
      "name": "block_index.json",
      "sha256": "93ddec8ada2647f9e6ba115fd35499e660e0141ebcb8b53739e6503ece0ceef6"
    },
    {
      "@id": "blocks/04847d77e250e8765741dae42b51bbd589fa38314320a28d8521e92e8bf1e62a.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1385913",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "04847d77e250e8765741dae42b51bbd589fa38314320a28d8521e92e8bf1e62a"
    },
    {
      "@id": "blocks/05445f2c8784f10e42a1a42685f1b55ce858f49682da0418ebdc4ba10bb7b6a5.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1325215",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "05445f2c8784f10e42a1a42685f1b55ce858f49682da0418ebdc4ba10bb7b6a5"
    },
    {
      "@id": "blocks/0c9ce60d9c4194c3dcf66dcd38d8759c8c932dc85682957df46a5a3d75644624.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1314666",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "0c9ce60d9c4194c3dcf66dcd38d8759c8c932dc85682957df46a5a3d75644624"
    },
    {
      "@id": "blocks/0cb8d0e1b1a160f9e7216e7e371eaa40d3bc3b9008bc399659f9a7ed46a15cec.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1267782",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "0cb8d0e1b1a160f9e7216e7e371eaa40d3bc3b9008bc399659f9a7ed46a15cec"
    },
    {
      "@id": "blocks/10336a2ce37b233bd298a58c0450f6604600125f30b8f40f49fb49d477849552.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1220513",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "10336a2ce37b233bd298a58c0450f6604600125f30b8f40f49fb49d477849552"
    },
    {
      "@id": "blocks/1671cded145ad16061df46e5a65e9b2414ac727229ed540aca1093badec710c2.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1323682",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "1671cded145ad16061df46e5a65e9b2414ac727229ed540aca1093badec710c2"
    },
    {
      "@id": "blocks/189fb38037db1654eece5a701a15b8bc41da42db28c222297b1a5c852bd1ea66.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1250746",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "189fb38037db1654eece5a701a15b8bc41da42db28c222297b1a5c852bd1ea66"
    },
    {
      "@id": "blocks/19667e5fddaa675827946cf77a589538d1e3d269996918c12660062ecf41f4e8.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1345646",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "19667e5fddaa675827946cf77a589538d1e3d269996918c12660062ecf41f4e8"
    },
    {
      "@id": "blocks/1a69f8c94e7b362e00acbb117e4947ebdb5dec3527a48b76c73bb8ee9f2f0d8c.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1286210",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "1a69f8c94e7b362e00acbb117e4947ebdb5dec3527a48b76c73bb8ee9f2f0d8c"
    },
    {
      "@id": "blocks/1aad495096359391ab44c041ef8aeda2792e79dc16cfb7b3efe389a5fd3f3e65.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1379530",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "1aad495096359391ab44c041ef8aeda2792e79dc16cfb7b3efe389a5fd3f3e65"
    },
    {
      "@id": "blocks/1daea6d73be95de29ac635438c35eeeceeebae4dd5c8849cae61a13281b17242.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1367233",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "1daea6d73be95de29ac635438c35eeeceeebae4dd5c8849cae61a13281b17242"
    },
    {
      "@id": "blocks/1f14a1e35db59b53d6412a48caf1f76ccc4efe451466ea68e3b17a45b5dcf48c.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1319317",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "1f14a1e35db59b53d6412a48caf1f76ccc4efe451466ea68e3b17a45b5dcf48c"
    },
    {
      "@id": "blocks/2068d694cc022e90ce301bed89f7c8efcc8e931fde5d2defb21783229487b02a.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1348804",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "2068d694cc022e90ce301bed89f7c8efcc8e931fde5d2defb21783229487b02a"
    },
    {
      "@id": "blocks/22dabb4129c481f80953b0ba8a09f2e724948c1f92176cfb3a6b03f0115bc012.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1345615",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "22dabb4129c481f80953b0ba8a09f2e724948c1f92176cfb3a6b03f0115bc012"
    },
    {
      "@id": "blocks/22e1933a0587afa59324b0803ff423c5a055d955c8b2e0eff4a037c5748bdd7b.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1278347",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "22e1933a0587afa59324b0803ff423c5a055d955c8b2e0eff4a037c5748bdd7b"
    },
    {
      "@id": "blocks/28dd29d5e49743e8ad312a9f578143477e64ff4d87be3ef1ddc1be65827a3c57.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1361186",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "28dd29d5e49743e8ad312a9f578143477e64ff4d87be3ef1ddc1be65827a3c57"
    },
    {
      "@id": "blocks/297f7ec923d3277ad7442f0507a606672318d07384e64ec56f79897f86af7aff.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1348753",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "297f7ec923d3277ad7442f0507a606672318d07384e64ec56f79897f86af7aff"
    },
    {
      "@id": "blocks/299902df5ca956e22f7f89806376a3b3c725163fb74e35334835ac951ff09e27.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "578468",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "299902df5ca956e22f7f89806376a3b3c725163fb74e35334835ac951ff09e27"
    },
    {
      "@id": "blocks/2a548f5f767f4c0591a6d4df910e4c9b682bd694eeeb6a4a10fb8b7f16a18f6b.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1350467",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "2a548f5f767f4c0591a6d4df910e4c9b682bd694eeeb6a4a10fb8b7f16a18f6b"
    },
    {
      "@id": "blocks/2b1af69f3e377df18328649b069969f37caf84dad56bcadd5a8c45a1712ef1fd.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1292448",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "2b1af69f3e377df18328649b069969f37caf84dad56bcadd5a8c45a1712ef1fd"
    },
    {
      "@id": "blocks/2b645adf62f645fec5bdda26ff3b909d275bb342f351c90d3d40d2d58825bfb1.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1373232",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "2b645adf62f645fec5bdda26ff3b909d275bb342f351c90d3d40d2d58825bfb1"
    },
    {
      "@id": "blocks/2d65f29e17fa4b16b212c741aa524a0ea7aba34fe04230c7d7b4b055ad823672.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1251254",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "2d65f29e17fa4b16b212c741aa524a0ea7aba34fe04230c7d7b4b055ad823672"
    },
    {
      "@id": "blocks/30bc558e68dda9ebf6c62963fe16a32cb5e4eaaf3b44e50706f91c28b28cf309.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1334916",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "30bc558e68dda9ebf6c62963fe16a32cb5e4eaaf3b44e50706f91c28b28cf309"
    },
    {
      "@id": "blocks/31ae4c78ef7f0f0831401f4642292060a3099bafcd45a4fdae6605786cc54fc7.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1386927",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "31ae4c78ef7f0f0831401f4642292060a3099bafcd45a4fdae6605786cc54fc7"
    },
    {
      "@id": "blocks/39d2868cd220bc7b26227f71432acfbdd0e6d879f12b118c62f3a8cc056b2150.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1382587",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "39d2868cd220bc7b26227f71432acfbdd0e6d879f12b118c62f3a8cc056b2150"
    },
    {
      "@id": "blocks/3d2a080aca83b2d90ac293be4a2b38cd7d127c899f50a523b8a47dbdea7ba220.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1327831",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "3d2a080aca83b2d90ac293be4a2b38cd7d127c899f50a523b8a47dbdea7ba220"
    },
    {
      "@id": "blocks/3df0993728af69d212ce9ed92a1ef226ff78f5bdf75670cb75ed445ff690bd98.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1369863",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "3df0993728af69d212ce9ed92a1ef226ff78f5bdf75670cb75ed445ff690bd98"
    },
    {
      "@id": "blocks/447447ee33db9ca59ba9ad0cf593ac77ccf1c300da48663459234bb2931c8a20.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1387684",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "447447ee33db9ca59ba9ad0cf593ac77ccf1c300da48663459234bb2931c8a20"
    },
    {
      "@id": "blocks/47f4c30ff8074c804dd7d47da2fe57a0c28983ae9de2a1a46b1e46209f5df7fb.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1310045",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "47f4c30ff8074c804dd7d47da2fe57a0c28983ae9de2a1a46b1e46209f5df7fb"
    },
    {
      "@id": "blocks/4bcb7b5844ef93bceadaa4ff72f0ed32d53e8938a4611587c21d45363f39b6e2.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1371230",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "4bcb7b5844ef93bceadaa4ff72f0ed32d53e8938a4611587c21d45363f39b6e2"
    },
    {
      "@id": "blocks/519bd08cfeaf4911388219768d663dd01630060285a3f4370278c3e4797dcc78.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1325835",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "519bd08cfeaf4911388219768d663dd01630060285a3f4370278c3e4797dcc78"
    },
    {
      "@id": "blocks/52936b588342316fe7dce04db4ed793429fb738c84cc0cf5b643793af443ef74.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1306181",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "52936b588342316fe7dce04db4ed793429fb738c84cc0cf5b643793af443ef74"
    },
    {
      "@id": "blocks/54f55ae37007b746f046239af7d06d2f833a005a6739858468d212fa685d41a2.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1313296",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "54f55ae37007b746f046239af7d06d2f833a005a6739858468d212fa685d41a2"
    },
    {
      "@id": "blocks/5601014520d52a8801832fbad68919090f5b38e98d100901d770791f7bc77ee7.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1367850",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "5601014520d52a8801832fbad68919090f5b38e98d100901d770791f7bc77ee7"
    },
    {
      "@id": "blocks/5c038c0951e037b3f3ad2a2372f6c61b2662aef6e783a792d105c400407a7796.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1199575",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "5c038c0951e037b3f3ad2a2372f6c61b2662aef6e783a792d105c400407a7796"
    },
    {
      "@id": "blocks/5cb5c7c24f320bab1eb6c2293af6595a8f9cc4a23bedfcb54385807237cadf37.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1385487",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "5cb5c7c24f320bab1eb6c2293af6595a8f9cc4a23bedfcb54385807237cadf37"
    },
    {
      "@id": "blocks/5ef56800fe585f6f16ab177b01189fb0bdf9cc67f47cc9bce0d398e7d1b9fc8d.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1346116",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "5ef56800fe585f6f16ab177b01189fb0bdf9cc67f47cc9bce0d398e7d1b9fc8d"
    },
    {
      "@id": "blocks/5fb54b2de58b036d075886bb85682f6552ef490cbbab637b62ede54e7c12f9f7.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1373893",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "5fb54b2de58b036d075886bb85682f6552ef490cbbab637b62ede54e7c12f9f7"
    },
    {
      "@id": "blocks/614c49cd1f489363d3b7eee4abde06583aa0b6e86132a558c84ce75405ef1a8d.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1395501",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "614c49cd1f489363d3b7eee4abde06583aa0b6e86132a558c84ce75405ef1a8d"
    },
    {
      "@id": "blocks/61e9744f8af70765e5b7c1dc123e5fc35e5ee2e40e09229f5df5a10285896c5d.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1288350",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "61e9744f8af70765e5b7c1dc123e5fc35e5ee2e40e09229f5df5a10285896c5d"
    },
    {
      "@id": "blocks/62cbe1159f6b885726b69f5c22f206911e430924800b3e55ed6db35da604f931.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1345489",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "62cbe1159f6b885726b69f5c22f206911e430924800b3e55ed6db35da604f931"
    },
    {
      "@id": "blocks/640016460eace548009b463434ef8bde33924b42344e174429f69a7729151ed8.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1237693",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "640016460eace548009b463434ef8bde33924b42344e174429f69a7729151ed8"
    },
    {
      "@id": "blocks/661d0859953cc96ee7543d854507a034c5e22c515404058e247eeedfd3fc78d6.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1338384",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "661d0859953cc96ee7543d854507a034c5e22c515404058e247eeedfd3fc78d6"
    },
    {
      "@id": "blocks/6d4338d56dff77af9c7a69a61563d7e3c0b2d3601bb7aa391d3b16939e661650.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1306470",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "6d4338d56dff77af9c7a69a61563d7e3c0b2d3601bb7aa391d3b16939e661650"
    },
    {
      "@id": "blocks/6d689c76be8d8ee4efacb074c5855429b2d6c2b3c1bef7e51c9c02250166e3ca.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1384244",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "6d689c76be8d8ee4efacb074c5855429b2d6c2b3c1bef7e51c9c02250166e3ca"
    },
    {
      "@id": "blocks/6e0b4130b9823712bac8cc38aad9fa62de7ab5faad276b16888437a3cd3b9e3e.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1385326",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "6e0b4130b9823712bac8cc38aad9fa62de7ab5faad276b16888437a3cd3b9e3e"
    },
    {
      "@id": "blocks/74eb1cfc861b879ae7ada199b72a0569e4fdfa92ec99c6d27c237c45734273c5.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1385525",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "74eb1cfc861b879ae7ada199b72a0569e4fdfa92ec99c6d27c237c45734273c5"
    },
    {
      "@id": "blocks/751bb685cde601a12cfe295fe1c3de8ef4398b8adbe40a034af296003a4a4327.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1264596",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "751bb685cde601a12cfe295fe1c3de8ef4398b8adbe40a034af296003a4a4327"
    },
    {
      "@id": "blocks/758ee7600fad63b8135286d8e511b52266f3118eb49b5cbb527eef85698050e8.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1293990",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "758ee7600fad63b8135286d8e511b52266f3118eb49b5cbb527eef85698050e8"
    },
    {
      "@id": "blocks/75ce293b254302efcc58c0fbdfd8c33a45b55207dd94639df55884ba72d77b44.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1346317",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "75ce293b254302efcc58c0fbdfd8c33a45b55207dd94639df55884ba72d77b44"
    },
    {
      "@id": "blocks/78e62943695a251bdddb634cb171a5f1bbbe0844b51121d5f36f243c366679e3.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1366543",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "78e62943695a251bdddb634cb171a5f1bbbe0844b51121d5f36f243c366679e3"
    },
    {
      "@id": "blocks/794f484f5689157b4e1b96d0e06329374b45f34e21b92db12b0ca6a8947b47eb.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1316053",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "794f484f5689157b4e1b96d0e06329374b45f34e21b92db12b0ca6a8947b47eb"
    },
    {
      "@id": "blocks/80d550877c884f5c3710c4608f83ed0ef1781bb8c78b2063cd97aa0417d65060.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1374602",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "80d550877c884f5c3710c4608f83ed0ef1781bb8c78b2063cd97aa0417d65060"
    },
    {
      "@id": "blocks/825aadfde9307f4ffdda1cc05523533361ac366ac00257e3934f42d73e05db50.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1269386",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "825aadfde9307f4ffdda1cc05523533361ac366ac00257e3934f42d73e05db50"
    },
    {
      "@id": "blocks/82af6b252e98e92558c42bf827b129822a4ed7a815e675d56acae1b8038ba98e.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1335778",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "82af6b252e98e92558c42bf827b129822a4ed7a815e675d56acae1b8038ba98e"
    },
    {
      "@id": "blocks/832fd94448d2b70f32754018d75aeb65a608f216158961ecf3fd2f0f17607c26.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1332548",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "832fd94448d2b70f32754018d75aeb65a608f216158961ecf3fd2f0f17607c26"
    },
    {
      "@id": "blocks/86798a8e76e7abc777798a51765e5f9063d2f3fcc585aed14ac485eca18787e2.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1351016",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "86798a8e76e7abc777798a51765e5f9063d2f3fcc585aed14ac485eca18787e2"
    },
    {
      "@id": "blocks/8a27c7ceb482418b715291e14a78aa1c3616bfd4ae97cde73d3d9b488b04a3a4.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1375305",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "8a27c7ceb482418b715291e14a78aa1c3616bfd4ae97cde73d3d9b488b04a3a4"
    },
    {
      "@id": "blocks/8dd4d951bcd72ed9c156678eed17f7e83aae56f70cd9c1128af86394f12c06b2.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1383634",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "8dd4d951bcd72ed9c156678eed17f7e83aae56f70cd9c1128af86394f12c06b2"
    },
    {
      "@id": "blocks/902a2ee4d8161f1f01c5d4cd6f80559144489acc4bb98ee9900fcd05522d8905.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1277414",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "902a2ee4d8161f1f01c5d4cd6f80559144489acc4bb98ee9900fcd05522d8905"
    },
    {
      "@id": "blocks/92eddc8db974a70b6995495eaac36e49d0d15985889bc8dbedb4712f553a3c1b.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1394070",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "92eddc8db974a70b6995495eaac36e49d0d15985889bc8dbedb4712f553a3c1b"
    },
    {
      "@id": "blocks/987217323578f57b4768126f5467b9dbbe4c3639804fb649a29efafdec2af589.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1333793",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "987217323578f57b4768126f5467b9dbbe4c3639804fb649a29efafdec2af589"
    },
    {
      "@id": "blocks/9935c7fac5d7a8b26130be971751f7d7e29bbc982070472f381e2c7d93f2c795.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1332789",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "9935c7fac5d7a8b26130be971751f7d7e29bbc982070472f381e2c7d93f2c795"
    },
    {
      "@id": "blocks/9ac91d8c6b784a8ebfe810f268ad41a7add9c0cbcac71202404bffe1c4ad3263.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1245231",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "9ac91d8c6b784a8ebfe810f268ad41a7add9c0cbcac71202404bffe1c4ad3263"
    },
    {
      "@id": "blocks/9c0b12d072d42413cb7c5ea3a80baca5a29ce72b9694a455cd303a4736d20e22.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1405047",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "9c0b12d072d42413cb7c5ea3a80baca5a29ce72b9694a455cd303a4736d20e22"
    },
    {
      "@id": "blocks/9c65882b28e0b6c70aa95e9a35e449a6717e3ca1de505dc85bcefd2b1ecd0e71.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1339766",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "9c65882b28e0b6c70aa95e9a35e449a6717e3ca1de505dc85bcefd2b1ecd0e71"
    },
    {
      "@id": "blocks/9e1d25d470a0aa038300018423f2de17f5b6df7d2c5f718b24615af86cc2b3a5.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1294506",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "9e1d25d470a0aa038300018423f2de17f5b6df7d2c5f718b24615af86cc2b3a5"
    },
    {
      "@id": "blocks/a01188ddb47a89772dd44fff75ff9bffe1b8386bbd9e030bc074bc5fcd864c05.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1273980",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "a01188ddb47a89772dd44fff75ff9bffe1b8386bbd9e030bc074bc5fcd864c05"
    },
    {
      "@id": "blocks/a073fb8e19699aa97e5518a436d9e2bd1491c4a685868a670160681c6dae619b.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1340789",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "a073fb8e19699aa97e5518a436d9e2bd1491c4a685868a670160681c6dae619b"
    },
    {
      "@id": "blocks/a18cc2864aaf6a1412a10d708c828e9f32fe2c754d6ffc0b688c4a4bd7691a12.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1390002",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "a18cc2864aaf6a1412a10d708c828e9f32fe2c754d6ffc0b688c4a4bd7691a12"
    },
    {
      "@id": "blocks/a3577e005d3b19476b9b882b435693e6a22537803b313ad032336b16b88d3ac0.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1255414",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "a3577e005d3b19476b9b882b435693e6a22537803b313ad032336b16b88d3ac0"
    },
    {
      "@id": "blocks/ae031d028af49ffdb77cbf4da7f9e4b27496ccd69ef5375f57169facff7c4bcf.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1336672",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "ae031d028af49ffdb77cbf4da7f9e4b27496ccd69ef5375f57169facff7c4bcf"
    },
    {
      "@id": "blocks/ae3d2e1a47be8eb10e1a6a779c951d46c05e3fc4bf48b3e67e81f3a9c478fbdb.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1327335",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "ae3d2e1a47be8eb10e1a6a779c951d46c05e3fc4bf48b3e67e81f3a9c478fbdb"
    },
    {
      "@id": "blocks/b03df0c1dabbd0cc88f03f230ecdf8a61bd071e7fd7b6089f6eb88936bff73c5.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1370283",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "b03df0c1dabbd0cc88f03f230ecdf8a61bd071e7fd7b6089f6eb88936bff73c5"
    },
    {
      "@id": "blocks/b0bb22c5ba96c0d192b5c2bf0ed04c4b977728b96e23795481335cc7d8d1c13a.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1305497",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "b0bb22c5ba96c0d192b5c2bf0ed04c4b977728b96e23795481335cc7d8d1c13a"
    },
    {
      "@id": "blocks/b65aa93b5359b70c888e387940a797777dc7bb67d86632c811de9f1bd39d6748.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1343241",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "b65aa93b5359b70c888e387940a797777dc7bb67d86632c811de9f1bd39d6748"
    },
    {
      "@id": "blocks/bbdcdb13b2dc2ec52b57000a06f2b8ee73702f5d9985b4feb4beaf79c3fb5509.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1380652",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "bbdcdb13b2dc2ec52b57000a06f2b8ee73702f5d9985b4feb4beaf79c3fb5509"
    },
    {
      "@id": "blocks/bf3f2ca4d2dcce7f02f748ca4377dcb8c4e978deed1759410516cd6d1372347e.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1361358",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "bf3f2ca4d2dcce7f02f748ca4377dcb8c4e978deed1759410516cd6d1372347e"
    },
    {
      "@id": "blocks/c02fe83920debf69c1da39dbbbcef522f3e233b7e706f9dcf19d32269e2f7d15.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1258506",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "c02fe83920debf69c1da39dbbbcef522f3e233b7e706f9dcf19d32269e2f7d15"
    },
    {
      "@id": "blocks/c6055d7129ce844e791f96296be4dacb56f5b5280e2a68964dde495551020d31.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1362291",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "c6055d7129ce844e791f96296be4dacb56f5b5280e2a68964dde495551020d31"
    },
    {
      "@id": "blocks/c85294afc1bb4f432a0f21215ebf9d57a671cb29eb8e493fa50369366b3b9cd6.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1333569",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "c85294afc1bb4f432a0f21215ebf9d57a671cb29eb8e493fa50369366b3b9cd6"
    },
    {
      "@id": "blocks/c932c392136048c0dfedffd2df3c79109e61e53a21622bc81037308821410bd2.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1385022",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "c932c392136048c0dfedffd2df3c79109e61e53a21622bc81037308821410bd2"
    },
    {
      "@id": "blocks/cb4d60df8219af19b525ae8fd2e9ee6eb0e17ed63a498591812dcde5d97a2050.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1289866",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "cb4d60df8219af19b525ae8fd2e9ee6eb0e17ed63a498591812dcde5d97a2050"
    },
    {
      "@id": "blocks/ce92ec773535db2ff51fab2d7cbb1f81ce536eec0f3d1133e5e303b6de858fe6.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1293762",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "ce92ec773535db2ff51fab2d7cbb1f81ce536eec0f3d1133e5e303b6de858fe6"
    },
    {
      "@id": "blocks/d0591ff56c4ae8010212986a4b4ad13750da694eed468560a9f957cc77894ea3.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1359010",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "d0591ff56c4ae8010212986a4b4ad13750da694eed468560a9f957cc77894ea3"
    },
    {
      "@id": "blocks/d4539d537c1f8f632458b9620282d8995df8ad9c4cba6edf4acd611f91ae18e8.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1294363",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "d4539d537c1f8f632458b9620282d8995df8ad9c4cba6edf4acd611f91ae18e8"
    },
    {
      "@id": "blocks/d4b56ff0d9969c88600bcca9efc4e6d5819a7359f84c7e473de91ce2ffe7936d.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1276421",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "d4b56ff0d9969c88600bcca9efc4e6d5819a7359f84c7e473de91ce2ffe7936d"
    },
    {
      "@id": "blocks/d637f0f5cb44dea679cff0350112d0b279b9130907071945f2216592c286ec13.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1369789",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "d637f0f5cb44dea679cff0350112d0b279b9130907071945f2216592c286ec13"
    },
    {
      "@id": "blocks/d84f78626552dd23c4ca21f366789b87b6316ab963fe6a84c90d0c086e36fd57.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1354775",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "d84f78626552dd23c4ca21f366789b87b6316ab963fe6a84c90d0c086e36fd57"
    },
    {
      "@id": "blocks/dc9e8d699b4d27f027215850640b4e6171aab9a3be6239bd98459e69d9413e8d.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1304172",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "dc9e8d699b4d27f027215850640b4e6171aab9a3be6239bd98459e69d9413e8d"
    },
    {
      "@id": "blocks/ded971bc58e62338acde2366baa24791669250e91853bb5cf2ae937d5d7d84ae.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1344038",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "ded971bc58e62338acde2366baa24791669250e91853bb5cf2ae937d5d7d84ae"
    },
    {
      "@id": "blocks/e7cb1d3bd317ab4f0ad67d9e07ccc7c9b79a6330183b95385cde679bad2d317e.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1337728",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "e7cb1d3bd317ab4f0ad67d9e07ccc7c9b79a6330183b95385cde679bad2d317e"
    },
    {
      "@id": "blocks/e90f4b1110831074780d5c809a61d8897a5ad76eaf98d941525726a00a474b74.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1376502",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "e90f4b1110831074780d5c809a61d8897a5ad76eaf98d941525726a00a474b74"
    },
    {
      "@id": "blocks/eef94bdd2b0de3e9496602b9dcbba198bddca9c442d8eb469e07f5b1eacf7cbf.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1395746",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "eef94bdd2b0de3e9496602b9dcbba198bddca9c442d8eb469e07f5b1eacf7cbf"
    },
    {
      "@id": "blocks/ef2a9db11d8cda60046fe2023e6456955ffbfe7a8ec6616a4045fede7140c58e.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1334056",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "ef2a9db11d8cda60046fe2023e6456955ffbfe7a8ec6616a4045fede7140c58e"
    },
    {
      "@id": "blocks/f0c369fe8346d5a13afff1b1079851ee7a83abd86999e7593f9df1cc728398c7.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1333808",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "f0c369fe8346d5a13afff1b1079851ee7a83abd86999e7593f9df1cc728398c7"
    },
    {
      "@id": "blocks/f4a865512500edca4e23f1180dfd6156a07738402cd1d7e66d155f2c04cc4a5d.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1203842",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "f4a865512500edca4e23f1180dfd6156a07738402cd1d7e66d155f2c04cc4a5d"
    },
    {
      "@id": "blocks/f4e086ef5a6bbdd4cae8b7e9bea3509414b0288f0974500e31f844bc9c3f3270.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1293554",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "f4e086ef5a6bbdd4cae8b7e9bea3509414b0288f0974500e31f844bc9c3f3270"
    },
    {
      "@id": "blocks/f65d340a85d1feeabed87cc81626fffe606eeee5e5622916ba4ecb4283f14c6c.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1342259",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "f65d340a85d1feeabed87cc81626fffe606eeee5e5622916ba4ecb4283f14c6c"
    },
    {
      "@id": "blocks/f6f6c54cd52e4b9452ad4e94e4dd189d7ee1ab86707b64d942991f5b295c094f.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1367718",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "f6f6c54cd52e4b9452ad4e94e4dd189d7ee1ab86707b64d942991f5b295c094f"
    },
    {
      "@id": "blocks/fa74019f8725de331746305d78430d03797669b2255596e64bd573b5d7174162.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1258387",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "fa74019f8725de331746305d78430d03797669b2255596e64bd573b5d7174162"
    },
    {
      "@id": "blocks/fa8bebc61f3dd5648f01d8cac043a838870849370b78bb35ba3a91ff3fd08578.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1325704",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "fa8bebc61f3dd5648f01d8cac043a838870849370b78bb35ba3a91ff3fd08578"
    },
    {
      "@id": "blocks/ff075c457c533e50d5cb033c7f141a347815fbf426542ad64258a73919af5c67.bin",
      "@type": "File",
      "conformsTo": {
        "@id": "schemas/blocks_schema.txt"
      },
      "contentSize": "1371907",
      "description": "One block of the rat-DAFSA in tilezz-rat-block binary format, gzip-compressed.",
      "encodingFormat": "application/gzip",
      "name": "DAFSA block file",
      "sha256": "ff075c457c533e50d5cb033c7f141a347815fbf426542ad64258a73919af5c67"
    },
    {
      "@id": "schemas/block_index.schema.json",
      "@type": [
        "File",
        "CreativeWork"
      ],
      "contentSize": "6217",
      "description": "Formal JSON Schema (draft 2020-12) for block_index.json. Machine-validatable; covers the manifest JSON only -- see blocks_schema.txt for the binary block file format.",
      "encodingFormat": "application/json",
      "name": "block_index.schema.json (JSON Schema)",
      "sha256": "3d328bd1767ffb559c8d0bd8b77ec5dce8700811a733d0dc9d3cb50d1557c758"
    },
    {
      "@id": "schemas/blocks_schema.txt",
      "@type": [
        "File",
        "CreativeWork"
      ],
      "contentSize": "14786",
      "description": "Prose specification of the tilezz-rat-dafsa-blocks wire format: manifest fields, block file binary layout, the read algorithm.",
      "encodingFormat": "text/plain",
      "name": "blocks_schema.txt (prose)",
      "sha256": "fb1d5332252fde38d1bfdbbb9d9a660bf5f5f896129fd55afc53b23fd5fb2716"
    },
    {
      "@id": "schemas/rat_schema.txt",
      "@type": [
        "File",
        "CreativeWork"
      ],
      "contentSize": "3215",
      "description": "Length-prefix convention used inside the DAFSA's accepted sequences: stored_sequence = [len, rat...].",
      "encodingFormat": "text/plain",
      "name": "rat_schema.txt (prose)",
      "sha256": "703c547a09305703a356f6f676e2b9977ff75696f0d806cfc79de78792da3522"
    },
    {
      "@id": "tools/count.py",
      "@type": "File",
      "contentSize": "7087",
      "description": "Standalone Python 3 script (stdlib + sibling decode.py) that prints the seven per-perimeter family series (free, oneSided, achiral, rotationSymmetric, symmetric, subring, coset) as OEIS-style terms. `--print` (default, fast) reads `free` off the DAFSA rank index without decoding and cross-checks it against ro-crate-metadata.json, echoing the other six from variableMeasured; `--verify` (slow) decodes every rat, independently re-derives all seven, and checks each against the metadata. Exits 0 on success, 1 on mismatch.",
      "encodingFormat": "text/x-python",
      "name": "count.py (Python 3 per-perimeter family counter + verifier)",
      "sha256": "03783b89d01e08334e2ebbdd89b01a958abb4550bec1195f00fe8d8d15614640"
    },
    {
      "@id": "tools/decode.py",
      "@type": "File",
      "contentSize": "8970",
      "description": "Standalone, dependency-free Python 3 script that walks the blocked DAFSA in this directory and prints every rat as a line of space-separated signed integers. Run as `python3 tools/decode.py > rats.txt`.",
      "encodingFormat": "text/x-python",
      "name": "decode.py (Python 3 decoder)",
      "sha256": "bda0a4696ca74e148f045d254d540fe16bfbe2e70c06d80725e01cf8929d9a1e"
    },
    {
      "@id": "tools/reproduce.sh",
      "@type": "File",
      "contentSize": "2920",
      "description": "Shell script that re-runs the exact pipeline that produced this dataset: clones the source repo at the recorded commit, builds rat_enum, and runs the original CLI invocation(s). Run as `bash tools/reproduce.sh`. Honours REPO, COMMIT, SRC_DIR env vars for offline / pre-cloned scenarios; honours SOURCE_DATE_EPOCH for bit-identical metadata.",
      "encodingFormat": "application/x-sh",
      "name": "reproduce.sh (executable rebuild script)",
      "sha256": "ddc1a4f659252b97d93fe4a4e5cd89ecdcac88e2daabfb2e4fba9191ba45283e"
    },
    {
      "@id": "tools/verify.rs",
      "@type": "File",
      "contentSize": "22961",
      "description": "Independent single-file Rust verifier (run with `cargo install rust-script && rust-script tools/verify.rs`). Decodes every stored rat straight from the binary blocks -- reimplementing the format with no dependency on the tilezz crate that produced the asset -- and in one compiled, multi-threaded pass checks per-block SHA-256 against the manifest, that every sequence is its own dihedral-canonical CCW form, and that the seven per-perimeter family series re-derived from the rats match variableMeasured and n_sequences. This is the fast verifier the project pipeline runs by default; the Python tools (count.py --verify + verify_canonical.py + verify_sha256.py) are the zero-dependency, no-toolchain fallback that performs the same checks. Exits 0 on success, 1 on any mismatch / violation.",
      "encodingFormat": "application/octet-stream",
      "name": "verify.rs (Rust verifier, rust-script)",
      "sha256": "c4cb4204cdc98d1c340832e1d285c05ca1cccf55b844b08d815050681b30ef01"
    },
    {
      "@id": "tools/verify_canonical.py",
      "@type": "File",
      "contentSize": "4575",
      "description": "Standalone Python 3 script (stdlib + sibling decode.py) that independently recomputes each stored rat's dihedral-canonical CCW form (lex-min over rotations of the sequence and its reverse, turn-sum > 0) and checks the stored sequence equals it. Catches any non-canonical entry and excludes non-canonical duplicates. Run as `python3 tools/verify_canonical.py`; `--stride N` / `--max N` sample large assets. Exits 0 if all canonical, 1 on violation.",
      "encodingFormat": "text/x-python",
      "name": "verify_canonical.py (Python 3 canonical-form verifier)",
      "sha256": "6f75a5685e601d677870efab12c6e4bcaa2ff87f564a45acac6df93b1f44bf77"
    },
    {
      "@id": "tools/verify_sha256.py",
      "@type": "File",
      "contentSize": "5663",
      "description": "Standalone, dependency-free Python 3 script that checks every sha256 recorded in ro-crate-metadata.json against the on-disk file bytes, flags any file on disk not in the manifest, and reports the producing-tool commit. Run as `python3 tools/verify_sha256.py`; add `--strict` to also fail on non-pristine provenance (`-dirty`/`unknown`). Exits 0 on full match, 1 on mismatch.",
      "encodingFormat": "text/x-python",
      "name": "verify_sha256.py (Python 3 hash verifier)",
      "sha256": "42d85afa86432513afc7251e92b0ee5ddcbde4d27eeb46f8785ac74b069646c1"
    }
  ]
}