# ======================================== 
# Trajectory: 0                            
# Model:      encruft                      
# Key:                                     
# Method:     random                       
#                                          
# Events:     118                          
# Including failure information.           
# ======================================== 
# Step: 1, Trajectory: 0 
[Enter]."Invoke"
# Step: 2, Trajectory: 0 
[Main Window, No File]."New"
# Step: 3, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 4, Trajectory: 0 
[Main Window, File, Edits]."Rename"
# Step: 5, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 6, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 7, Trajectory: 0 
[Main Window, File, Edits]."IOError"
# Step: 8, Trajectory: 0 
[Main Window, File]."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]."New"
# Step: 19, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 20, Trajectory: 0 
[Main Window, File, Edits]."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]."Edit"
# Step: 29, Trajectory: 0 
[Main Window, File, Edits]."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]."IO_Save_Error"
# 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]."Edit"
# Step: 40, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 41, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 42, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 43, Trajectory: 0 
[Main Window, File, Edits]."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]."Open"
# Step: 47, Trajectory: 0 
[Main Window, File]."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]."IO_Save_Error"
# 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]."Rename"
# Step: 57, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 58, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 59, Trajectory: 0 
[Main Window, File, Edits]."Open"
# Step: 60, Trajectory: 0 
[Main Window, File]."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]."Open"
# Step: 68, Trajectory: 0 
[Main Window, File]."New"
# Step: 69, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 70, Trajectory: 0 
[Main Window, File, Edits]."New"
# Step: 71, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 72, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 73, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 74, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 75, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 76, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 77, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 78, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 79, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 80, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 81, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 82, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 83, Trajectory: 0 
[Main Window, File, Edits]."Open"
# Step: 84, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 85, Trajectory: 0 
[Main Window, File, Edits]."SaveErrorAbort"
# Step: 86, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 87, Trajectory: 0 
[Main Window, File, Edits]."Revert"
# Step: 88, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 89, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 90, Trajectory: 0 
[Main Window, File, Edits]."SaveErrorAbort"
# Step: 91, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 92, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 93, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 94, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 95, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 96, Trajectory: 0 
[Main Window, File, Edits]."SaveErrorAbort"
# Step: 97, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 98, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 99, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 100, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 101, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 102, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 103, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 104, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 105, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 106, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 107, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 108, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 109, Trajectory: 0 
[Main Window, File, Edits]."New"
# Step: 110, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 111, Trajectory: 0 
[Main Window, File, Edits]."SaveErrorAbort"
# Step: 112, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 113, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 114, Trajectory: 0 
[Main Window, File, Edits]."New"
# Step: 115, Trajectory: 0 
[Main Window, File]."Edit"
# Step: 116, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 117, Trajectory: 0 
[Main Window, File, Edits]."Edit"
# Step: 118, Trajectory: 0 
[Main Window, File, Edits]."Exit"
