User-Agent: Mediapartners-Google
Disallow: 

User-Agent: *
Disallow: /mix/*.*
Disallow: /search_theorems.php*
Disallow: /solver/index.php?search=*
Disallow: /common_keywords.php