9,3,3,(1000),3,1,3,13
10,3,4,(2000),3,1,9,19
11,3,8,(3000),3,1,15,23
12,3,8,"(3000)",16,1,24,23
13,3,1,"(3100)",3,1,3,1
13,6,1,"(3100)",3,2,3,2
14,3,7,"(4000)",3,1,14,16
15,3,7,"(4000)",15,1,32,16