100644 blob efc78e7c4679c62a591d5b12297772fdaae25c94	formality.log
100644 blob bfd32fa80cde946fff4400004e10e2aeae60745f	synth.log
100644 blob d772e53a5a098d8c6e27873f32d6e2382d3f0854	synth.v