Lambda terms reduced with chemlambda. © Marius Buliga (2019-2021),
https://mbuliga.github.io/quinegraphs/lambda.html