f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
n4 2: Searching: _15330=daten4 2: Searching: _15324=date
5 3: Found: date(10, 16, 1924)=date(10, 16, 1924)5 3: Found: date(10, 16, 1924)=date(10, 16, 1924)
6 4: Searching: subtract_days(date(10, 16, 1924), 10, Candidate Variable_0)6 4: Searching: subtract_days(date(10, 16, 1924), 10, Candidate Variable_0)
7 5: Searching: 10>07 5: Searching: 10>0
8 6: Found: 10>08 6: Found: 10>0
9 7: Searching: subtract_one_day(date(10, 16, 1924), Candidate Variable_1)9 7: Searching: subtract_one_day(date(10, 16, 1924), Candidate Variable_1)
10 8: Searching: 16>110 8: Searching: 16>1
11 9: Found: 16>111 9: Found: 16>1
n12 10: Searching: _21476 is 16-1n12 10: Searching: _19018 is 16-1
13 11: Found: 15 is 16-113 11: Found: 15 is 16-1
14 12: Found: subtract_one_day(date(10, 16, 1924), date(10, 15, 1924))14 12: Found: subtract_one_day(date(10, 16, 1924), date(10, 15, 1924))
n15 13: Searching: _24552 is 10+ -1n15 13: Searching: _22094 is 10+ -1
16 14: Found: 9 is 10+ -116 14: Found: 9 is 10+ -1
17 15: Searching: subtract_days(date(10, 15, 1924), 9, Candidate Variable_0)17 15: Searching: subtract_days(date(10, 15, 1924), 9, Candidate Variable_0)
18 16: Searching: 9>018 16: Searching: 9>0
19 17: Found: 9>019 17: Found: 9>0
20 18: Searching: subtract_one_day(date(10, 15, 1924), Candidate Variable_2)20 18: Searching: subtract_one_day(date(10, 15, 1924), Candidate Variable_2)
21 19: Searching: 15>121 19: Searching: 15>1
22 20: Found: 15>122 20: Found: 15>1
n23 21: Searching: _30688 is 15-1n23 21: Searching: _25778 is 15-1
24 22: Found: 14 is 15-124 22: Found: 14 is 15-1
25 23: Found: subtract_one_day(date(10, 15, 1924), date(10, 14, 1924))25 23: Found: subtract_one_day(date(10, 15, 1924), date(10, 14, 1924))
n26 24: Searching: _33764 is 9+ -1n26 24: Searching: _28854 is 9+ -1
27 25: Found: 8 is 9+ -127 25: Found: 8 is 9+ -1
28 26: Searching: subtract_days(date(10, 14, 1924), 8, Candidate Variable_0)28 26: Searching: subtract_days(date(10, 14, 1924), 8, Candidate Variable_0)
29 27: Searching: 8>029 27: Searching: 8>0
30 28: Found: 8>030 28: Found: 8>0
31 29: Searching: subtract_one_day(date(10, 14, 1924), Candidate Variable_3)31 29: Searching: subtract_one_day(date(10, 14, 1924), Candidate Variable_3)
32 30: Searching: 14>132 30: Searching: 14>1
33 31: Found: 14>133 31: Found: 14>1
n34 32: Searching: _39900 is 14-1n34 32: Searching: _32538 is 14-1
35 33: Found: 13 is 14-135 33: Found: 13 is 14-1
36 34: Found: subtract_one_day(date(10, 14, 1924), date(10, 13, 1924))36 34: Found: subtract_one_day(date(10, 14, 1924), date(10, 13, 1924))
n37 35: Searching: _42976 is 8+ -1n37 35: Searching: _35614 is 8+ -1
38 36: Found: 7 is 8+ -138 36: Found: 7 is 8+ -1
39 37: Searching: subtract_days(date(10, 13, 1924), 7, Candidate Variable_0)39 37: Searching: subtract_days(date(10, 13, 1924), 7, Candidate Variable_0)
40 38: Searching: 7>040 38: Searching: 7>0
41 39: Found: 7>041 39: Found: 7>0
42 40: Searching: subtract_one_day(date(10, 13, 1924), Candidate Variable_4)42 40: Searching: subtract_one_day(date(10, 13, 1924), Candidate Variable_4)
43 41: Searching: 13>143 41: Searching: 13>1
44 42: Found: 13>144 42: Found: 13>1
n45 43: Searching: _49112 is 13-1n45 43: Searching: _39298 is 13-1
46 44: Found: 12 is 13-146 44: Found: 12 is 13-1
47 45: Found: subtract_one_day(date(10, 13, 1924), date(10, 12, 1924))47 45: Found: subtract_one_day(date(10, 13, 1924), date(10, 12, 1924))
n48 46: Searching: _52188 is 7+ -1n48 46: Searching: _42374 is 7+ -1
49 47: Found: 6 is 7+ -149 47: Found: 6 is 7+ -1
50 48: Searching: subtract_days(date(10, 12, 1924), 6, Candidate Variable_0)50 48: Searching: subtract_days(date(10, 12, 1924), 6, Candidate Variable_0)
51 49: Searching: 6>051 49: Searching: 6>0
52 50: Found: 6>052 50: Found: 6>0
53 51: Searching: subtract_one_day(date(10, 12, 1924), Candidate Variable_5)53 51: Searching: subtract_one_day(date(10, 12, 1924), Candidate Variable_5)
54 52: Searching: 12>154 52: Searching: 12>1
t55 53: Found: 12t55 53: Found: 12>1
56 54: Searching: _46058 is 12-1
57 55: Found: 11 is 12-1
58 56: Found: subtract_one_day(date(10, 12, 1924), date(10, 11, 1924))
59 57: Searching: _49134 is 6+ -1
60 58: Found: 5 is 6+ -1
61 59: Searching: subtract_days(date(10, 11, 1924), 5, Candidate Variable_0)
62 60: Searching: 5>0
63 61: Found: 5>0
64 62: Searching: subtract_one_day(date(10, 11, 1924), Candidate Variable_6)
65 63: Searching: 11>1
66 64: Found: 11>1
67 65: Searching: _52818 is 11-1
68 66: Found: 10 is 11-1
69 67: Found: subtract_one_day(date(10, 11, 1924), date(10, 10, 1924))
70 68: Searching: _55894 is 5+ -1
71 69: Found: 4 is 5+ -1
72 70: Searching: subtract_days(date(10, 10, 1924), 4, Candidate Variable_0)
73 71: Searching: 4>0
74 72: Found: 4>0
75 73: Searching: subtract_one_day(date(10, 10, 1924), Candidate Variable_7)
76 74: Searching: 10>1
77 75: Found: 10>1
78 76: Searching: _59578 is 10-1
79 77: Found: 9 is 10-1
80 78: Found: subtract_one_day(date(10, 10, 1924), date(10, 9, 1924))
81 79: Searching: _62654 is 4+ -1
82 80: Found: 3 is 4+ -1
83 81: Searching: subtract_days(date(10, 9, 1924), 3, Candidate Variable_0)
84 82: Searching: 3>0
85 83: Found: 3>0
86 84: Searching: subtract_one_day(date(10, 9, 1924), Candidate Variable_8)
87 85: Searching: 9>1
88 86: Found: 9>1
89 87: Searching: _1340 is 9-1
90 88: Found: 8 is 9-1
91 89: Found: subtract_one_day(date(10, 9, 1924), date(10, 8, 1924))
92 90: Searching: _4416 is 3+ -1
93 91: Found: 2 is 3+ -1
94 92: Searching: subtract_days(date(10, 8, 1924), 2, Candidate Variable_9)
95 93: Searching: 2>0
96 94: Found: 2>0
97 95: Searching: subtract_one_day(date(10, 8, 1924), Candidate Variable_10)
98 96: Searching: 8>1
99 97: Found: 8>1
100 98: Searching: _8100 is 8-1
101 99: Found: 7 is 8-1
102 100: Found: subtract_one_day(date(10, 8, 1924), date(10, 7, 1924))
103 101: Searching: _11176 is 2+ -1
104 102: Found: 1 is 2+ -1
105 103: Searching: subtract_days(date(10, 7, 1924), 1, Candidate Variable_9)
106 104: Searching: 1>0
107 105: Found: 1>0
108 106: Searching: subtract_one_day(date(10, 7, 1924), Candidate Variable_11)
109 107: Searching: 7>1
110 108: Found: 7>1
111 109: Searching: _14860 is 7-1
112 110: Found: 6 is 7-1
113 111: Found: subtract_one_day(date(10, 7, 1924), date(10, 6, 1924))
114 112: Searching: _17936 is 1+ -1
115 113: Found: 0 is 1+ -1
116 114: Searching: subtract_days(date(10, 6, 1924), 0, Candidate Variable_9)
117 115: Found: subtract_days(date(10, 6, 1924), 0, date(10, 6, 1924))
118 116: Found: subtract_days(date(10, 7, 1924), 1, date(10, 6, 1924))
119 117: Found: subtract_days(date(10, 8, 1924), 2, date(10, 6, 1924))
120 118: Found: subtract_days(date(10, 9, 1924), 3, date(10, 6, 1924))
121 119: Found: subtract_days(date(10, 10, 1924), 4, date(10, 6, 1924))
122 120: Found: subtract_days(date(10, 11, 1924), 5, date(10, 6, 1924))
123 121: Found: subtract_days(date(10, 12, 1924), 6, date(10, 6, 1924))
124 122: Found: subtract_days(date(10, 13, 1924), 7, date(10, 6, 1924))
125 123: Found: subtract_days(date(10, 14, 1924), 8, date(10, 6, 1924))
126 124: Found: subtract_days(date(10, 15, 1924), 9, date(10, 6, 1924))
127 125: Found: subtract_days(date(10, 16, 1924), 10, date(10, 6, 1924))
128 126: Comment: The date 10 days ago was: _26556/_26562/_26568
129 127: Searching: date(10, 6, 1924)=date(_26556, Candidate Variable_12, Candidate Variable_13)
130 128: Found: date(10, 6, 1924)=date(10, 6, 1924)
131 129: Found: query | {'Result': 'truth = True'}
132 
133Looking for other paths: Redo: subtract_days(date(10, 6, 1924), 0, Candidate Variable_9)
134 
135 
136[Path 2]:
137 130: Searching: 0>0
138 131: Fail: 0>0 | {'Result': 'Search Failed'}
139 132: Fail: subtract_days(date(10, 6, 1924), 0, Candidate Variable_9) | {'Result': 'Search Failed'}
140 133: Fail: subtract_days(date(10, 7, 1924), 1, Candidate Variable_9) | {'Result': 'Search Failed'}
141 134: Fail: subtract_days(date(10, 8, 1924), 2, Candidate Variable_9) | {'Result': 'Search Failed'}
142 135: Fail: subtract_days(date(10, 9, 1924), 3, Candidate Variable_9) | {'Result': 'Search Failed'}
143 136: Fail: subtract_days(date(10, 10, 1924), 4, Candidate Variable_9) | {'Result': 'Search Failed'}
144 137: Fail: subtract_days(date(10, 11, 1924), 5, Candidate Variable_9) | {'Result': 'Search Failed'}
145 138: Fail: subtract_days(date(10, 12, 1924), 6, Candidate Variable_9) | {'Result': 'Search Failed'}
146 139: Fail: subtract_days(date(10, 13, 1924), 7, Candidate Variable_9) | {'Result': 'Search Failed'}
147 140: Fail: subtract_days(date(10, 14, 1924), 8, Candidate Variable_9) | {'Result': 'Search Failed'}
148 141: Fail: subtract_days(date(10, 15, 1924), 9, Candidate Variable_9) | {'Result': 'Search Failed'}
149 142: Fail: subtract_days(date(10, 16, 1924), 10, Candidate Variable_9) | {'Result': 'Search Failed'}
150 143: Fail: query | {'Result': 'Search Failed'}
151 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op