6 42 192 true
0 9 12 13 18 30