Repository containing the SMT queries generated during the verification of the `LongMap`. - View it on GitHub