6 545 256 true
0 1 4 6 9 12