3 42 115 true
7 12 13