f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
tt4 2: Searching: _15626=14
5 3: Found: 14=14
6 4: Searching: _16852=9
7 5: Found: 9=9
4 2: Searching: chair_table_difference(14, 9, Candidate Variable_1, Candidate Variable_0)8 6: Searching: chair_table_difference(14, 9, Candidate Variable_1, Candidate Variable_0)
5 3: Searching: _14524 is 9*149 7: Searching: _18698 is 9*14
6 4: Found: 126 is 9*1410 8: Found: 126 is 9*14
7 5: Searching: _5834 is 126-911 9: Searching: _7556 is 126-9
8 6: Found: 117 is 126-912 10: Found: 117 is 126-9
9 7: Found: chair_table_difference(14, 9, 126, 117)13 11: Found: chair_table_difference(14, 9, 126, 117)
10 8: Found: query(117) | {'Result': 'Difference = 117'}14 12: Found: query(117) | {'Result': 'Diff = 117'}
15 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op