f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: _13904=5274 2: Searching: _13900=527
53: Found: 527=5275 3: Found: 527=527
64: Searching: _15130=5546 4: Searching: _15126=554
75: Found: 554=5547 5: Found: 554=554
86: Searching: total_chocolate_chip_cookies(527, 554, Candidate Variable_0)8 6: Searching: total_chocolate_chip_cookies(527, 554, Candidate Variable_0)
97: Searching: _18202 is 527+5549 7: Searching: _5830 is 527+554
108: Found: 1081 is 527+55410 8: Found: 1081 is 527+554
119: Found: total_chocolate_chip_cookies(527, 554, 1081)11 9: Found: total_chocolate_chip_cookies(527, 554, 1081)
1210: Found: query(1081) | {'Result': 'TotalCookies = 1081'}12 10: Found: query(1081) | {'Result': 'TotalCookies = 1081'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op