f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: query(TotalPeople)3 1: Searching: query(Candidate Variable_0)
42: Searching: query_people_in_line(TotalPeople)4 2: Searching: query_people_in_line(Candidate Variable_0)
53: Searching: people_in_line(12, 10, 15, TotalPeople)5 3: Searching: people_in_line(12, 10, 15, Candidate Variable_0)
64: Searching: _15130 is 12-10+156 4: Searching: _5830 is 12-10+15
75: Found: 17 is 12-10+157 5: Found: 17 is 12-10+15
86: Found: people_in_line(12, 10, 15, 17)8 6: Found: people_in_line(12, 10, 15, 17)
97: Found: query_people_in_line(17)9 7: Found: query_people_in_line(17)
108: Found: query(17) | {'Result': 'TotalPeople = 17'}10 8: Found: query(17) | {'Result': 'TotalPeople = 17'}
11 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op