z1 := (3,4)(5,7)(6,9)(11,16)(13,18)(14,20)(15,22)(17,26)(19,24)(21,31)(23,30)
     (28,37)(35,41)(36,39)(40,43);