7 202 167 true
0 1 16 17 19 23 31