true 512 291 true
0 1 6 10 15 17 18 21 22 28 29 41 60 63 64 72 73 74 76 78 80 81 88 94 95 108 111 112 119 125 130 131 132 133 134 143