b11 := (2,3)(5,6)(8,9)(11,12);