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: total_packages(Candidate Variable_0)4 2: Searching: total_packages(Candidate Variable_0)
5 3: Searching: remaining_cupcakes(Candidate Variable_1)5 3: Searching: remaining_cupcakes(Candidate Variable_1)
6 4: Searching: initial_cupcakes(Candidate Variable_2)6 4: Searching: initial_cupcakes(Candidate Variable_2)
7 5: Found: initial_cupcakes(50)7 5: Found: initial_cupcakes(50)
8 6: Searching: todd_ate(Candidate Variable_3)8 6: Searching: todd_ate(Candidate Variable_3)
9 7: Found: todd_ate(5)9 7: Found: todd_ate(5)
n10 8: Searching: _15734 is 50-5n10 8: Searching: _14508 is 50-5
11 9: Found: 45 is 50-511 9: Found: 45 is 50-5
12 10: Found: remaining_cupcakes(45)12 10: Found: remaining_cupcakes(45)
13 11: Searching: cupcakes_per_package(Candidate Variable_4)13 11: Searching: cupcakes_per_package(Candidate Variable_4)
14 12: Found: cupcakes_per_package(5)14 12: Found: cupcakes_per_package(5)
n15 13: Searching: _5834 is 45//5n15 13: Searching: _5830 is 45//5
16 14: Found: 9 is 45//516 14: Found: 9 is 45//5
17 15: Found: total_packages(9)17 15: Found: total_packages(9)
18 16: Found: query(9) | {'Result': 'Packages = 9'}18 16: Found: query(9) | {'Result': 'Packages = 9'}
tt19 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op