in reply to finding duplicates in an array

to clarify, I assume you're using a multi-dimensional array, where each element contains another two-element array?
$array[0] = [1,12]; $array[1] = [1,13]; $array[2] = [2,14]; #etc...
or are these literal strings?
$array[0] = "(1,12)"; $array[0] = "(1,13)"; $array[0] = "(2,14)"; #etc...

__________
Build a man a fire, and he'll be warm for a day. Set a man on fire, and he'll be warm for the rest of his life.
- Terry Pratchett