12 512 394 true
0 10 11 14 17 23 25 27 28 29 33 37