12 2223 517 true
1 4 6 7 9 10 16 17 19 22 36 37