13 902 451 true
0 3 10 35 38 56 57 60 65 73 85 86 92