{
  "version": "1.0.0",
  "release_kind": "reference-corpus",
  "areas": 22,
  "records": 66,
  "interactive_labs": 12,
  "independent_review": "not-yet-recorded",
  "license_selection": "pending",
  "files": [
    {
      "path": "areas/abstract-interpretation.html",
      "bytes": 15358,
      "sha256": "cae8ccf8c5afdd1ecff63b8ae41f5fe58de6341bd3ed3bc345531a5878f7030a"
    },
    {
      "path": "areas/abstract-interpretation.md",
      "bytes": 1428,
      "sha256": "15f5b1ba3cfcf62e0da1adf31ec6e42025e9111337d4c840bec413789b419327"
    },
    {
      "path": "areas/algorithms.html",
      "bytes": 15155,
      "sha256": "2d1c5afc86d62ef2be98d004c02fd34a09de0dcc1b9a8dd539f8d64b31a032cd"
    },
    {
      "path": "areas/algorithms.md",
      "bytes": 1532,
      "sha256": "2dae2ac481adaea89f6ab3bf7a85e8ebf74f2d8e5a063c1412e7f0ad80fd37e5"
    },
    {
      "path": "areas/automata.html",
      "bytes": 16762,
      "sha256": "0b1be7db2b178254aa859c293b4c41148f22f74562c7adc1aad967ccb491db61"
    },
    {
      "path": "areas/automata.md",
      "bytes": 1290,
      "sha256": "5e4cdc7945902c66c2347c226d8040799d56c9e1265e9c9983c8ecf3652caa71"
    },
    {
      "path": "areas/circuits.html",
      "bytes": 15299,
      "sha256": "15f70708858e66655126e58f332844a4a27f202f3b697c6e86f70f1c351f377d"
    },
    {
      "path": "areas/circuits.md",
      "bytes": 1381,
      "sha256": "acded60db4c16d77269909f3d84fd33d872fbb497d9b2a18e3c640439e1931e6"
    },
    {
      "path": "areas/combinatorial-optimization.html",
      "bytes": 15156,
      "sha256": "7afe05ae05b6ffc92788e99551530c7041f656a10b49ba63186ade444044db92"
    },
    {
      "path": "areas/combinatorial-optimization.md",
      "bytes": 1226,
      "sha256": "777067213d79bb5cfaa53420d74401582e11b2e1758dfa03f95acad86992e91e"
    },
    {
      "path": "areas/compiler.html",
      "bytes": 14617,
      "sha256": "a3e2792766b07c65c2fc858bccbed014ca35b8a683c4c936f1977897489b576e"
    },
    {
      "path": "areas/compiler.md",
      "bytes": 1353,
      "sha256": "ca54d539fb4c86e73c4a599fafbb3f60f75270b3d54bc40cba8eac5a48e34b17"
    },
    {
      "path": "areas/constraints.html",
      "bytes": 14643,
      "sha256": "a520c5684c995bbe71641c06cf592741e0042383b1830fae8ae2b1dfb833f940"
    },
    {
      "path": "areas/constraints.md",
      "bytes": 1296,
      "sha256": "317d566d992ebeee4b8e95b420933547fa4f8a0ce21d6dc2be11355579a59d18"
    },
    {
      "path": "areas/formal-languages.html",
      "bytes": 15421,
      "sha256": "7a3edf102fb5eac9e250706571fd2cbc5dc1533d5760b630d29171040ee2da67"
    },
    {
      "path": "areas/formal-languages.md",
      "bytes": 1272,
      "sha256": "1de1268da094218eab11e6fd3bbc0cc945c77f2ed7fff0631c349fad19b3524e"
    },
    {
      "path": "areas/games.html",
      "bytes": 15038,
      "sha256": "80b643009896a43b7da8966e5c7b35572be9bb89ca9e4c620e82c5a1de2d34f2"
    },
    {
      "path": "areas/games.md",
      "bytes": 1290,
      "sha256": "22311541ada235d9a960f4e5a9d05d851951acd97fb430f4e25f913dd399c058"
    },
    {
      "path": "areas/graphs.html",
      "bytes": 14921,
      "sha256": "9d9e195f703de1fb175de58a14911adfd76a0a70aaf7078ffc2e134684faf8cb"
    },
    {
      "path": "areas/graphs.md",
      "bytes": 1250,
      "sha256": "e35a1afe4332d723d6d43df893e1a4686c2ef3d9ef8dbe443f350d567b2128ea"
    },
    {
      "path": "areas/information-theory.html",
      "bytes": 15209,
      "sha256": "08dc962a70d7bac0b9261e841f8866d887353ac4f668606cbb96812e8dbcf19d"
    },
    {
      "path": "areas/information-theory.md",
      "bytes": 1431,
      "sha256": "e516f97c043617cbb931657d9ededdc600e593114924053bf37ec4cd907f8d3f"
    },
    {
      "path": "areas/linear-algebra.html",
      "bytes": 16571,
      "sha256": "7af05af076826330c0c548420042a22683d5c06add3d632ca0141278b8ae3f25"
    },
    {
      "path": "areas/linear-algebra.md",
      "bytes": 1330,
      "sha256": "066d7bf81dbd95c9fa33421f3a8e574cb5584c536f25f96ffb97727ce3b5efb2"
    },
    {
      "path": "areas/model-checking.html",
      "bytes": 14779,
      "sha256": "f33ac701b6e1f4fbcabb1e074b7b21286a16c599968741db9d7e57382bf57d1c"
    },
    {
      "path": "areas/model-checking.md",
      "bytes": 1316,
      "sha256": "3033d02299e6bb787352d72a85374bd049c95c328e0d71112da73a8f0839d527"
    },
    {
      "path": "areas/probability.html",
      "bytes": 17900,
      "sha256": "aff23cda05e65879f066eef60736bf0edd2a7789a226791f1e9145a752e32894"
    },
    {
      "path": "areas/probability.md",
      "bytes": 1425,
      "sha256": "d48311f8efa01db47d0edc89ec4ce20056a85472d7f52b1911da9f76d2527fe8"
    },
    {
      "path": "areas/program-verification.html",
      "bytes": 15580,
      "sha256": "961ed58514e935726e68b6bf5981c5bca4dfeeec302f3b263955ba856fd686ae"
    },
    {
      "path": "areas/program-verification.md",
      "bytes": 1271,
      "sha256": "03b5781150b8d3f95d27430d761bb7f2db4745a8e4c57054ea3f001318aa79a2"
    },
    {
      "path": "areas/protocols.html",
      "bytes": 16150,
      "sha256": "7ff31f48c6abdefee03ae3c716759330b62312ec8538ed0a0440fbbcd0680a00"
    },
    {
      "path": "areas/protocols.md",
      "bytes": 1395,
      "sha256": "35d7336b6eb0919583be57840a0b8dbb4a919c630ca26f534bccf2a2d8d09c2e"
    },
    {
      "path": "areas/relational-algebra.html",
      "bytes": 15315,
      "sha256": "45d2fed94b8734b339e5597f634bb4f602bed828024e1e5bf74b239dc259c448"
    },
    {
      "path": "areas/relational-algebra.md",
      "bytes": 1338,
      "sha256": "e4e07358201fa302f504fd68740c068fe069e13a53626bfa8944077a0374a91f"
    },
    {
      "path": "areas/rewriting.html",
      "bytes": 15708,
      "sha256": "a051afea607b33fd406719d70db5934d4bc25c431d63e962546e48062655c896"
    },
    {
      "path": "areas/rewriting.md",
      "bytes": 1378,
      "sha256": "51a71f48b48a193ee7f07dee2ea8faf501a4cf9e96c6b68bf96c2061252b8ea9"
    },
    {
      "path": "areas/sat-smt.html",
      "bytes": 14701,
      "sha256": "7789dccf04c2223b659f257f5b0946165859a52b6401c5a16462febff4d7d105"
    },
    {
      "path": "areas/sat-smt.md",
      "bytes": 1296,
      "sha256": "c04f10350b45359712b4cef824769fcc895845122b1d6f3bd9670c8a30111c07"
    },
    {
      "path": "areas/scheduling.html",
      "bytes": 14978,
      "sha256": "faca8236b0509b53fddc2cdbe24bb453c07dc14f7d498752602dc86d069ad97a"
    },
    {
      "path": "areas/scheduling.md",
      "bytes": 1283,
      "sha256": "d7f99b4dacdafe525a35c6521a60f27009786c58cf4a47b23e50c3689eb73235"
    },
    {
      "path": "areas/semantics.html",
      "bytes": 16017,
      "sha256": "080082e367805718dfa870711dd3485cea6cd9a5962ba00be1de4f22796154e3"
    },
    {
      "path": "areas/semantics.md",
      "bytes": 1304,
      "sha256": "1a2a55127dff6139beda99ca6e8da30e36537524dd0cc0a6c06ef26949a725c2"
    },
    {
      "path": "areas/type-systems.html",
      "bytes": 15389,
      "sha256": "5d869f77622e5d1b7eded0bfad583b07bd649fe6ed9d955c0c31afc6e66e84ba"
    },
    {
      "path": "areas/type-systems.md",
      "bytes": 1356,
      "sha256": "db20da262fa1df978da3458482b1f4ecbac4e2c9730aa597fc0bac0ea5d7790c"
    },
    {
      "path": "catalog.js",
      "bytes": 1163,
      "sha256": "e4db009b4c77bac3011662c0e996bd5a5b2f80a3abfe3bbb2ffe79031e28027d"
    },
    {
      "path": "checker-tests.json",
      "bytes": 152,
      "sha256": "643f4db12662c7061686f7f910f3726d644947ad3331fdae5b3c521fe082d7e5"
    },
    {
      "path": "corpus.js",
      "bytes": 232679,
      "sha256": "7b8a0112f14ec150994266ae9025bd308a5f83c7252c9a6e90df3c002b0bb601"
    },
    {
      "path": "corpus.json",
      "bytes": 304757,
      "sha256": "dac543ff52d365488d7c198781a910651a1df5c5daf3c29783a28de4d5425e73"
    },
    {
      "path": "datasets/abstract-interpretation.json",
      "bytes": 14769,
      "sha256": "0a45e903244c1fad51af846b497be0d7622826b3859f9fe462363da59c5cc4a6"
    },
    {
      "path": "datasets/algorithms.json",
      "bytes": 14587,
      "sha256": "5aab738de8a314fca6c99bd46ab60a9bff02a0c52849ac3268e5d971329c18a6"
    },
    {
      "path": "datasets/automata.json",
      "bytes": 15197,
      "sha256": "6871ae407a4c9fb78dfc0491f4a36ed17f5c9a73fad05c0e73661002c3218879"
    },
    {
      "path": "datasets/circuits.json",
      "bytes": 14643,
      "sha256": "22243f9f84963b1c5d7ffcb49de06fb2e236d7b511c850578e296dce8694ab35"
    },
    {
      "path": "datasets/combinatorial-optimization.json",
      "bytes": 14327,
      "sha256": "489f0dc17f831f59d0a93e53315881944188c24a2b47c89926a9564f42a4845d"
    },
    {
      "path": "datasets/compiler.json",
      "bytes": 13469,
      "sha256": "450494b07fdfbb4764d5718488b76836cc1438a40f8ac1788aa659ba305caa97"
    },
    {
      "path": "datasets/constraints.json",
      "bytes": 14022,
      "sha256": "e19fb8d7f793dcfc52a85c2fd85afcbaeed51979b6b6729686bc9b7b846f79dc"
    },
    {
      "path": "datasets/formal-languages.json",
      "bytes": 14445,
      "sha256": "103026914f31fad9af19501d2044b665776a3f15b47c2a21a8c2d80eef942619"
    },
    {
      "path": "datasets/games.json",
      "bytes": 14403,
      "sha256": "a16f0b8113df880abb26d5bbe221ce68cf3c2810f429c1a3d75f9b51d86b8310"
    },
    {
      "path": "datasets/graphs.json",
      "bytes": 14090,
      "sha256": "860eb75eaa08359e8a6abca37cb70ba7b16cbcac847a1eab0a778dbd6d9d462a"
    },
    {
      "path": "datasets/information-theory.json",
      "bytes": 14148,
      "sha256": "8d40b73b7a458912a5d10d04e9cfbc7bc1773c99a17e3aa2cf87b73253d47d07"
    },
    {
      "path": "datasets/linear-algebra.json",
      "bytes": 16291,
      "sha256": "8744c704963b9ecdf602b8680ba7f0c4d14933924a5e0a1ff0572bb7a5e043fc"
    },
    {
      "path": "datasets/model-checking.json",
      "bytes": 14093,
      "sha256": "ed911f53caa02b214f819d98f7e1f2339ab89afa042e48b48c0053208bc47464"
    },
    {
      "path": "datasets/probability.json",
      "bytes": 16385,
      "sha256": "96d163a80e5665443125de500c5d79432331afc8d6d0e4818461e0bf0c75d4ad"
    },
    {
      "path": "datasets/program-verification.json",
      "bytes": 14571,
      "sha256": "44993d662dc466ac11f1923483d7a540ccec4f6ea156edbac6c0f97efad965c0"
    },
    {
      "path": "datasets/protocols.json",
      "bytes": 14955,
      "sha256": "582e8464c7e38cd67f9c569a5f032c6bd4beeb8297a2aa22b83fe6e62d71e7bf"
    },
    {
      "path": "datasets/relational-algebra.json",
      "bytes": 14440,
      "sha256": "752b2412b196ac64223a61779fb19c9758b4c1f8e2ee9423eed4da1974cf8e7f"
    },
    {
      "path": "datasets/rewriting.json",
      "bytes": 14188,
      "sha256": "7e885366c494e5339bdbaa97c0dfb640b758159f5a12abb4bd6cf315713141ad"
    },
    {
      "path": "datasets/sat-smt.json",
      "bytes": 13520,
      "sha256": "d06f7ab42ac22f1dfb3472c4e68ab409016484e595f6bcd4e09431da14db5c09"
    },
    {
      "path": "datasets/scheduling.json",
      "bytes": 14024,
      "sha256": "096b45bd0e0ce2f3457a4be20a127a57faa5c5c3af4cadaed29791ddce249423"
    },
    {
      "path": "datasets/semantics.json",
      "bytes": 15013,
      "sha256": "849ab3a7a465be4d6013a3457a2e135aa72edb9662ddcff8cfd56e8579533f73"
    },
    {
      "path": "datasets/type-systems.json",
      "bytes": 14264,
      "sha256": "7247d1a42612886658f9ffcd44430fbe6a42548e5d1d1db30f5b2c91eec7cd16"
    },
    {
      "path": "engines.js",
      "bytes": 5809,
      "sha256": "eb737d0fe4cc49a7b5be8b02f452455fb5dc1359dbfaea92cb30c425cec0fcd6"
    },
    {
      "path": "entries/KL-FCS-001.json",
      "bytes": 3846,
      "sha256": "6d4d50bcd9b36f7286b517708c386e484bc803df57a26c2038433ace3862941b"
    },
    {
      "path": "entries/KL-FCS-001.md",
      "bytes": 3437,
      "sha256": "5627d1dcf097d0f2e89f10e940e509a10bcc8d823effcc2af2d215a8d5a1a818"
    },
    {
      "path": "entries/KL-FCS-002.json",
      "bytes": 4133,
      "sha256": "0658b5f3b0e9a1d63ce61659bb3258f8a685511a60f2774be32da914acff9a77"
    },
    {
      "path": "entries/KL-FCS-002.md",
      "bytes": 3676,
      "sha256": "2ab1177d9c8a92a5e17f070582d50efb68989ba881e92118ae968e716a613a01"
    },
    {
      "path": "entries/KL-FCS-003.json",
      "bytes": 3762,
      "sha256": "ecd84998bf78836eac186abf9b694f6660f06631b2d36bca952c8633a14c53a4"
    },
    {
      "path": "entries/KL-FCS-003.md",
      "bytes": 3414,
      "sha256": "c3bc70c52e98e0bf632b5fe9d5fa80cfd9c79ea38b6d6f147f4466781d4cfd3d"
    },
    {
      "path": "entries/KL-FCS-004.json",
      "bytes": 3749,
      "sha256": "682c9da916d57daaed17b4480152f2fcbc849c4afb2375ba11a1e80dc244c1c4"
    },
    {
      "path": "entries/KL-FCS-004.md",
      "bytes": 3356,
      "sha256": "c4c428af11606037e34ba8140b0b700dbed675e21b857a540bba8ca8752bf87c"
    },
    {
      "path": "entries/KL-FCS-005.json",
      "bytes": 3571,
      "sha256": "19cfa2523c5059d913647d38c1e1d6d107365cdc7ce0736ecdccf2cac2a61cd9"
    },
    {
      "path": "entries/KL-FCS-005.md",
      "bytes": 3234,
      "sha256": "948bc11326366e8fa3821d68c680f5c7b340cff8b7829e9d3e0ed962ea046562"
    },
    {
      "path": "entries/KL-FCS-006.json",
      "bytes": 3350,
      "sha256": "e5f66e6e195b72f4fddacd193e3b341ddff46b25f200b2bf57360b9a183c902f"
    },
    {
      "path": "entries/KL-FCS-006.md",
      "bytes": 3009,
      "sha256": "6fdb3a9352f4fb4caf16d39573ccc6df7e196b0f022e80ec4b085f19f56af373"
    },
    {
      "path": "entries/KL-FCS-007.json",
      "bytes": 3368,
      "sha256": "0ad131246eb24551d0a3297994a6918fc74a93e2b964155ffbfe739f2f206c61"
    },
    {
      "path": "entries/KL-FCS-007.md",
      "bytes": 3063,
      "sha256": "3910f4831edadcc291efc5348552bb285b3e841755c8fe174147406cda2b921b"
    },
    {
      "path": "entries/KL-FCS-008.json",
      "bytes": 3562,
      "sha256": "293bc063935d584591ae4a7880838d9b0fc531b371531ac6e81fcb857d2c5d81"
    },
    {
      "path": "entries/KL-FCS-008.md",
      "bytes": 3216,
      "sha256": "b23bc867e92c96eff7352e8ba8c787e4dea1ddc36badf4d53dbb71df1ad27556"
    },
    {
      "path": "entries/KL-FCS-009.json",
      "bytes": 4119,
      "sha256": "26a114373a01daa4f5be4e76264c026d96dc98e00c24f55729be7fc8930e17f8"
    },
    {
      "path": "entries/KL-FCS-009.md",
      "bytes": 3686,
      "sha256": "a1aad2b53eaa6972eb233d2f9c94f5b245cc931a09c1d2bd38f8e7f1b756f5ed"
    },
    {
      "path": "entries/KL-FCS-010.json",
      "bytes": 3786,
      "sha256": "cd2d779d7820b1e5d52c1781bc7ae40c90ada1572c8df5a632a19e091cc1743d"
    },
    {
      "path": "entries/KL-FCS-010.md",
      "bytes": 3365,
      "sha256": "d18ebcff23295a0c42bf81c25d23de10f8383a57b59227afa1a14976cd6dcdf7"
    },
    {
      "path": "entries/KL-FCS-011.json",
      "bytes": 3546,
      "sha256": "06bda83fa313364c68e3a805c8f3642493e3ebe82e6a020d25b3aa9f3affe5ea"
    },
    {
      "path": "entries/KL-FCS-011.md",
      "bytes": 3195,
      "sha256": "62e6c39a736b8b2ff934843d4fad9a2372d065cf3b0123159b1a362225630092"
    },
    {
      "path": "entries/KL-FCS-012.json",
      "bytes": 3674,
      "sha256": "f9a18e979bb6520720b07b554455453379855f9c0a5cd089d411ae780e081f5f"
    },
    {
      "path": "entries/KL-FCS-012.md",
      "bytes": 3302,
      "sha256": "c5341f82976bf608927d73a7f4b71b0bde3bbe47efea3b7c2be01d79eb3f279d"
    },
    {
      "path": "entries/KL-FCS-013.json",
      "bytes": 3732,
      "sha256": "9620b70223693b57377df7ed14f238a627b2532ba7bd58933ac8ff4baa74c67a"
    },
    {
      "path": "entries/KL-FCS-013.md",
      "bytes": 3360,
      "sha256": "9ea723670be18b534c346baf148c2c1d6fba52d36656761fe43ea261cdfc1117"
    },
    {
      "path": "entries/KL-FCS-014.json",
      "bytes": 3683,
      "sha256": "a01093c9a21a19a5da92b83c4a096cc60f91182c94455184100a188ecc12f404"
    },
    {
      "path": "entries/KL-FCS-014.md",
      "bytes": 3336,
      "sha256": "650568566ae0b6f0d509b8478e60cd67ff5161a40f1576c99598ac0fe2996b88"
    },
    {
      "path": "entries/KL-FCS-015.json",
      "bytes": 3866,
      "sha256": "3f330d056e8193c6bf9b0257d34580a710b7a7877887302d470cdda68f76fd48"
    },
    {
      "path": "entries/KL-FCS-015.md",
      "bytes": 3516,
      "sha256": "6b42e5636896fae1f1faeef0af6eaa44a45b05f6f1d78aa3a9d30ef2bb30c27d"
    },
    {
      "path": "entries/KL-FCS-016.json",
      "bytes": 3860,
      "sha256": "0f1981443f64c085ca5fcf3e1d34b8c15f7d75200a50c8746ca4d5f8a849d2b8"
    },
    {
      "path": "entries/KL-FCS-016.md",
      "bytes": 3519,
      "sha256": "4551f5d73ef61843b54807506ca4a067ffeb46c53e59efeeca94c5109c4d7218"
    },
    {
      "path": "entries/KL-FCS-017.json",
      "bytes": 3853,
      "sha256": "b59fb066642da7d7715a1cca15f848c9d0a4bce752000e3332473c490a500980"
    },
    {
      "path": "entries/KL-FCS-017.md",
      "bytes": 3512,
      "sha256": "31de448331bd21255715b978334631eefb722ad02dcd753b2215f5f770ead744"
    },
    {
      "path": "entries/KL-FCS-018.json",
      "bytes": 3567,
      "sha256": "801143cdca5607ac1719c68af80ae455d0708283ca7a5c72b9b65083d8cad250"
    },
    {
      "path": "entries/KL-FCS-018.md",
      "bytes": 3222,
      "sha256": "e576092d53c9c71718d8b2317d17c276259fa1c61685b7b9d831d9bd0be9e041"
    },
    {
      "path": "entries/KL-FCS-019.json",
      "bytes": 3684,
      "sha256": "9bb502eba405cf9738865327271f822d587af1a1263167a18d7927e03560de67"
    },
    {
      "path": "entries/KL-FCS-019.md",
      "bytes": 3358,
      "sha256": "6124bb8ff2f17120baf89e80c10d199677f42ad9c88c72062862782059430048"
    },
    {
      "path": "entries/KL-FCS-020.json",
      "bytes": 3556,
      "sha256": "f57eb9a6793c8ad6caa5580e24b8761724bdfc3b6b1fb4e3336f39d723e54971"
    },
    {
      "path": "entries/KL-FCS-020.md",
      "bytes": 3196,
      "sha256": "3e1f98629aa95f0c5c7184d1e8b276b1d85278ff78ad1d720ab07dcc3e341546"
    },
    {
      "path": "entries/KL-FCS-021.json",
      "bytes": 3575,
      "sha256": "74790899756cb1f46ddf326cc0ebe76eae23ca4461c7a169ae248c11b451ee92"
    },
    {
      "path": "entries/KL-FCS-021.md",
      "bytes": 3216,
      "sha256": "e0db0511c47f390f91eb105af2669ceba82dcb98c98acb4bb8e37eb1b4c56615"
    },
    {
      "path": "entries/KL-FCS-022.json",
      "bytes": 3600,
      "sha256": "4d9289820fe7a7ea41b4dc147cefd62189e97fef13695ddb3e45f0fce574f98c"
    },
    {
      "path": "entries/KL-FCS-022.md",
      "bytes": 3243,
      "sha256": "464ef60c1069ce26246e0b131e2c7c3319ae883ff43dc197ddf25541c8e630d6"
    },
    {
      "path": "entries/KL-FCS-023.json",
      "bytes": 3594,
      "sha256": "6ae3b55771ad7cb0fe4f0577a3f6b37001b4635ca2cd8ed187c7ddda7761244b"
    },
    {
      "path": "entries/KL-FCS-023.md",
      "bytes": 3237,
      "sha256": "07bc4d1325867b9b443e710d5507b9e6892e3715ec887520be44f708a78761a9"
    },
    {
      "path": "entries/KL-FCS-024.json",
      "bytes": 3506,
      "sha256": "4f628d1284521f5bee086b71710df8286368213f8d7784b2da6b49af5487069a"
    },
    {
      "path": "entries/KL-FCS-024.md",
      "bytes": 3127,
      "sha256": "8dc90a211d250142e9f0b279d5fa8ed85dc2e274dc2bbeb83046a728a7c3ae01"
    },
    {
      "path": "entries/KL-FCS-025.json",
      "bytes": 3516,
      "sha256": "ef0e8f3c464ee489b544aad06df10f4b501405b3a5506568be6a243b1c07373b"
    },
    {
      "path": "entries/KL-FCS-025.md",
      "bytes": 3138,
      "sha256": "3f0bab071454229f9e3d47c5655ab22b11b3b0b1506a280c97e181b78894592a"
    },
    {
      "path": "entries/KL-FCS-026.json",
      "bytes": 3383,
      "sha256": "fead4fa82c32183818de033cbbc66bda99aa0dd554c4ada24df5a818a8931314"
    },
    {
      "path": "entries/KL-FCS-026.md",
      "bytes": 3039,
      "sha256": "719e5f46f4b7abfdda37d8023673c0d1745b422f024ff9ce4d5036168b9c7bfd"
    },
    {
      "path": "entries/KL-FCS-027.json",
      "bytes": 3385,
      "sha256": "3e411f75cf614012709788194a81607ff3d6dab2071a0639af5302f55244765b"
    },
    {
      "path": "entries/KL-FCS-027.md",
      "bytes": 3040,
      "sha256": "067724c98cbe787cdf5e34726aa023268110c67bf3b1b6c4778937014a35565a"
    },
    {
      "path": "entries/KL-FCS-028.json",
      "bytes": 3600,
      "sha256": "51d5e179ea0bd34c7a62363468fc15c5a49926034d048f22c6c8f575dc204dfd"
    },
    {
      "path": "entries/KL-FCS-028.md",
      "bytes": 3228,
      "sha256": "a490ea619b2c8607095ca9c062c73abfea7dac93c8c9538cc58356fa57f5a1c6"
    },
    {
      "path": "entries/KL-FCS-029.json",
      "bytes": 3521,
      "sha256": "acb93eeb97ab469a02b473d584de4aba1945edfbe0c760043dc76ec9a5de3c5f"
    },
    {
      "path": "entries/KL-FCS-029.md",
      "bytes": 3149,
      "sha256": "2666d6d219a105fb408b06dfa984faebd426f4993cf2c195d490773e8e51e727"
    },
    {
      "path": "entries/KL-FCS-030.json",
      "bytes": 3597,
      "sha256": "0d1503a533d1b2c6336389218386e57b28b727a5ff0deb3e4495e3ea0e078eed"
    },
    {
      "path": "entries/KL-FCS-030.md",
      "bytes": 3225,
      "sha256": "4c9c027841f6d4a6bf94bdf31a6d72dc3d43ff3ed112e15f74dc0a23772ef8d2"
    },
    {
      "path": "entries/KL-FCS-031.json",
      "bytes": 3573,
      "sha256": "f71078cf8ad48a8b5c3c38032b18413a9aeecb067858957695373ebd15f8cc94"
    },
    {
      "path": "entries/KL-FCS-031.md",
      "bytes": 3186,
      "sha256": "87ca1faa88525a7848e6512c418ecacc5875da0d8dd3c287ae82ac7713a8f55a"
    },
    {
      "path": "entries/KL-FCS-032.json",
      "bytes": 3655,
      "sha256": "6cb659db83487a749c6455298a3e6d7b4ff8eadb438cfa1ad314d40cf527f7af"
    },
    {
      "path": "entries/KL-FCS-032.md",
      "bytes": 3269,
      "sha256": "deae10d08c195e2ea62024ca20cd630bd4b3ac0569bd6af07f7307a9e41c3d98"
    },
    {
      "path": "entries/KL-FCS-033.json",
      "bytes": 3908,
      "sha256": "aee7268167fc2dea4f0751d02c4bb21fb25a86efc0b09271606918c2df273e4e"
    },
    {
      "path": "entries/KL-FCS-033.md",
      "bytes": 3523,
      "sha256": "fb60cb36c2b125c42ea99d902f58b05dd2171067ac2617ecc9a8aa07c2d85ba1"
    },
    {
      "path": "entries/KL-FCS-034.json",
      "bytes": 3536,
      "sha256": "a11f38aed59185289d44cf12685e123c9860444c6b99d9e47ac03db15d0bce7c"
    },
    {
      "path": "entries/KL-FCS-034.md",
      "bytes": 3174,
      "sha256": "8b933b4c2d850b08a74ef27caef8e9e249743702b601c150506ae07a607cab95"
    },
    {
      "path": "entries/KL-FCS-035.json",
      "bytes": 3582,
      "sha256": "fe70b7b0968e868ed7d42657284ffff8692f5ab1d6190b8c509b8b1b0daa49bd"
    },
    {
      "path": "entries/KL-FCS-035.md",
      "bytes": 3221,
      "sha256": "50cdc95d822026152311782e73017317dd40c7eab9c69b7e334b9c6e85be0c5e"
    },
    {
      "path": "entries/KL-FCS-036.json",
      "bytes": 3778,
      "sha256": "091bda7f7eb51f300230a936d930c6fec5e688e07a3c4dce39b08c8b218fc64e"
    },
    {
      "path": "entries/KL-FCS-036.md",
      "bytes": 3417,
      "sha256": "15d9a7c62a1f04ca317940fdcfda92ef27f6ff20d2a16954fe6f6f68a74a18e0"
    },
    {
      "path": "entries/KL-FCS-037.json",
      "bytes": 3707,
      "sha256": "a29a1614871a08e8f213bfebc6452dd64ad9fc10f7db515dbf18d6d9a347afea"
    },
    {
      "path": "entries/KL-FCS-037.md",
      "bytes": 3359,
      "sha256": "3deed0b041380b2104c1096a1a676850bdeec30deec37c36d183e4a59800f832"
    },
    {
      "path": "entries/KL-FCS-038.json",
      "bytes": 3714,
      "sha256": "7c864b53f1914e2065b66a02c8c8f5b01a5c6f643a908b3083e97c2d6b55c851"
    },
    {
      "path": "entries/KL-FCS-038.md",
      "bytes": 3366,
      "sha256": "46eb2d1925297f841a47d6aa129fd15f8f4e2ebfc8787602e7460eb31bcb05c7"
    },
    {
      "path": "entries/KL-FCS-039.json",
      "bytes": 3868,
      "sha256": "8540d5481643c2fcdac6c0480647e75bd02cb73eaea313c67df810e099b0f6d6"
    },
    {
      "path": "entries/KL-FCS-039.md",
      "bytes": 3520,
      "sha256": "395123c2d91872381f9a3187822c77351c3a492fb28002b014fe23135e793cb2"
    },
    {
      "path": "entries/KL-FCS-040.json",
      "bytes": 3636,
      "sha256": "e5274cad3af7219190f80fc059b7fdecb106516e31dac916f5c2241d5e25b3e0"
    },
    {
      "path": "entries/KL-FCS-040.md",
      "bytes": 3272,
      "sha256": "d6a8dead188e2c718d59825f21caeff897e6d18000c36fd9bd37f4c8d61c5c62"
    },
    {
      "path": "entries/KL-FCS-041.json",
      "bytes": 3718,
      "sha256": "e0d68f8400035b6f09575a0e37d4f2ab768f7b46ffc8798817b9fc22318ae4b9"
    },
    {
      "path": "entries/KL-FCS-041.md",
      "bytes": 3355,
      "sha256": "6e0fb6d6bfcfbf6f45396b482f4fa42a17d37c659a45662d43b158913c0ca066"
    },
    {
      "path": "entries/KL-FCS-042.json",
      "bytes": 3835,
      "sha256": "efacebbaf5623a27c78df1b713b30fdf515657b2bac052af6f29e5d4f497095b"
    },
    {
      "path": "entries/KL-FCS-042.md",
      "bytes": 3472,
      "sha256": "60019477ceba4259ec3b89ace4c1ae7a47e03213c34780eda1d75f714f08914c"
    },
    {
      "path": "entries/KL-FCS-043.json",
      "bytes": 3603,
      "sha256": "5d90ad749c8c7e800f79eb3ae922af96b0b7634d6372bbe510fcf477a8a2d9e5"
    },
    {
      "path": "entries/KL-FCS-043.md",
      "bytes": 3202,
      "sha256": "623667281d26fff5b6383f4576fbf106723d4321d0b8b43620d17bb58fd41d41"
    },
    {
      "path": "entries/KL-FCS-044.json",
      "bytes": 3655,
      "sha256": "b1186a7d6109344dc2a2f345d70d1c7978c91fa86d2f6de54369ef003e444084"
    },
    {
      "path": "entries/KL-FCS-044.md",
      "bytes": 3254,
      "sha256": "87adc4bf6f9f0bf5406451390a0e61fb371ea9875a554afa3b5492bf42a9b0d1"
    },
    {
      "path": "entries/KL-FCS-045.json",
      "bytes": 3692,
      "sha256": "4023e5360b0273e571a82673e83b0cf958e9e9f7f7cfbb7b2cdc02df9476f9da"
    },
    {
      "path": "entries/KL-FCS-045.md",
      "bytes": 3291,
      "sha256": "6a661117312e25b475339370d22d851ca56bac79c5991b58f33de4cf577054f3"
    },
    {
      "path": "entries/KL-FCS-046.json",
      "bytes": 3507,
      "sha256": "bf02bcc67f8c8219c5fabf2df955fcfd44778dd5d0d4ad66811c79f3848ef968"
    },
    {
      "path": "entries/KL-FCS-046.md",
      "bytes": 3129,
      "sha256": "d2bfd814338116eaf18d72a43632be5631bdebafbb194c5f9073c6a372214aa7"
    },
    {
      "path": "entries/KL-FCS-047.json",
      "bytes": 3564,
      "sha256": "1c1151ed6d54b93239631224cca19b20e8b5162e725fffc41fd3abdfde374c6e"
    },
    {
      "path": "entries/KL-FCS-047.md",
      "bytes": 3188,
      "sha256": "028c3e79f803e8959441e061afeca3d1e0ac645b5dc94f7d808357408c2a867a"
    },
    {
      "path": "entries/KL-FCS-048.json",
      "bytes": 3639,
      "sha256": "b91ea67c9f9476524b32c75f51ca66a514684f6d5226e5f19560a190b2278423"
    },
    {
      "path": "entries/KL-FCS-048.md",
      "bytes": 3262,
      "sha256": "514d9bec71ce905ecc20f87757e63de759b448c19c316a212f9b31ca180517f7"
    },
    {
      "path": "entries/KL-FCS-049.json",
      "bytes": 3596,
      "sha256": "a674df92e1a3724fb6425e60d96e28de01d373332a3ea6f9620362cb116322cb"
    },
    {
      "path": "entries/KL-FCS-049.md",
      "bytes": 3264,
      "sha256": "b95a3afafefe37b125308774d5aa0442c1cc0793dd1140b4b132fb3458499b1e"
    },
    {
      "path": "entries/KL-FCS-050.json",
      "bytes": 3652,
      "sha256": "395c5fcc1fec4c247797eeb2a459fa03f7697c6142dab3fb6819676efe7c7c9c"
    },
    {
      "path": "entries/KL-FCS-050.md",
      "bytes": 3321,
      "sha256": "f0aa2851b5248f7ee6d66a71d63d654b2a4b0859bdcd00c85491885c3008648c"
    },
    {
      "path": "entries/KL-FCS-051.json",
      "bytes": 3761,
      "sha256": "c85bca38d10e3d36fcc5897da7b6a715c5affd5bad1d6c622bac62641223a7de"
    },
    {
      "path": "entries/KL-FCS-051.md",
      "bytes": 3457,
      "sha256": "3ac945a732f2270a2c5317133754260eb6973d90e903e68affa726127873d44d"
    },
    {
      "path": "entries/KL-FCS-052.json",
      "bytes": 3764,
      "sha256": "a70807e16be0b36ec07016d85e2aab978c30b9f2b0afbc45a1c0e6442b200585"
    },
    {
      "path": "entries/KL-FCS-052.md",
      "bytes": 3401,
      "sha256": "ad3255b3fa69ef18c9cb24d7454cabcaa8724fb4c57cba07496c4a74a70f0599"
    },
    {
      "path": "entries/KL-FCS-053.json",
      "bytes": 4103,
      "sha256": "3e104dfdd4a50268fa65b10185d4ba4071cbac55b551a57c7c1d0810dc2d61c2"
    },
    {
      "path": "entries/KL-FCS-053.md",
      "bytes": 3740,
      "sha256": "01f68e75813e80c1d28637e0baf16c144565de8e0e85ffa343ce286d8607c411"
    },
    {
      "path": "entries/KL-FCS-054.json",
      "bytes": 3766,
      "sha256": "008b71fb42b5f6ef42a3d252e96353f8a21f4f51a7d5a1045026aedda06d1b5f"
    },
    {
      "path": "entries/KL-FCS-054.md",
      "bytes": 3404,
      "sha256": "cb983c3b70526568234d689ae9439bb905f5c644963704c9ecf2af14bb7cf79a"
    },
    {
      "path": "entries/KL-FCS-055.json",
      "bytes": 3638,
      "sha256": "2b2e5a8281f4178a54a9d8010a9217180f159e3bc3c7c5b552f8d28a4012d19c"
    },
    {
      "path": "entries/KL-FCS-055.md",
      "bytes": 3303,
      "sha256": "82531c0ea3bd5983f80ebdda8b9ebe5e9a76a1cd7b51da928b7c9cedaa881405"
    },
    {
      "path": "entries/KL-FCS-056.json",
      "bytes": 3634,
      "sha256": "1c456f09b147fe414a2173b839b8e93522ca4139ff761b5d2314ccc02e3a2fd7"
    },
    {
      "path": "entries/KL-FCS-056.md",
      "bytes": 3297,
      "sha256": "51fb586b9d8818ecc92b3115f6f562f2347536ba18e0fc2ca9573a6adef4266a"
    },
    {
      "path": "entries/KL-FCS-057.json",
      "bytes": 3574,
      "sha256": "b491bf39a98c7aa68b17eed86560a62ea9886cb3bc2964f4d3379989237bb17d"
    },
    {
      "path": "entries/KL-FCS-057.md",
      "bytes": 3237,
      "sha256": "761d6f4577b96e0fbf353348b3a820d5a5cc4f9718e1b1984303585158dec194"
    },
    {
      "path": "entries/KL-FCS-058.json",
      "bytes": 4128,
      "sha256": "bfa2470663d83e5fa79e1b7e2614c2678005046ba71207549af8be235a9a93b6"
    },
    {
      "path": "entries/KL-FCS-058.md",
      "bytes": 3782,
      "sha256": "89a6c1977cb5d84e004124ca5558c90e90e187d107725113d666ef752a5fde51"
    },
    {
      "path": "entries/KL-FCS-059.json",
      "bytes": 4079,
      "sha256": "7bad698c351e125e62e3ba286c6834d4409683bab308434a335aba102e7eb576"
    },
    {
      "path": "entries/KL-FCS-059.md",
      "bytes": 3733,
      "sha256": "82c005da0172ef23f4bd54483911c7c87af299d7a7380a3c2913d2a01d5db3b3"
    },
    {
      "path": "entries/KL-FCS-060.json",
      "bytes": 4392,
      "sha256": "8ede60fde2450ece09f0586a0d0f8d5845e8f99ae573bd2eb64b3020b8255a68"
    },
    {
      "path": "entries/KL-FCS-060.md",
      "bytes": 4048,
      "sha256": "dd3e447f80be7b602d75b2749364edbf2c54710cae2e3693887386a221242f74"
    },
    {
      "path": "entries/KL-FCS-061.json",
      "bytes": 3741,
      "sha256": "d350c4be538181c84cbe9ade395f5cbdc4471ebaa321edafc1b962550b94e6e5"
    },
    {
      "path": "entries/KL-FCS-061.md",
      "bytes": 3396,
      "sha256": "095f90fdfa3342c724b70d720032b68253b8f41d23aff61876a7c98f92651c37"
    },
    {
      "path": "entries/KL-FCS-062.json",
      "bytes": 3728,
      "sha256": "7028eec1927695a9e40b45bacf48bcf8f2f128a46e239d1841f6124506375dd1"
    },
    {
      "path": "entries/KL-FCS-062.md",
      "bytes": 3384,
      "sha256": "e38b811bb5e13a4308ecac3e0741301e71c796f4489eadf3bfdb7336839f0057"
    },
    {
      "path": "entries/KL-FCS-063.json",
      "bytes": 3642,
      "sha256": "481eed869fb010ca8d77da7eb280ae4c5165c73b7c5c9f6a6900285e5ecd5bec"
    },
    {
      "path": "entries/KL-FCS-063.md",
      "bytes": 3295,
      "sha256": "3c3f18fd21d37584110f72466804f8e1b07c75d2354d7a329b9e6fbdd5da42e6"
    },
    {
      "path": "entries/KL-FCS-064.json",
      "bytes": 4176,
      "sha256": "932da1762dad0f3e28cba14471104d8af713b7392774308b229187dfae9d3b3c"
    },
    {
      "path": "entries/KL-FCS-064.md",
      "bytes": 3797,
      "sha256": "3d5a462f3a4fcf1e525b07beb321ab29f485bf020738e3f8ef47a27ebf5379b3"
    },
    {
      "path": "entries/KL-FCS-065.json",
      "bytes": 3927,
      "sha256": "88dce930f04dee4b56216bf8b5d3bbf34b376066cb568507447492faf4a99639"
    },
    {
      "path": "entries/KL-FCS-065.md",
      "bytes": 3547,
      "sha256": "b81d0bacacb32fea4b7077bd0dc06d88350302194e8bde6dfc2f5a4091bfd9fe"
    },
    {
      "path": "entries/KL-FCS-066.json",
      "bytes": 4309,
      "sha256": "9982aed9a214e71e019c84d84ffa97e937d919e4157520b0a1ee96d3abc774e0"
    },
    {
      "path": "entries/KL-FCS-066.md",
      "bytes": 3930,
      "sha256": "62f670498f79744bdaefad283e0943c02e063024fbfa03303379784aa0135581"
    },
    {
      "path": "index.html",
      "bytes": 240774,
      "sha256": "2dce9ad1f22651134a2120bb7a9cd734caba39a71fe5f45f119ba99a4345ac00"
    },
    {
      "path": "kenton-formal-cs-0.1.0.zip",
      "bytes": 40293,
      "sha256": "22f81e3ae879f7b17abff81d9bb1e0b78c390212dee67b5970c8b51c1f637da5"
    },
    {
      "path": "kenton-formal-cs-1.0.0.zip",
      "bytes": 313305,
      "sha256": "ae1a2f5aadafabc208404d5a5425721f9bbfdfc3204966192046d98b5c9f17d4"
    },
    {
      "path": "labs.js",
      "bytes": 18385,
      "sha256": "71dacf2ecc5da09dfd9e51fd3022499468c7e46088ea7af8a92d85dcda1fc267"
    },
    {
      "path": "publishing-guidelines.md",
      "bytes": 6748,
      "sha256": "8fc6832e451cd52cc20bee487a2121e7b5132a7bb532d4dc06e4cb6b2549f034"
    },
    {
      "path": "record.schema.json",
      "bytes": 3796,
      "sha256": "a89410b16b93ab7b344ff4ba84b8c63c8e31e825b63ac601573ed02f43d3ab5b"
    },
    {
      "path": "research-plan.md",
      "bytes": 3356,
      "sha256": "b69c6d196b2a3f69591ecb870089524fd298593db3e301cc2c380039200dbf97"
    },
    {
      "path": "styles.css",
      "bytes": 11278,
      "sha256": "8500fc91aec3968df9586fea576c64ae26f739fd5e7ce05e49e97d260d81dda0"
    },
    {
      "path": "verification.json",
      "bytes": 15349,
      "sha256": "b59e6cbecd747e08aa271235350407c64f4c8670e4cce9a78dea03a00f9fe377"
    },
    {
      "path": "wordmark-chalk.svg",
      "bytes": 2950,
      "sha256": "6962aee2ff2f0c4a71298295e3f1140cc536accd4fd366c8e12e4772ebcf6a52"
    },
    {
      "path": "wordmark-ink.svg",
      "bytes": 2950,
      "sha256": "76982ecf29c621df3c03e81c0aa45f8c8e4f9705c18a74323c302074cdaf47bd"
    }
  ]
}