15 4080 1533 true
0 7 9 21 23 32 33 42 47 54 59 67 80 87 90