f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query(TinaAge, TomAge)3 1: Searching: query(Candidate Variable_0, Candidate Variable_1)
42: Searching: find_ages(TinaAge, TomAge)4 2: Searching: find_ages(Candidate Variable_0, Candidate Variable_1)
53: Searching: _1452 is 2/35 3: Searching: _14520 is 2/3
64: Found: Ratio is 2/36 4: Found: 0.6666666666666666 is 2/3
75: Searching: _16968 is 6*2//37 5: Searching: _15758 is 6
86: Found: 4 is 6*2//38 6: Found: 6 is 6
9 7: Searching: _16984 is 0.6666666666666666*6
10 8: Found: 4.0 is 0.6666666666666666*6
97: Searching: _18210 is 6*3//211 9: Searching: _18222 is 6
12 10: Found: 6 is 6
13 11: Searching: _5830 is 4.0-3
14 12: Found: 1.0 is 4.0-3
15 13: Searching: _5832 is 6+3
108: Found: 9 is 6*3//216 14: Found: 9 is 6+3
119: Searching: TinaAge is 12-3
1210: Found: TinaAge is 9
1311: Searching: TomAge is 12+3
1412: Found: TomAge is 15
1513: Found: find_ages(9, 15)17 15: Found: find_ages(1.0, 9)
1614: Found: query(9, 15) | {'Result': 'TinaAge = 9, TomAge = 15'}18 16: Found: query(1.0, 9) | {'Result': 'TinaAge = 1.0, TomAge = 9'}
19 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op