bin1 := (2,10)(4,11)(5,7)(8,9);