3 42 80 true
13 17 31