bin1 := (1,2)(4,6)(7,8);