6 135 142 true 0 1 9 12 20 31