bin1 := (2,3)(4,6)(5,8)(7,11)(9,13)(10,15)(12,14)(16,20)(17,22)(18,23)(24,27)
     (25,28);