12 9236 865 true
1 2 3 4 7 11 13 15 17 20 31 33