Public-key encryption from a trapdoor one-way embedding of $S{L}_2(\mathbb{N}$)

We obfuscate words of a given length in a free monoid on two generators with a simple factorization algorithm (namely $S{L}_2(\mathbb{N})$) to create a public-key encryption scheme. We provide a reference implementation in Python and suggested parameters. The security analysis is between weak and non-existent, left to future work.