12 1993 583 true
0 2 5 6 12 14 23 27 31 32 34 35