13 520 403 true
0 1 7 10 13 14 15 18 19 20 25 33 37