z1 := (7,10)(8,9)(11,12)(13,19)(14,20)(15,21)(16,22)(17,23)(18,24)(25,26)(27,
     29)(28,30)(31,37)(32,38)(33,39)(34,40)(35,41)(36,42);