11 8023 774 true
0 4 7 9 12 15 16 17 23 30 31