7 772 380 true
0 6 13 15 16 17 23