AC-Schnitzer ACL2-BMW-m2 (6)