../../Task/Sierpinski-triangle/ACL2