100644 blob 59f9c6550365d98be3dc7c17a1984ff1a0d2593e	Dockerfile
100644 blob d593239fb9313946fbc09cb4689a721bc7bad91d	basicstuff_fuzzer.cc
100755 blob 0c90a1751b4334e2cd2d5e3bb48649dd18882e60	build.sh
100644 blob b64d68b1809533d794008ec14898cbc9be36871b	project.yaml
100644 blob 0cd8b6c885b024d84c5e08295688a9c7922303ec	solver_fuzzer.cc