12 1972 507 true
0 2 3 4 9 22 25 28 31 32 35 36