8 1253 388 true
4 5 7 16 23 32 35 36