7 142 256 true
7 9 17 20 56 63 75