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)
4 2: Searching: cookie_packs(Candidate Variable_1)4 2: Searching: cookie_packs(Candidate Variable_1)
5 3: Found: cookie_packs(4)5 3: Found: cookie_packs(4)
6 4: Searching: cake_packs(Candidate Variable_2)6 4: Searching: cake_packs(Candidate Variable_2)
7 5: Found: cake_packs(22)7 5: Found: cake_packs(22)
8 6: Searching: chocolate_packs(Candidate Variable_3)8 6: Searching: chocolate_packs(Candidate Variable_3)
9 7: Found: chocolate_packs(16)9 7: Found: chocolate_packs(16)
10 8: Searching: total_packs(4, 22, 16, Candidate Variable_0)10 8: Searching: total_packs(4, 22, 16, Candidate Variable_0)
n11 9: Searching: _5834 is 4+22+16n11 9: Searching: _5830 is 4+22+16
12 10: Found: 42 is 4+22+1612 10: Found: 42 is 4+22+16
13 11: Found: total_packs(4, 22, 16, 42)13 11: Found: total_packs(4, 22, 16, 42)
14 12: Found: query(42) | {'Result': 'TotalPacks = 42'}14 12: Found: query(42) | {'Result': 'TotalPacks = 42'}
tt15 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op