9 4127 871 true
0 2 5 8 11 14 23 27 31