(mod ((ALICE_IMAGE BOB_IMAGE) total alice_preimage bob_share new_validation justification)

    (include *standard-cl-21*)
    (include assert.clinc)
    (include curry.clinc)
    (include sha256tree.clinc)
    (include shatree.clinc)
    (defconst dhash 0x7a815be243aade26245d263a1ad6e4ac5125fdf0f1279d9466f2e7bfe99a7085)

    (assert
        (= new_validation (curry_hashes dhash (shatree (list (r (divmod alice_preimage 3)) BOB_IMAGE))))
        (= ALICE_IMAGE (sha256 alice_preimage))
        (not bob_share)
        0
    )
)