3 12 51 true
0 1 16