100644 blob 4a2e086c304b519f5dfdd093d369c5c119e61d50	btc_miner_top.def
100644 blob a54115f00e36be8494c2a0f2aafb47d35b00f1df	sha1_top.def
100644 blob 1727baefaa6bbd5b244e0bf885c2c3e151b73636	user_adder.def
100644 blob 3b7fe4c7cb1e0f5c4bf1f003b8abf01ce11b8de6	user_proj_example.def
100644 blob c9e52341132f25e3a2766b91ed06fad6859d7fce	user_project_wrapper.def