f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: total_pencils_donated(Candidate Variable_1)4 2: Searching: total_pencils_donated(Candidate Variable_1)
53: Found: total_pencils_donated(935)5 3: Found: total_pencils_donated(935)
64: Searching: num_classrooms(Candidate Variable_2)6 4: Searching: num_classrooms(Candidate Variable_2)
75: Found: num_classrooms(9)7 5: Found: num_classrooms(9)
86: Searching: pencils_to_library(935, 9, Candidate Variable_0)8 6: Searching: pencils_to_library(935, 9, Candidate Variable_0)
97: Searching: _14512 is 935//99 7: Searching: _16952 is 935//9
108: Found: 103 is 935//910 8: Found: 103 is 935//9
119: Searching: _16976 is 103*911 9: Searching: _18184 is 103*9
1210: Found: 927 is 103*912 10: Found: 927 is 103*9
1311: Searching: _19440 is 935-92713 11: Searching: _5830 is 935-927
1412: Found: 8 is 935-92714 12: Found: 8 is 935-927
1513: Found: pencils_to_library(935, 9, 8)15 13: Found: pencils_to_library(935, 9, 8)
1614: Found: query(8) | {'Result': 'PencilsToLibrary = 8'}16 14: Found: query(8) | {'Result': 'PencilsToLibrary = 8'}
17 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op