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: _13904=384 2: Searching: _13900=38
53: Found: 38=385 3: Found: 38=38
64: Searching: _15130=26 4: Searching: _15126=2
75: Found: 2=27 5: Found: 2=2
86: Searching: calculate_bookshelves(38, 2, Candidate Variable_0)8 6: Searching: calculate_bookshelves(38, 2, Candidate Variable_0)
97: Searching: _16356 is 38//29 7: Searching: _5830 is 38//2
108: Found: 19 is 38//210 8: Found: 19 is 38//2
119: Found: calculate_bookshelves(38, 2, 19)11 9: Found: calculate_bookshelves(38, 2, 19)
1210: Found: query(19) | {'Result': 'Bookshelves = 19'}12 10: Found: query(19) | {'Result': 'Bookshelves = 19'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op