4 12 139 true
0 8 9 15