9 1993 507 true
3 6 8 9 10 15 27 31 37