(time (first-perfect-after 496))This test is included in loop-lab-test.scm.
(time (first-perfect-after-eff 496))This test is also included in loop-lab-test.scm. Note that it calls first-perfect-after-eff. It is defined in loop-lab.scm to call perfect-eff?, which calls your sum-of-divisors-eff.