12 2002 507 true
0 1 8 12 13 15 20 26 32 34 35 38