pureApplyPoly, pureGetRecursiveDefI
Add euler1 and prints of Binary encode of inferred