soft3/conformance/fixtures/zheng/hash-42.proof ฯ 0.0% 8 words ยท 1 min Binary file: soft3/conformance/fixtures/zheng/hash-42.proof Size: 2.1 KB Type: proof Graph Graph