f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
n4 2: Searching: _13904=7n4 2: Searching: _13900=7
5 3: Found: 7=75 3: Found: 7=7
n6 4: Searching: _15130=4n6 4: Searching: _15126=4
7 5: Found: 4=47 5: Found: 4=4
n8 6: Searching: _16356=5n8 6: Searching: _16352=5
9 7: Found: 5=59 7: Found: 5=5
10 8: Searching: total_hours(7, 4, 5, Candidate Variable_0)10 8: Searching: total_hours(7, 4, 5, Candidate Variable_0)
n11 9: Searching: _18202 is 7*4n11 9: Searching: _18198 is 7*4
12 10: Found: 28 is 7*412 10: Found: 28 is 7*4
n13 11: Searching: _19328 is 7*5n13 11: Searching: _19430 is 7*5
14 12: Found: 35 is 7*514 12: Found: 35 is 7*5
n15 13: Searching: _20454 is 28+35n15 13: Searching: _5830 is 28+35
16 14: Found: 63 is 28+3516 14: Found: 63 is 28+35
17 15: Found: total_hours(7, 4, 5, 63)17 15: Found: total_hours(7, 4, 5, 63)
18 16: Found: query(63) | {'Result': 'TotalHours = 63'}18 16: Found: query(63) | {'Result': 'TotalHours = 63'}
tt19 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op