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: sock_count(28, 36, Candidate Variable_0)4 2: Searching: sock_count(28, 36, Candidate Variable_0)
53: Searching: _14516 is 28-45 3: Searching: _14522 is 28-4
64: Found: 24 is 28-46 4: Found: 24 is 28-4
75: Searching: _19444 is 24+367 5: Searching: _5830 is 24+36
86: Found: 60 is 24+368 6: Found: 60 is 24+36
97: Found: sock_count(28, 36, 60)9 7: Found: sock_count(28, 36, 60)
108: Found: query(60) | {'Result': 'TotalSocks = 60'}10 8: Found: query(60) | {'Result': 'TotalSocks = 60'}
11 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op