GeometricSceneA.,B.,C.,D.,O.,{},CircleThroughA.,O.,B.∈CircleThroughA.,O.,C.∈CircleThroughA.,O.,D.∈CircleThroughA.,O.,GeometricAssertionLineA.,O.,C.,LineB.,O.,D.,"Perpendicular",LineA.,B.,B.,C.,C.,D.,D.,A.,GeometricAssertionPolygonA.,B.,C.,D.,"Regular"
