This program only checks numbers that are 1, 5, 7, or 11 more than a multiple of 12. The reason for this is that numbers that are 2, 3, 6, 8, 9, or 10 more than a multiple of 12 immediately have at least one factor of 2 and/or 3. =)
