f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query
42: Searching: absent_from_graduation(bruce_lee, 1964)4 2: Searching: absent_from_graduation(bruce_lee, 1964)
53: Searching: attended_graduation(bruce_lee, 1964, no)5 3: Searching: attended_graduation(bruce_lee, 1964, no)
6 4: Found: attended_graduation(bruce_lee, 1964, no)
7 5: Found: absent_from_graduation(bruce_lee, 1964)
64: Searching: verification_possible8 6: Searching: verification_possible
75: Searching: historical_records_available(yes)9 7: Searching: historical_records_available(yes)
86: Searching: attended_graduation(bruce_lee, 1964, no)
97: Searching: biographical_sources_available(yes)
108: Searching: attended_graduation(bruce_lee, 1964, no)
119: Searching: verification_possible
1210Searching: historical_records_available(yes)10 8Found: historical_records_available(yes)
1311: Searching: attended_graduation(bruce_lee, 1964, no)11 9: Found: verification_possible
12 10: Found: query | {'Result': 'Yes'}
13 
14Looking for other paths: Redo: verification_possible
15 
16 
17[Path 2]:
1412: Searching: biographical_sources_available(yes)18 11: Searching: biographical_sources_available(yes)
1513: Searching: attended_graduation(bruce_lee, 1964, no)19 12: Found: biographical_sources_available(yes)
1614: Found: verification_possible
1715: Found: verification_possible
1816: Found: verification_possible
1917: Found: verification_possible
2018: Found: verification_possible
2119: Found: verification_possible
2220: Found: verification_possible
2321: Found: verification_possible
2422: Found: verification_possible
2523: Found: verification_possible
2624: Found: verification_possible
2725: Found: verification_possible
2826: Found: verification_possible
2927: Found: verification_possible
3028: Found: verification_possible
3129: Found: verification_possible
3230: Found: verification_possible
3331: Found: verification_possible
3432: Found: verification_possible
3533: Found: verification_possible
3634: Found: verification_possible
3735: Found: verification_possible
3836: Found: verification_possible
3937: Found: verification_possible
4038: Found: verification_possible
4139: Found: verification_possible
4240: Found: verification_possible
4341: Found: verification_possible
4442: Found: verification_possible
4543: Found: verification_possible
4644: Found: verification_possible
4745: Found: verification_possible
4846: Found: verification_possible
4947: Found: verification_possible
5048: Found: verification_possible
5149: Found: verification_possible
5250: Found: verification_possible
5351: Found: verification_possible
5452: Found: verification_possible
5553: Found: verification_possible
5654: Found: verification_possible
5755: Found: verification_possible
5856: Found: verification_possible
5957: Found: verification_possible
6058: Found: verification_possible
6159: Found: verification_possible
6260: Found: verification_possible
6361: Found: verification_possible
6462: Found: verification_possible
6563: Found: verification_possible
6664: Found: verification_possible
6765: Found: verification_possible
6866: Found: verification_possible
6967: Found: verification_possible
7068: Found: verification_possible
7169: Found: verification_possible
7270: Found: verification_possible
7371: Found: verification_possible
7472: Found: verification_possible
7573: Found: verification_possible
7674: Found: verification_possible
7775: Found: verification_possible
7876: Found: verification_possible
7977: Found: verification_possible
8078: Found: verification_possible
8179: Found: verification_possible
8280: Found: verification_possible
8381: Found: verification_possible
8482: Found: verification_possible
8583: Found: verification_possible
8684: Found: verification_possible
8785: Found: verification_possible
8886: Found: verification_possible
8987: Found: verification_possible
9088: Found: verification_possible
9189: Found: verification_possible
9290: Found: verification_possible
9391: Found: verification_possible
9492: Found: verification_possible
9593: Found: verification_possible
9694: Found: verification_possible
9795: Found: verification_possible
9896: Found: verification_possible
9997: Found: verification_possible
10098: Found: verification_possible
10199: Found: verification_possible
102100: Found: verification_possible
103101: Found: verification_possible
104102: Found: verification_possible
105103: Found: verification_possible20 13: Found: verification_possible
106104: Found: verification_possible21 14: Found: query | {'Result': 'Yes'}
107105: Found: verification_possible22 
108106: Found: verification_possible
109107: Found: verification_possible
110108: Found: verification_possible
111109: Found: verification_possible
112110: Found: verification_possible
113111: Found: verification_possible
114112: Found: verification_possible
115113: Found: verification_possible
116114: Found: verification_possible
117115: Found: verification_possible
118116: Found: verification_possible
119117: Found: verification_possible
120118: Found: verification_possible
121119: Found: verification_possible
122120: Found: verification_possible
123121: Found: verification_possible
124122: Found: verification_possible
125123: Found: verification_possible
126124: Found: verification_possible
127125: Found: verification_possible
128126: Found: verification_possible
129127: Found: verification_possible
130128: Found: verification_possible
131129: Found: verification_possible
132130: Found: verification_possible
133131: Found: verification_possible
134132: Found: verification_possible
135133: Found: verification_possible
136134: Found:
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op