11 10350 800 true
2 3 5 6 8 16 17 20 28 34 37