11 8256 1120 true
0 7 8 10 14 19 25 29 30 32 37