100644 blob d924605e41cf5124ed6defd8c46245723a7d425d	0-aux.spectec
100644 blob 2cfdddd6c9f6b7140aeabe2a4b91921f24b48eb4	1-syntax.spectec
100644 blob 4e87317f028d14ea979b93bd37c3fc4e15ab9d80	2-syntax-aux.spectec
100644 blob aac9c987497265fa93cdb546e2afcff54cc2dcd4	3-numerics.spectec
100644 blob 581de45971828ed3dba0e07c2d38a657b4d2873c	4-runtime.spectec
100644 blob f67e0be5df82a5d7e0bb8d32b5bf2fc33ce64d6a	5-runtime-aux.spectec
100644 blob 32aad1b92a284155ad4e6a0be4cd9ae62bba74ae	6-typing.spectec
100644 blob 24ea82b09a94be69c841209fda88233ecfb840b1	8-reduction.spectec
100644 blob d6edf3fd51094444fe1de17ef3c19166a7361689	9-module.spectec
100644 blob ac8b287a4a9aaaa2a6aef12993befad2d3e242e3	A-binary.spectec