5 42 133 true
1 12 15 18 31