0(20925,0):  35  [rn,rn,rn,rn,rn,rn,rn]  0  0  0  0  0  0  0   (*,*)  (*,*)  (*,*)  (*,*)  (*,*)  (*,*)  (*,*)  9  1,2,3,1,4,2,3,1,4,3,5,4,2,3,1,4,3,5,4,2,6,5,4,2,3,1,4,3,5,4,2,6,5,4,3,1,7,6,5,4,2,3,1,4,3,5,4,2,6,5,4,3,1,7,6,5,4,2,3,4,5,6,7