GeometricSceneA.,B.,C.,O.,D.,E.,F.,G.,H.,L.,M.,P.,Q.,R.,S.,X.,Y.,Z.,{},CircleThroughA.,O.,Triangle[D.,E.,F.],LineG.,E.,D.,H.,LineO.,A.,B.∈CircleThroughA.,O.,LineO.,B.,PlanarAngleB.,O.,A.PlanarAngleF.,E.,G.,C.∈CircleThroughA.,O.,GeometricAssertionC.,B.,"OppositeSides",LineO.,A.,LineO.,C.,PlanarAngleC.,O.,A.PlanarAngle[F.,D.,H.],GeometricAssertionInfiniteLine[M.,A.,L.],CircleThroughA.,O.,"Tangent",A.,GeometricAssertionInfiniteLineP.,B.,Q.,CircleThroughA.,O.,"Tangent",B.,GeometricAssertionInfiniteLineR.,C.,S.,CircleThroughA.,O.,"Tangent",C.,GeometricAssertionInfiniteLine[M.,L.],InfiniteLineP.,Q.,"Concurrent",X.,GeometricAssertionInfiniteLine[M.,L.],InfiniteLineR.,S.,"Concurrent",Y.,GeometricAssertionInfiniteLineR.,S.,InfiniteLineP.,Q.,"Concurrent",Z.,GeometricAssertionTriangle[X.,Y.,Z.],Triangle[D.,E.,F.],"Similar"