7 202 278 true
0 1 16 17 19 23 31