040000 tree 4446d0e5e8e02dce34a7addf8132228133e41b7d	01-basic
040000 tree 5ef7ade295bb2a6a4b36596233d723dd0bd7edff	02-poly
040000 tree 72b2f04ea242ee884e7a7c00483d370208f5f01b	03-non-strictly-positive
040000 tree 6e8dae2da7373b2fb212a9d5b047c1bc53f33b20	04-harder-non-strictly-positive
040000 tree 661ac60cebb98fc5b258636fdbe7768799504876	05-strictly-positive-allowed
040000 tree c3de7c2996b44a31796de0970ccb4b65ece8a27c	06-list-push
040000 tree d98562236723cf69a09f11c586e88e92f52beb98	07-self-calling
040000 tree 0aade0f402985042ca38ed99da7ae4f248efb6f8	08-list-sum
040000 tree 5edf7b4e4e86ed9824aa76b08b59ce13f7473dc7	09-map
040000 tree 1730054bba497aa14db92db71b0207d4432e57e5	10-bang-incompatible
040000 tree 47c6241437bd8aeef35e0240510a205531fa58ae	11-incompatible-recpars
040000 tree de07fdacf8a8824efafbb4ab002e8d62bc8d2101	12-alpha-equivalent-recpars