opd -s schemas.v0_0_2 2221230822094041230a4142
(((equal (sha256 x0) x1)) (reduce x1 x2))
