Let O be the circumcenter of an acute triangle ABC. Suppose that the circumradius of the triangle is R=2p, where p is a prime number. The lines AO,BO,CO meet the sides BC,CA,AB at A1,B1,C1, respectively. Given that the lengths of OA1,OB1,OC1 are positive integers, find the side lengths of the triangle. circumradiussidelenghtsgeometry