Wait—perhaps “divisible by 7, 11, and 13” is meant to be “divisible by 7 and 11 and 13”, i.e., divisible by lcm=1001—but again, too big. - Leaselab