f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: candy_difference(Candidate Variable_0)4 2: Searching: candy_difference(Candidate Variable_0)
53: Searching: initial_candy_count(Candidate Variable_1)5 3: Searching: initial_candy_count(Candidate Variable_1)
64: Found: initial_candy_count(100)6 4: Found: initial_candy_count(100)
75: Searching: candy_consumed(4, 14, Candidate Variable_2)7 5: Searching: candy_consumed(4, 14, Candidate Variable_2)
86: Searching: _15734 is 4*148 6: Searching: _15726 is 4*14
97: Found: 56 is 4*149 7: Found: 56 is 4*14
10 8: Found: candy_consumed(4, 14, 56)
108: Searching: candy_consumed(3, 14, Candidate Variable_3)11 9: Searching: candy_consumed(3, 14, Candidate Variable_3)
119: Searching: _15734 is 3*1412 10: Searching: _18190 is 3*14
1210: Found: 42 is 3*1413 11: Found: 42 is 3*14
14 12: Found: candy_consumed(3, 14, 42)
1311: Searching: remaining_candy(100, 56, Candidate Variable_4)15 13: Searching: remaining_candy(100, 56, Candidate Variable_4)
1412: Searching: _15734 is 100-5616 14: Searching: _20654 is 100-56
1513: Found: 44 is 100-5617 15: Found: 44 is 100-56
18 16: Found: remaining_candy(100, 56, 44)
1614: Searching: remaining_candy(100, 42, Candidate Variable_5)19 17: Searching: remaining_candy(100, 42, Candidate Variable_5)
1715: Searching: _15734 is 100-4220 18: Searching: _23118 is 100-42
1816: Found: 58 is 100-4221 19: Found: 58 is 100-42
22 20: Found: remaining_candy(100, 42, 58)
1917: Searching: _5834 is 58-4423 21: Searching: _5830 is 58-44
2018: Found: 14 is 58-4424 22: Found: 14 is 58-44
2119: Found: candy_difference(14)25 23: Found: candy_difference(14)
2220: Found: query(14) | {'Result': 'Difference = 14'}26 24: Found: query(14) | {'Result': 'Difference = 14'}
27 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op