9 2095 527 true
0 4 17 19 25 30 33 35 37