f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
nn4 2: Searching: _17074=date
5 3: Found: date(6, 18, 2019)=date(6, 18, 2019)
4 2: Searching: subtract_year(date(6, 18, 2019), Candidate Variable_0)6 4: Searching: subtract_year(date(6, 18, 2019), Candidate Variable_0)
5 3: Searching: _16352 is 2019-17 5: Searching: _18928 is 2019-1
6 4: Found: 2018 is 2019-18 6: Found: 2018 is 2019-1
7 5: Searching: 18=299 7: Searching: 6=2
8 6: Fail: 18=29 | {'Result': 'Search Failed'}10 8: Fail: 6=2 | {'Result': 'Search Failed'}
911
10Looking for other paths: Redo: subtract_year(date(6, 18, 2019), Candidate Variable_0)12Looking for other paths: Redo: subtract_year(date(6, 18, 2019), Candidate Variable_0)
1113
1214
13[Path 2]:15[Path 2]:
n14 7: Searching: 6=2n
15 8: Fail: 6=2 | {'Result': 'Search Failed'}
16 9: Searching: 6=116 9: Searching: _21990=18
17 10: Fail: 6=1 | {'Result': 'Search Failed'}17 10: Found: 18=18
18 11: Searching: 6=12
19 12: Fail: 6=12 | {'Result': 'Search Failed'}
20 13: Searching: _19428=date18 11: Searching: _18308=date
21 14: Found: date(6, 18, 2018)=date(6, 18, 2018)19 12: Found: date(6, 18, 2018)=date(6, 18, 2018)
22 15: Found: subtract_year(date(6, 18, 2019), date(6, 18, 2018))20 13: Found: subtract_year(date(6, 18, 2019), date(6, 18, 2018))
23 16: Comment: The date one year ago is: _22504/_22510/_2251621 14: Comment: The date one year ago is: _25062/_25068/_25074
24 17: Searching: date(6, 18, 2018)=date(_22504, Candidate Variable_1, Candidate Variable_2)22 15: Searching: date(6, 18, 2018)=date(_25062, Candidate Variable_1, Candidate Variable_2)
25 18: Found: date(6, 18, 2018)=date(6, 18, 2018)23 16: Found: date(6, 18, 2018)=date(6, 18, 2018)
26 19: Found: query | {'Result': 'truth = True'}24 17: Found: query | {'Result': 'truth = True'}
2725
t28Looking for other paths: Redo: is_leap_year(2019)t
29 
30 
31[Path 3]:
32 20: Searching: 2019 mod 4=:=0
33 21: Fail: 2019 mod 4=:=0 | {'Result': 'Search Failed'}
34 22: Searching: 2019 mod 400=:=0
35 23: Fail: 2019 mod 400=:=0 | {'Result': 'Search Failed'}
36 24: Fail: is_leap_year(2019) | {'Result': 'Search Failed'}
37 25: Fail: subtract_year(date(6, 18, 2019), Candidate Variable_0) | {'Result': 'Search Failed'}
38 26: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op