f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
4 2: Searching: calculate_next_term_in_sequence(Candidate Variable_0)4 2: Searching: calculate_next_term_in_sequence(Candidate Variable_0)
5 3: Searching: generate_sequence(Candidate Variable_1)5 3: Searching: generate_sequence(Candidate Variable_1)
6 4: Searching: sequence(5, Candidate Variable_1)6 4: Searching: sequence(5, Candidate Variable_1)
tt7 5: Searching: 5>0
8 6: Found: 5>0
7 5: Searching: _14512 is 2+5-19 7: Searching: _18842 is 5+ -1
10 8: Found: 4 is 5+ -1
11 9: Searching: _17608 is 2+4
8 6: Found: 6 is 2+5-112 10: Found: 6 is 2+4
9 7: Searching: sequence(4, Candidate Variable_2)13 11: Searching: sequence(4, Candidate Variable_2)
14 12: Searching: 4>0
15 13: Found: 4>0
10 8: Searching: _16976 is 2+4-116 14: Searching: _23146 is 4+ -1
17 15: Found: 3 is 4+ -1
18 16: Searching: _21912 is 2+3
11 9: Found: 5 is 2+4-119 17: Found: 5 is 2+3
12 10: Searching: sequence(3, Candidate Variable_3)20 18: Searching: sequence(3, Candidate Variable_3)
21 19: Searching: 3>0
22 20: Found: 3>0
13 11: Searching: _19440 is 2+3-123 21: Searching: _27450 is 3+ -1
24 22: Found: 2 is 3+ -1
25 23: Searching: _26216 is 2+2
14 12: Found: 4 is 2+3-126 24: Found: 4 is 2+2
15 13: Searching: sequence(2, Candidate Variable_4)27 25: Searching: sequence(2, Candidate Variable_4)
28 26: Searching: 2>0
29 27: Found: 2>0
16 14: Searching: _21896 is 2+2-130 28: Searching: _31754 is 2+ -1
31 29: Found: 1 is 2+ -1
32 30: Searching: _30520 is 2+1
17 15: Found: 3 is 2+2-133 31: Found: 3 is 2+1
18 16: Searching: sequence(1, Candidate Variable_5)34 32: Searching: sequence(1, Candidate Variable_5)
35 33: Searching: 1>0
36 34: Found: 1>0
37 35: Searching: _36058 is 1+ -1
38 36: Found: 0 is 1+ -1
19 17: Searching: _24352 is 2+1-139 37: Searching: _34824 is 2+0
20 18: Found: 2 is 2+1-140 38: Found: 2 is 2+0
21 19: Searching: sequence(0, Candidate Variable_6)41 39: Searching: sequence(0, Candidate Variable_6)
22 20: Found: sequence(0, [])42 40: Found: sequence(0, [])
23 21: Searching: _5834 is 2+1+2+3+4+543 41: Found: sequence(1, [2])
24 22: Found: 17 is 2+1+2+3+4+544 42: Found: sequence(2, [3, 2])
25 23: Searching: _5834 is 17+645 43: Found: sequence(3, [4, 3, 2])
26 24: Found: 23 is 17+646 44: Found: sequence(4, [5, 4, 3, 2])
27 25: Searching: _5834 is 23+5
28 26: Found: 28 is 23+5
29 27: Searching: _5834 is 28+4
30 28: Found: 32 is 28+4
31 29: Searching: _5834 is 32+3
32 30: Found: 35 is 32+3
33 31: Searching: _5834 is 35+2
34 32: Found: 37 is 35+2
35 33: Found: sequence(5, [2,5,4,3,2,37])47 45: Found: sequence(5, [6, 5, 4, 3, 2])
48 46: Found: generate_sequence([6, 5, 4, 3, 2])
49 47: Searching: calculate_next_term([6, 5, 4, 3, 2], Candidate Variable_0)
36 34: Searching: next_term([2,5,4,3,2,37], 5, Candidate Variable_0)50 48: Searching: next_term([6, 5, 4, 3, 2], 5, Candidate Variable_0)
51 49: Searching: 5>0
52 50: Found: 5>0
53 51: Searching: _45864 is 5+ -1
54 52: Found: 4 is 5+ -1
37 35: Searching: _64528 is 2+555 53: Searching: _7706 is 6+4
38 36: Found: 7 is 2+556 54: Found: 10 is 6+4
39 37: Found: next_term([2,5,4,3,2,37], 5, 7)57 55: Found: next_term([6, 5, 4, 3, 2], 5, 10)
58 56: Found: calculate_next_term([6, 5, 4, 3, 2], 10)
40 38: Found: calculate_next_term_in_sequence(7)59 57: Found: calculate_next_term_in_sequence(10)
41 39: Found: query(7) | {'Result': 'NextTerm = 7'}60 58: Found: query(10) | {'Result': 'NextTerm = 10'}
61 
62Looking for other paths: Redo: sequence(0, Candidate Variable_6)
63 
64 
65[Path 2]:
66 59: Searching: 0>0
67 60: Fail: 0>0 | {'Result': 'Search Failed'}
68 61: Fail: sequence(0, Candidate Variable_6) | {'Result': 'Search Failed'}
69 62: Fail: sequence(1, Candidate Variable_5) | {'Result': 'Search Failed'}
70 63: Fail: sequence(2, Candidate Variable_4) | {'Result': 'Search Failed'}
71 64: Fail: sequence(3, Candidate Variable_3) | {'Result': 'Search Failed'}
72 65: Fail: sequence(4, Candidate Variable_2) | {'Result': 'Search Failed'}
73 66: Fail: sequence(5, Candidate Variable_1) | {'Result': 'Search Failed'}
74 67: Fail: generate_sequence(Candidate Variable_1) | {'Result': 'Search Failed'}
75 68: Fail: calculate_next_term_in_sequence(Candidate Variable_0) | {'Result': 'Search Failed'}
76 69: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
77 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op