f | 1 | [Path 1]: | f | 1 | [Path 1]:
t | 2 | 0: Start of execution: Begining Search | t | 2 | 0: Start of execution: Beginning Search
| 3 | 1: Searching: query |  | 3 | 1: Searching: query
| 4 | 2: Searching: absent_from_graduation(bruce_lee, 1964) |  | 4 | 2: Searching: absent_from_graduation(bruce_lee, 1964)
| 5 | 3: 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)
| 6 | 4: Searching: verification_possible |  | 8 | 6: Searching: verification_possible
| 7 | 5: Searching: historical_records_available(yes) |  | 9 | 7: Searching: historical_records_available(yes)
| 8 | 6: Searching: attended_graduation(bruce_lee, 1964, no) |  |  |
| 9 | 7: Searching: biographical_sources_available(yes) |  |  |
| 10 | 8: Searching: attended_graduation(bruce_lee, 1964, no) |  |  |
| 11 | 9: Searching: verification_possible |  |  |
| 12 | 10: Searching: historical_records_available(yes) |  | 10 | 8: Found: historical_records_available(yes)
| 13 | 11: Searching: attended_graduation(bruce_lee, 1964, no) |  | 11 | 9: Found: verification_possible
|  |  |  | 12 | 10: Found: query | {'Result': 'Yes'}
|  |  |  | 13 |
|  |  |  | 14 | Looking for other paths: Redo: verification_possible
|  |  |  | 15 |
|  |  |  | 16 |
|  |  |  | 17 | [Path 2]:
| 14 | 12: Searching: biographical_sources_available(yes) |  | 18 | 11: Searching: biographical_sources_available(yes)
| 15 | 13: Searching: attended_graduation(bruce_lee, 1964, no) |  | 19 | 12: Found: biographical_sources_available(yes)
| 16 | 14: Found: verification_possible |  |  |
| 17 | 15: Found: verification_possible |  |  |
| 18 | 16: Found: verification_possible |  |  |
| 19 | 17: Found: verification_possible |  |  |
| 20 | 18: Found: verification_possible |  |  |
| 21 | 19: Found: verification_possible |  |  |
| 22 | 20: Found: verification_possible |  |  |
| 23 | 21: Found: verification_possible |  |  |
| 24 | 22: Found: verification_possible |  |  |
| 25 | 23: Found: verification_possible |  |  |
| 26 | 24: Found: verification_possible |  |  |
| 27 | 25: Found: verification_possible |  |  |
| 28 | 26: Found: verification_possible |  |  |
| 29 | 27: Found: verification_possible |  |  |
| 30 | 28: Found: verification_possible |  |  |
| 31 | 29: Found: verification_possible |  |  |
| 32 | 30: Found: verification_possible |  |  |
| 33 | 31: Found: verification_possible |  |  |
| 34 | 32: Found: verification_possible |  |  |
| 35 | 33: Found: verification_possible |  |  |
| 36 | 34: Found: verification_possible |  |  |
| 37 | 35: Found: verification_possible |  |  |
| 38 | 36: Found: verification_possible |  |  |
| 39 | 37: Found: verification_possible |  |  |
| 40 | 38: Found: verification_possible |  |  |
| 41 | 39: Found: verification_possible |  |  |
| 42 | 40: Found: verification_possible |  |  |
| 43 | 41: Found: verification_possible |  |  |
| 44 | 42: Found: verification_possible |  |  |
| 45 | 43: Found: verification_possible |  |  |
| 46 | 44: Found: verification_possible |  |  |
| 47 | 45: Found: verification_possible |  |  |
| 48 | 46: Found: verification_possible |  |  |
| 49 | 47: Found: verification_possible |  |  |
| 50 | 48: Found: verification_possible |  |  |
| 51 | 49: Found: verification_possible |  |  |
| 52 | 50: Found: verification_possible |  |  |
| 53 | 51: Found: verification_possible |  |  |
| 54 | 52: Found: verification_possible |  |  |
| 55 | 53: Found: verification_possible |  |  |
| 56 | 54: Found: verification_possible |  |  |
| 57 | 55: Found: verification_possible |  |  |
| 58 | 56: Found: verification_possible |  |  |
| 59 | 57: Found: verification_possible |  |  |
| 60 | 58: Found: verification_possible |  |  |
| 61 | 59: Found: verification_possible |  |  |
| 62 | 60: Found: verification_possible |  |  |
| 63 | 61: Found: verification_possible |  |  |
| 64 | 62: Found: verification_possible |  |  |
| 65 | 63: Found: verification_possible |  |  |
| 66 | 64: Found: verification_possible |  |  |
| 67 | 65: Found: verification_possible |  |  |
| 68 | 66: Found: verification_possible |  |  |
| 69 | 67: Found: verification_possible |  |  |
| 70 | 68: Found: verification_possible |  |  |
| 71 | 69: Found: verification_possible |  |  |
| 72 | 70: Found: verification_possible |  |  |
| 73 | 71: Found: verification_possible |  |  |
| 74 | 72: Found: verification_possible |  |  |
| 75 | 73: Found: verification_possible |  |  |
| 76 | 74: Found: verification_possible |  |  |
| 77 | 75: Found: verification_possible |  |  |
| 78 | 76: Found: verification_possible |  |  |
| 79 | 77: Found: verification_possible |  |  |
| 80 | 78: Found: verification_possible |  |  |
| 81 | 79: Found: verification_possible |  |  |
| 82 | 80: Found: verification_possible |  |  |
| 83 | 81: Found: verification_possible |  |  |
| 84 | 82: Found: verification_possible |  |  |
| 85 | 83: Found: verification_possible |  |  |
| 86 | 84: Found: verification_possible |  |  |
| 87 | 85: Found: verification_possible |  |  |
| 88 | 86: Found: verification_possible |  |  |
| 89 | 87: Found: verification_possible |  |  |
| 90 | 88: Found: verification_possible |  |  |
| 91 | 89: Found: verification_possible |  |  |
| 92 | 90: Found: verification_possible |  |  |
| 93 | 91: Found: verification_possible |  |  |
| 94 | 92: Found: verification_possible |  |  |
| 95 | 93: Found: verification_possible |  |  |
| 96 | 94: Found: verification_possible |  |  |
| 97 | 95: Found: verification_possible |  |  |
| 98 | 96: Found: verification_possible |  |  |
| 99 | 97: Found: verification_possible |  |  |
| 100 | 98: Found: verification_possible |  |  |
| 101 | 99: Found: verification_possible |  |  |
| 102 | 100: Found: verification_possible |  |  |
| 103 | 101: Found: verification_possible |  |  |
| 104 | 102: Found: verification_possible |  |  |
| 105 | 103: Found: verification_possible |  | 20 | 13: Found: verification_possible
| 106 | 104: Found: verification_possible |  | 21 | 14: Found: query | {'Result': 'Yes'}
| 107 | 105: Found: verification_possible |  | 22 |
| 108 | 106: Found: verification_possible |  |  |
| 109 | 107: Found: verification_possible |  |  |
| 110 | 108: Found: verification_possible |  |  |
| 111 | 109: Found: verification_possible |  |  |
| 112 | 110: Found: verification_possible |  |  |
| 113 | 111: Found: verification_possible |  |  |
| 114 | 112: Found: verification_possible |  |  |
| 115 | 113: Found: verification_possible |  |  |
| 116 | 114: Found: verification_possible |  |  |
| 117 | 115: Found: verification_possible |  |  |
| 118 | 116: Found: verification_possible |  |  |
| 119 | 117: Found: verification_possible |  |  |
| 120 | 118: Found: verification_possible |  |  |
| 121 | 119: Found: verification_possible |  |  |
| 122 | 120: Found: verification_possible |  |  |
| 123 | 121: Found: verification_possible |  |  |
| 124 | 122: Found: verification_possible |  |  |
| 125 | 123: Found: verification_possible |  |  |
| 126 | 124: Found: verification_possible |  |  |
| 127 | 125: Found: verification_possible |  |  |
| 128 | 126: Found: verification_possible |  |  |
| 129 | 127: Found: verification_possible |  |  |
| 130 | 128: Found: verification_possible |  |  |
| 131 | 129: Found: verification_possible |  |  |
| 132 | 130: Found: verification_possible |  |  |
| 133 | 131: Found: verification_possible |  |  |
| 134 | 132: Found: verification_possible |  |  |
| 135 | 133: Found: verification_possible |  |  |
| 136 | 134: Found: |  |  |

Legends
Colors
Added
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op