4 23 217 true
0 1 3 12