13 2771 716 true
0 1 3 7 9 10 11 13 15 16 17 20 25