# ======================================== 
# Trajectory: 0                            
# Model:      encruft                      
# Key:                                     
# Method:     random                       
#                                          
# Events:     24                           
# Including failure information.           
# ======================================== 
# Step: 1, Trajectory: 0 
[Enter]."Invoke"
# Step: 2, Trajectory: 0 
[Main Window, No File]."Save"
# Step: 3, Trajectory: 0 
[Main Window, File]."Save"
# Step: 4, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 5, Trajectory: 0 
[Main Window, File, Edits]."Rename"
# Step: 6, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 7, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 8, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 9, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 10, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 11, Trajectory: 0 
[Main Window, File, Edits]."IO_Save_Error"
# Step: 12, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 13, Trajectory: 0 
[Main Window, File, Edits]."Rename"
# Step: 14, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 15, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 16, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 17, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 18, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 19, Trajectory: 0 
[Main Window, File, Edits]."Revert"
# Step: 20, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 21, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 22, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 23, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 24, Trajectory: 0 
[Main Window, File, Edits]."Exit"
