intro_patterns.v 6.09 KB