# ======================================== 
# Trajectory: 0                            
# Model:      encruft                      
# Key:                                     
# Method:     random                       
#                                          
# Events:     74                           
# Including failure information.           
# ======================================== 
# Step: 1, Trajectory: 0 
[Enter]."Invoke"
# Step: 2, Trajectory: 0 
[Main Window, No File]."Open"
# Step: 3, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 4, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 5, Trajectory: 0 
[Main Window, File, Edits]."New"
# 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]."Edit"
# Step: 12, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 13, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 14, Trajectory: 0 
[Main Window, File, Edits]."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]."Open"
# Step: 19, Trajectory: 0 
[Main Window, File]."Save"
# 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]."Edit"
# Step: 25, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 26, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 27, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 28, Trajectory: 0 
[Main Window, File, Edits]."Rename"
# Step: 29, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 30, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 31, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 32, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 33, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 34, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 35, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 36, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 37, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 38, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 39, Trajectory: 0 
[Main Window, File, Edits]."IOError"
# Step: 40, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 41, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 42, Trajectory: 0 
[Main Window, File, Edits]."Save"
# Step: 43, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 44, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 45, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 46, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 47, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 48, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 49, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 50, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 51, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 52, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 53, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 54, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 55, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 56, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 57, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 58, Trajectory: 0 
[Main Window, File, Edits]."IOError"
# Step: 59, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 60, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 61, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 62, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 63, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 64, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 65, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 66, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 67, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 68, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 69, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 70, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 71, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 72, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 73, Trajectory: 0 
[Main Window, File, Edits]."Open"
# Step: 74, Trajectory: 0 
[Main Window, File]."Exit"
