12 7238 807 true
2 4 5 6 7 10 11 16 17 23 28 35