13 22138 1430 true
0 1 3 7 9 10 11 13 15 16 17 20 25