13 3707 1254 true
4 7 15 29 33 42 46 69 81 84 85 86 92