12 525 233 true
0 1 5 7 10 12 16 17 20 27 32 35