5 158 141 true
1 5 12 13 31