I'm not sure at all! My calculation came out very wrong, and a quick sanity check should have told me it's implausible that it's in the trillions. Anyway, 486

I'm not sure at all! My calculation came out very wrong, and a quick sanity check should have told me it's implausible that it's in the trillions. Anyway, 4862 times is still a substantial complexity reduction. Thanks for the correction.