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: _13900=38*78
5 3: Found: 38*78=38*78
6 4: Searching: _15132=19*78
7 5: Found: 19*78=19*78
4 2: Searching: mail_per_house(2964, 1482, Candidate Variable_0)8 6: Searching: mail_per_house(38*78, 19*78, Candidate Variable_0)
5 3: Searching: _14524 is 2964/14829 7: Searching: _5830 is 38*78/
6 4: Found: 2 is 2964/148210 8: Found: 2 is 38*78/
7 5: Found: mail_per_house(2964, 1482, 2)11 9: Found: mail_per_house(38*78, 19*78, 2)
8 6: Found: query(2) | {'Result': 'MailPerHouse = 2'}12 10: Found: query(2) | {'Result': 'MailPerHouse = 2'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op