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_books_on_shelves(Candidate Variable_0)4 2: Searching: total_books_on_shelves(Candidate Variable_0)
53: Searching: num_bookshelves(Candidate Variable_1)5 3: Searching: num_bookshelves(Candidate Variable_1)
64: Found: num_bookshelves(150)6 4: Found: num_bookshelves(150)
75: Searching: books_per_shelf(Candidate Variable_2)7 5: Searching: books_per_shelf(Candidate Variable_2)
86: Found: books_per_shelf(15)8 6: Found: books_per_shelf(15)
97: Searching: _14512 is 150*159 7: Searching: _5830 is 150*15
108: Found: 2250 is 150*1510 8: Found: 2250 is 150*15
119: Found: total_books_on_shelves(2250)11 9: Found: total_books_on_shelves(2250)
1210: Found: query(2250) | {'Result': 'TotalBooks = 2250'}12 10: Found: query(2250) | {'Result': 'TotalBooks = 2250'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op