true 12 27 true
1 2 7 15 31 40 42 45 54 55 60 67 75 77 80 89 93 103 109