(mod (total alice_image bob_share new_validation justification)
(include *standard-cl-21*)
(include assert.clinc)
(include curry.clinc)
(include shatree.clinc)
(include sha256tree.clinc)
(defconst bhash 0x95ede41294f5b1fc1a6b4b6ad4309eb6f11a1b564480b1b9e7964a29fdd97b2c)
(assert
(= new_validation (curry_hashes bhash (sha256 1 alice_image)))
(not bob_share)
0
)
)