means produces a first parity code word such that p becomes a remainder of a calculation of dividing by L a sum of a value obtained by multiplying t by an integer constant d and a value obtained by dividing s by N1, that q is a sum of t and d, and that r becomes a remainder of a calculation of dividing by N1 a sum of t and s.