8 813 255 true
1 2 5 12 15 31 33 38