s/runAgda2ATP/runApia.