2 ms·

I don't have inside knowledge, but yeah, it seems extremely likely -- the sequences have been available for years, after all.

• ciphergoth 12y ago
  They didn't wait for the end of HPMoR to publish this book - they made an extra effort to have it ready in time!