f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: not(includes_leap_year)4 2: Searching: not(includes_leap_year)
5 3: Searching: includes_leap_year5 3: Searching: includes_leap_year
tt6 4: Searching: leap_year_days(Candidate Variable_0)
6 4Searching: leap_year_days(366)7 5Found: leap_year_days(366)
7 5: Searching: bachelors_degree_days(Candidate Variable_0)8 6: Searching: bachelors_degree_days(Candidate Variable_1)
8 6: Searching: bachelors_degree_duration(Candidate Variable_1)9 7: Searching: bachelors_degree_duration(Candidate Variable_2)
9 7Searching: bachelors_degree_duration(4)10 8Found: bachelors_degree_duration(4)
10 8: Searching: 4*36511 9: Searching: _16322 is 4*365
11 9: Searching: Candidate Variable_2=146012 10: Found: 1460 is 4*365
12 10: Searching: Candidate Variable_2 mod 366=:=013 11: Found: bachelors_degree_days(1460)
13 11: Searching: 1460 mod 366=:=014 12: Searching: 1460 mod 366=:=0
14 12: Searching: 1460=:=0
15 13: Fail: 1460=:=0 | {'Result': 'Search Failed'}
16 14: Fail: 1460 mod 366=:=0 | {'Result': 'Search Failed'}15 13: Fail: 1460 mod 366=:=0 | {'Result': 'Search Failed'}
17 15: Fail: Candidate Variable_2 mod 366=:=0 | {'Result': 'Search Failed'}
18 16: Fail: bachelors_degree_days(1460) | {'Result': 'Search Failed'}
19 17: Fail: includes_leap_year | {'Result': 'Search Failed'}16 14: Fail: includes_leap_year | {'Result': 'Search Failed'}
20 18Searching: not(user:includes_leap_year)17 15Found: not(user:includes_leap_year)
21 19: Fail: not(user:includes_leap_year) | {'Result': 'Search Failed'}18 16: Found: query | {'Result': 'Yes'}
22 20: Fail: query | {'Result': 'Search Failed'}19 
23```
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op