f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
4 2: Searching: remaining_people(Candidate Variable_0)4 2: Searching: remaining_people(Candidate Variable_0)
5 3: Searching: initial_americans(Candidate Variable_1)5 3: Searching: initial_americans(Candidate Variable_1)
6 4: Found: initial_americans(2)6 4: Found: initial_americans(2)
7 5: Searching: initial_french(Candidate Variable_2)7 5: Searching: initial_french(Candidate Variable_2)
8 6: Found: initial_french(4)8 6: Found: initial_french(4)
9 7: Searching: initial_chinese(Candidate Variable_3)9 7: Searching: initial_chinese(Candidate Variable_3)
10 8: Found: initial_chinese(4)10 8: Found: initial_chinese(4)
11 9: Searching: people_left(Candidate Variable_4)11 9: Searching: people_left(Candidate Variable_4)
12 10: Found: people_left(3)12 10: Found: people_left(3)
n13 11: Searching: _5834 is 2-3n13 11: Searching: _19380 is 2-3
14 12: Found: -1 is 2-314 12: Found: -1 is 2-3
n15 13: Searching: _5834 is 4-3n15 13: Searching: _20612 is 4-3
16 14: Found: 1 is 4-316 14: Found: 1 is 4-3
n17 15: Searching: _5834 is 4-3n17 15: Searching: _21844 is 4-3
18 16: Found: 1 is 4-318 16: Found: 1 is 4-3
n19 17: Searching: _5834 is -1+1+1n19 17: Searching: _5830 is -1+1+1
20 18: Found: 1 is -1+1+120 18: Found: 1 is -1+1+1
21 19: Found: remaining_people(1)21 19: Found: remaining_people(1)
22 20: Found: query(1) | {'Result': 'Americans = 1'}22 20: Found: query(1) | {'Result': 'Americans = 1'}
tt23 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op