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)
4 2: Searching: bad_oranges(24, Candidate Variable_0)4 2: Searching: bad_oranges(24, Candidate Variable_0)
n5 3: Searching: ratio(_, Candidate Variable_1)n5 3: Searching: ratio(Candidate Variable_1, Candidate Variable_2)
6 4: Found: ratio(3, 1)6 4: Found: ratio(3, 1)
tt7 5: Searching: 24=24
8 6: Found: 24=24
7 5: Searching: _14512 is 24/39 7: Searching: _5830 is 24/1*1
8 6: Found: 8 is 24/3
9 7: Searching: _16976 is 8*1
10 8: Found: 8 is 8*110 8: Found: 24 is 24/1*1
11 9: Found: bad_oranges(24, 8)11 9: Found: bad_oranges(24, 24)
12 10: Found: query(8) | {'Result': 'BadOranges = 8'}12 10: Found: query(24) | {'Result': 'BadOranges = 24'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op