NLeaf-23,000

A bigger version of WyomThree.