{
  "files": ["src/Rln.sol"],
  "msg": "Verifying Rln.sol",
  "rule_sanity": "basic",
  "verify": "Rln:certora/specs/Rln.spec",
  "wait_for_results": "all",
}