f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
n | | n | 2: Searching: _17074=date |
| | | 3: Found: date(6, 18, 2019)=date(6, 18, 2019) |
| 2: Searching: subtract_year(date(6, 18, 2019), Candidate Variable_0) | | 4: Searching: subtract_year(date(6, 18, 2019), Candidate Variable_0) |
| 3: Searching: _16352 is 2019-1 | | 5: Searching: _18928 is 2019+ -1 |
| 4: Found: 2018 is 2019-1 | | 6: Found: 2018 is 2019+ -1 |
| 5: Searching: 18=29 | | 7: Searching: 6=2 |
| 6: Fail: 18=29 | {'Result': 'Search Failed'} | | 8: Fail: 6=2 | {'Result': 'Search Failed'} |
| | | |
| Looking for other paths: Redo: subtract_year(date(6, 18, 2019), Candidate Variable_0) | | Looking for other paths: Redo: subtract_year(date(6, 18, 2019), Candidate Variable_0) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
n | 7: Searching: 6=2 | n | |
| 8: Fail: 6=2 | {'Result': 'Search Failed'} | | |
| 9: Searching: 6=1 | | 9: Searching: _21990=18 |
| 10: Fail: 6=1 | {'Result': 'Search Failed'} | | 10: Found: 18=18 |
| 11: Searching: 6=12 | | |
| 12: Fail: 6=12 | {'Result': 'Search Failed'} | | |
| 13: Searching: _19428=date | | 11: Searching: _18308=date |
| 14: Found: date(6, 18, 2018)=date(6, 18, 2018) | | 12: Found: date(6, 18, 2018)=date(6, 18, 2018) |
| 15: Found: subtract_year(date(6, 18, 2019), date(6, 18, 2018)) | | 13: Found: subtract_year(date(6, 18, 2019), date(6, 18, 2018)) |
| 16: Comment: The date one year ago is: _22504/_22510/_22516 | | 14: Comment: The date one year ago is: _25062/_25068/_25074 |
| 17: Searching: date(6, 18, 2018)=date(_22504, Candidate Variable_1, Candidate Variable_2) | | 15: Searching: date(6, 18, 2018)=date(_25062, Candidate Variable_1, Candidate Variable_2) |
| 18: Found: date(6, 18, 2018)=date(6, 18, 2018) | | 16: Found: date(6, 18, 2018)=date(6, 18, 2018) |
| 19: Found: query | {'Result': 'truth = True'} | | 17: Found: query | {'Result': 'truth = True'} |
| | | |
t | Looking for other paths: Redo: is_leap_year(2019) | t | |
| | | |
| | | |
| [Path 3]: | | |
| 20: Searching: 2019 mod 4=:=0 | | |
| 21: Fail: 2019 mod 4=:=0 | {'Result': 'Search Failed'} | | |
| 22: Searching: 2019 mod 400=:=0 | | |
| 23: Fail: 2019 mod 400=:=0 | {'Result': 'Search Failed'} | | |
| 24: Fail: is_leap_year(2019) | {'Result': 'Search Failed'} | | |
| 25: Fail: subtract_year(date(6, 18, 2019), Candidate Variable_0) | {'Result': 'Search Failed'} | | |
| 26: Fail: query | {'Result': 'Search Failed'} | | |