Efficiency of Profinite Rigidity of Triangle Groups

It is already known that finitely-generated Fuchsian groups are profinitely rigid among all lattices of connected Lie groups by the result of Bridson, Conder and Reid. Hence the triangle groups are distinguished among themselves by their finite quotients. We focus on the question about quantifying the size of a quotient which separates two triangle groups and give an explicit upper bound.