ser 1 9
inc
ser 1 20
inc
ser 1 31
inc
ser 4 9
inc
ser 4 20
inc
ser 4 31
inc
ser 4 42
inc
7 7
ser 7 7
rep
ser 7 8
ser 7 14
  7 15
ser 7 24
rep
ser 7 25
ser 7 31
  7 32
ser 7 43
inc
ser 7 43
inc
ser 7 43
inc
ser 7 43
inc
ser 7 24
rep
ser 7 25
ser 7 31
  7 32
ser 7 43
inc
ser 7 43
inc
ser 7 43
inc
ser 7 43
inc
ser 7 24
rep
ser 7 25
ser 7 31
  7 32
ser 7 43
inc
ser 7 43
inc
ser 7 43
inc
ser 7 43
inc
ser 8 8
pri
10 8
ser 10 8