13 966 480 true
0 1 3 10 17 18 20 21 22 23 37 38 39