>>26
(23,13,2)(23,13,3)?