6 507 257 true
1 12 15 20 31 33