GeometricSceneA.,B.,C.,D.,O.,E.,F.,G.,H.,{},CircleThroughA.,O.,B.∈CircleThroughA.,O.,C.∈CircleThroughA.,O.,D.∈CircleThroughA.,O.,GeometricAssertionLineA.,O.,C.,LineB.,O.,D.,"Perpendicular",GeometricAssertionLine[E.,B.,F.],CircleThroughA.,O.,"Tangent",B.,GeometricAssertionLineF.,C.,G.,CircleThroughA.,O.,"Tangent",C.,GeometricAssertionLineH.,D.,G.,CircleThroughA.,O.,"Tangent",D.,GeometricAssertionLine[E.,A.,H.],CircleThroughA.,O.,"Tangent",A.,GeometricAssertionPolygonE.,F.,G.,H.,"Regular"