node_modules
.env
coverage
coverage.json
typechain
typechain-types
#Hardhat files
cache
artifacts
.certora_internal