5 147 233 true
5 7 12 13 20