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: plane_cost(Candidate Variable_1)4 2: Searching: plane_cost(Candidate Variable_1)
5 3: Found: plane_cost(150000)5 3: Found: plane_cost(150000)
6 4: Searching: monthly_hanger_cost(Candidate Variable_2)6 4: Searching: monthly_hanger_cost(Candidate Variable_2)
7 5: Found: monthly_hanger_cost(5000)7 5: Found: monthly_hanger_cost(5000)
8 6: Searching: monthly_fuel_cost(5000, Candidate Variable_3)8 6: Searching: monthly_fuel_cost(5000, Candidate Variable_3)
n9 7: Searching: _14520 is 5000*2n9 7: Searching: _18370 is 5000*2
10 8: Found: 10000 is 5000*210 8: Found: 10000 is 5000*2
11 9: Found: monthly_fuel_cost(5000, 10000)11 9: Found: monthly_fuel_cost(5000, 10000)
12 10: Searching: total_first_year_cost(150000, 5000, 10000, Candidate Variable_0)12 10: Searching: total_first_year_cost(150000, 5000, 10000, Candidate Variable_0)
n13 11: Searching: _16976 is 5000+10000n13 11: Searching: _21446 is 5000+10000
14 12: Found: 15000 is 5000+1000014 12: Found: 15000 is 5000+10000
t15 13: Searching: _19432 is (150000+15000)*12t15 13: Searching: _22762 is 
16 14: Found: 1950000 is (150000+15000)*1216 14: Found: 1980000 is 
17 15: Searching: _22908 is 150000+15000*1217 15: Searching: _7864 is 150000+15000*12
18 16: Found: 195000 is 150000+15000*1218 16: Found: 330000 is 150000+15000*12
19 17: Found: total_first_year_cost(150000, 5000, 10000, 195000)19 17: Found: total_first_year_cost(150000, 5000, 10000, 330000)
20 18: Found: query(195000) | {'Result': 'TotalCost = 195000'}20 18: Found: query(330000) | {'Result': 'TotalCost = 330000'}
21 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op