true 11 36 true
0 7 15 17 31 43 45 61 64 65 81 87 89 93 95 100 109 112 120 122 123 127 129