SmallNashEquilibriumCertificatesinVeryLarge Games