store current verification, store all replacement atoms sym in a set, store verifications by replacement atom sym
store current verification, store all replacement atoms sym in a set, store verifications by replacement atom sym

hexhex/hexlite,hexhex/hexlite,hexhex/hexlite