4 183 145 true
0 1 3 12