13 782 505 true
0 4 7 13 15 16 17 22 23 25 27 33 37