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