GeometricSceneA.,O.,B.,D.,C.,E.,{},CircleThroughA.,O.,D.∈CircleThroughA.,O.,B.∈CircleThroughA.,O.,Triangle[A.,D.,B.],PlanarAngle[D.,A.,B.]PlanarAngle[D.,B.,A.]2PlanarAngle[A.,D.,B.],C.∈CircleThroughA.,O.,E.∈CircleThroughA.,O.,InfiniteLineA.,C.AngleBisector[D.,A.,B.],InfiniteLine[B.,E.]AngleBisector[D.,B.,A.],LineB.,C.,C.,D.,D.,E.,E.,A.,GeometricAssertionPolygonA.,B.,C.,D.,E.,"Regular"
