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=3
5 3: Found: 3=3
6 4: Searching: _15126=7
7 5: Found: 7=7
4 2: Searching: cut_orchids(3, 7, Candidate Variable_0)8 6: Searching: cut_orchids(3, 7, Candidate Variable_0)
5 3: Searching: _14524 is 7-39 7: Searching: _5830 is 7-3
6 4: Found: 4 is 7-310 8: Found: 4 is 7-3
7 5: Found: cut_orchids(3, 7, 4)11 9: Found: cut_orchids(3, 7, 4)
8 6: Found: query(4) | {'Result': 'CutOrchids = 4'}12 10: Found: query(4) | {'Result': 'CutO = 4'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op