f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: tables_needed(18, 12, 3, Candidate Variable_0)4 2: Searching: tables_needed(18, 12, 3, Candidate Variable_0)
53: Searching: _14512 is 18-125 3: Searching: _15946 is 18-12
64: Found: 6 is 18-126 4: Found: 6 is 18-12
75: Searching: _15738 is 6/37 5: Searching: _7256 is ceil
86: Found: 2 is 6/38 6: Found: 2 is ceil
97: Found: tables_needed(18, 12, 3, 2)9 7: Found: tables_needed(18, 12, 3, 2)
108: Found: query(2) | {'Result': 'TablesNeeded = 2'}10 8: Found: query(2) | {'Result': ['2']}
11 
12Looking for other paths: Redo: tables_needed(18, 12, 3, Candidate Variable_0)
13 
14 
15[Path 2]:
16 9: Found: tables_needed(18, 12, 3, Candidate Variable_0)
17 10: Found: query(Candidate Variable_0) | {'Result': ['_7256']}
18 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op