It's included. I'll push work in a few hours. But I had to do it using
defaultdict rather than Naturals0.