7 172 251 true
8 15 16 19 23 32 37