true 13 30 true
2 3 4 5 7 13 15 29 45 50 51 61 65 80 87 94 102 117