8 140 253 true
3 4 8 12 13 31 32 36