12 1991 517 true
0 3 4 9 10 11 18 26 28 31 33 35