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