(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
    )
)