true 16142 4789 true
0 1 4 8 12 13 14 15 16 17 20 24 25 27 34 36 37 38 48 49 54 55 58 64 66 70 80 83 87 90 94 95 116 119 123 126 130 131