Okay, here's one approach to A9s. There are only four fundamentally different A9s (that is, non-isomorphic cases) and here's a list of these:
A-perm: x R2 [R U R', D2] R2
Variation of A-perm x R2 [R U2 R', D2] R2 (notice the similarity with the case above)
Headlights: R2 [D, R' U2 R] R2...