f | 1 | [Path 1]: | f | 1 | [Path 1]:
t | 2 | 0: Start of execution: Beginning Search | t | 2 | 0: Start of execution: Beginning Search
| 3 | 1: Searching: query(TinaAge, TomAge) |  | 3 | 1: Searching: query(Candidate Variable_0, Candidate Variable_1)
| 4 | 2: Searching: find_ages(TinaAge, TomAge) |  | 4 | 2: Searching: find_ages(Candidate Variable_0, Candidate Variable_1)
| 5 | 3: Searching: _1452 is 2/3 |  | 5 | 3: Searching: _14520 is 2/3
| 6 | 4: Found: Ratio is 2/3 |  | 6 | 4: Found: 0.6666666666666666 is 2/3
| 7 | 5: Searching: _16968 is 6*2//3 |  | 7 | 5: Searching: _15758 is 6
| 8 | 6: Found: 4 is 6*2//3 |  | 8 | 6: Found: 6 is 6
|  |  |  | 9 | 7: Searching: _16984 is 0.6666666666666666*6
|  |  |  | 10 | 8: Found: 4.0 is 0.6666666666666666*6
| 9 | 7: Searching: _18210 is 6*3//2 |  | 11 | 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
| 10 | 8: Found: 9 is 6*3//2 |  | 16 | 14: Found: 9 is 6+3
| 11 | 9: Searching: TinaAge is 12-3 |  |  |
| 12 | 10: Found: TinaAge is 9 |  |  |
| 13 | 11: Searching: TomAge is 12+3 |  |  |
| 14 | 12: Found: TomAge is 15 |  |  |
| 15 | 13: Found: find_ages(9, 15) |  | 17 | 15: Found: find_ages(1.0, 9)
| 16 | 14: 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