../../Task/Mandelbrot-set/ACL2