true 12 35 true
0 13 15 17 31 43 45 57 61 65 81 87 93 100 109 112 117 120 121 123 127 129