true 13 12 true
0 4 5 7 10 13 16 31 33 37 42 48