true 13 40 true
0 6 13 15 17 31 38 40 43 45 64 65 81 87 95 109 117 120 123 127 129