Robert,
I think your requirements would max out the x450-G2 LPM table that holds 16,000 ipv4 routes. For reference IPv6 /64 routes take up twice the space of a ipv4, and a route is a route whether it's static or not.
You need 11,000 IPv4 routes and 3,000 IPv6 (6,000 extra IPv4) makes 17,000 entries if none of them could be compressed, witch is unlikely. We can hold 25K routes in software so EXOS will optimize the routes that should be placed in HW because the x450-g2 is 1,00 short in HW.
You also will need to take into account how many host/arp address needed.