f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query
42: Searching: has_achieved(mark_stone, triple)4 2: Searching: has_achieved(mark_stone, triple)
53: Searching: achievement(mark_stone, Candidate Variable_0)5 3: Searching: achievement(mark_stone, triple)
64: Found: achievement(mark_stone, triple)6 4: Found: achievement(mark_stone, triple)
75: Found: has_achieved(mark_stone, triple)7 5: Found: has_achieved(mark_stone, triple)
86: Found: query | {'Result': 'query'}8 6: Found: query | {'Result': 'query'}
9 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op