f | 1 | [Path 1]: | f | 1 | [Path 1]:
n | 2 | 0: Start of execution: Begining Search | n | 2 | 0: Start of execution: Beginning Search
| 3 | 1: Searching: query(Candidate Variable_0) |  | 3 | 1: Searching: query(Candidate Variable_0)
| 4 | 2: Searching: starbursts_consumed(45, 18, Candidate Variable_0) |  | 4 | 2: Searching: starbursts_consumed(45, 18, Candidate Variable_0)
| 5 | 3: Searching: initial_distribution(45, 18, Candidate Variable_1) |  | 5 | 3: Searching: initial_distribution(45, 18, Candidate Variable_1)
n | 6 | 4: Searching: _14520 is 45//18 | n | 6 | 4: Searching: _16386 is 45//18
| 7 | 5: Found: 2 is 45//18 |  | 7 | 5: Found: 2 is 45//18
| 8 | 6: Found: initial_distribution(45, 18, 2) |  | 8 | 6: Found: initial_distribution(45, 18, 2)
| 9 | 7: Searching: leftovers(45, 2, Candidate Variable_2) |  | 9 | 7: Searching: leftovers(45, 2, Candidate Variable_2)
n | 10 | 8: Searching: _15746 is 45-2 | n | 10 | 8: Searching: _18850 is 45-2
| 11 | 9: Found: 43 is 45-2 |  | 11 | 9: Found: 43 is 45-2
| 12 | 10: Found: leftovers(45, 2, 43) |  | 12 | 10: Found: leftovers(45, 2, 43)
| 13 | 11: Searching: sean_eats(43, Candidate Variable_3) |  | 13 | 11: Searching: sean_eats(43, Candidate Variable_3)
n | 14 | 12: Searching: _18226 is 43 | n | 14 | 12: Searching: _21926 is 43
| 15 | 13: Found: 43 is 43 |  | 15 | 13: Found: 43 is 43
| 16 | 14: Found: sean_eats(43, 43) |  | 16 | 14: Found: sean_eats(43, 43)
| 17 | 15: Searching: total_consumed(2, 43, Candidate Variable_0) |  | 17 | 15: Searching: total_consumed(2, 43, Candidate Variable_0)
n | 18 | 16: Searching: _5834 is 2+43 | n | 18 | 16: Searching: _7700 is 2+43
| 19 | 17: Found: 45 is 2+43 |  | 19 | 17: Found: 45 is 2+43
| 20 | 18: Found: total_consumed(2, 43, 45) |  | 20 | 18: Found: total_consumed(2, 43, 45)
| 21 | 19: Found: starbursts_consumed(45, 18, 45) |  | 21 | 19: Found: starbursts_consumed(45, 18, 45)
| 22 | 20: Found: query(45) | {'Result': 'TotalConsumed = 45'} |  | 22 | 20: Found: query(45) | {'Result': 'TotalConsumed = 45'}
t |  |  | t | 23 |

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