8 256 407 true
4 7 10 11 12 26 36 38