f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
n4 2: Searching: query_width(Candidate Variable_0)n4 2: Searching: query_width(Candidate Variable_1)
5 3: Searching: area(Candidate Variable_1)5 3: Searching: area(Candidate Variable_2)
6 4: Found: area(800)6 4: Found: area(800)
n7 5: Searching: length(Candidate Variable_2)n7 5: Searching: length(Candidate Variable_3)
8 6: Found: length(32)8 6: Found: length(32)
t9 7: Searching: calculate_width(800, 32, Candidate Variable_0)t9 7: Searching: calculate_width(800, 32, Candidate Variable_1)
10 8: Searching: _14512 is 800/3210 8: Searching: _13900 is 800/32
11 9: Found: 25.0 is 800/3211 9: Found: 25 is 800/32
12 10: Found: calculate_width(800, 32, 25.0)12 10: Found: calculate_width(800, 32, 25)
13 11: Found: query_width(25.0)13 11: Found: query_width(25)
14 12: Searching: _5830 is 25
15 13: Found: 25 is 25
14 12: Found: query(25.0) | {'Result': 'Answer = 25.0'}16 14: Found: query(25) | {'Result': 'Answer = 25'}
17 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op