100644 blob ea2fa4a9d8119013cbdd6d882302a8cad545feaf	formality.log
100644 blob add355261b9678827d1cf5b1a9eed70d79d94ca4	synth.log
100644 blob 60b1c621a90d5da9a2ac3b6c6f347de5d2cb05d9	synth.v