13 4050 1257 true 1 12 13 19 33 36 46 64 66 72 80 91 93