# Global owner (applies to all files if not overridden below)
*					@Certora/certora-prover