f1[Path 1]:f1[Path 1]:
nn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)
4 2: Searching: initial_cookies(35, 19, Candidate Variable_0)
5 3: Searching: _5830 is 35+19
6 4: Found: 54 is 35+19
7 5: Found: initial_cookies(35, 19, 54)
8 6: Found: query(54) | {'Result': 'X = 54'}
29
t30: Start of execution: Beginning Searcht
41: Searching: query(Candidate Variable_0)
52: Searching: initial_cookies(35, 19, Candidate Variable_0)
63: Found: 54 is the sum of 35 and 19
74: Found: initial_cookies(35, 19, 54)
85: Found: query(54) | {'Result': 'InitialCookies = 54'}
9 
10The code and query only follow this single path, as the problem and code are straightforward without any variables or unknowns.
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op