(mod (ALICE_IMAGE total bob_image alice_share new_validation justification)

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

    (assert
        (= new_validation (curry_hashes chash (shatree (list ALICE_IMAGE bob_image))))
        (not alice_share)
        0
    )
)