100644 blob 2cc821efcc4d33292a91379bdb0dee9ee0e10755	formality.log
100644 blob 279e37c92eb66cdf0525cfd7e159381688cb39c0	synth.log
100644 blob 61295434524c1b9a237f025159a696c646edea82	synth.v