Mara the shape shifter

Choose one
- Search target opponents library for {x} amount of cards
- DESTROY {x} creatures except for the ones you control
- Create {x} 12/13 tokens
- add {x} mana of any color to your mana pool
- create 12 45/45 add you have to pay 40 life to
do this option