PAST5K
https://gyazo.com/6479e86b1c951eb67508032cd297072f
Initial Considerations
The remaining target is 2^16
bit DP] since the domain of definition is a subset of the set
The same terms appear on the left and right side of the preceding paragraphs and need to be sorted out and eliminated.
Consideration complete
---
This page is auto-translated from /nishio/PAST5K. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.