12 14342 857 true
2 5 6 7 15 16 18 23 28 31 32 37