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=38n4 2: Searching: _13900=38
5 3: Found: 38=385 3: Found: 38=38
n6 4: Searching: _15130=42n6 4: Searching: _15126=42
7 5: Found: 42=427 5: Found: 42=42
n8 6: Searching: _16356=49n8 6: Searching: _16352=49
9 7: Found: 49=499 7: Found: 49=49
10 8: Searching: total_sacks(38, 42, 49, Candidate Variable_0)10 8: Searching: total_sacks(38, 42, 49, Candidate Variable_0)
n11 9: Searching: _18202 is 38*42n11 9: Searching: _18198 is 38*42
12 10: Found: 1596 is 38*4212 10: Found: 1596 is 38*42
n13 11: Searching: _19328 is 1596/42n13 11: Searching: 38 is 1596/42
14 12: Found: 38 is 1596/4214 12: Found: 38 is 1596/42
n15 13: Searching: _20454 is 38*49n15 13: Searching: _5830 is 38*49
16 14: Found: 1862 is 38*4916 14: Found: 1862 is 38*49
17 15: Found: total_sacks(38, 42, 49, 1862)17 15: Found: total_sacks(38, 42, 49, 1862)
18 16: Found: query(1862) | {'Result': 'TotalSacks = 1862'}18 16: Found: query(1862) | {'Result': 'TotalSacks = 1862'}
tt19 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op