
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
The circumference of a circle $D$ is 72 meters. Calculate the length of $\widehat{EF}$ if the angle at the center $\angle EDF$ measures $90^\circ$. [asy]
import markers;

import olympiad; import geometry; import graph; size(150); defaultpen(linewidth(0.9));
draw(Circle(origin,1));
draw(dir(90)--origin--dir(0));
label("$E$",dir(90),N);
label("$D$",origin,S);
label("$F$",dir(0),E);
markangle(Label("$90^{\circ}$"),dir(0),origin,(0,1),radius=20);
[/asy]

Present the answer in LaTex format: \boxed{Your answer}
user