f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: final_remaining_colors(Candidate Variable_0)4 2: Searching: final_remaining_colors(Candidate Variable_0)
53: Searching: remaining_colors_after_theft(Candidate Variable_1)5 3: Searching: remaining_colors_after_theft(Candidate Variable_1)
64: Searching: initial_colors(Candidate Variable_2)6 4: Searching: initial_colors(Candidate Variable_2)
75: Searching: _14514 is 2*Candidate Variable_37 5: Searching: _15728=2
8 6: Found: 2=2
9 7: Searching: _16954=3
10 8: Found: 3=3
86: Searching: initial_palette_colors(Candidate Variable_3)11 9: Searching: initial_palette_colors(Candidate Variable_3)
97: Found: initial_palette_colors(4)12 10: Found: initial_palette_colors(4)
108: Found: 8 is 2*413 11: Searching: initial_makeup_set_colors(Candidate Variable_4)
14 12: Found: initial_makeup_set_colors(6)
15 13: Searching: _15118 is 2*4+3*6
16 14: Found: 26 is 2*4+3*6
119: Found: initial_colors(26)17 15: Found: initial_colors(26)
1210: Searching: stolen_palette(Candidate Variable_4)18 16: Searching: stolen_palette(Candidate Variable_5)
1311: Searching: initial_palette_colors(Candidate Variable_5)19 17: Searching: initial_palette_colors(Candidate Variable_5)
1412: Found: initial_palette_colors(4)20 18: Found: initial_palette_colors(4)
1513: Searching: _16978 is 4
1614: Found: 4 is 4
1715: Found: stolen_palette(4)21 19: Found: stolen_palette(4)
1816: Searching: _5834 is 26-422 20: Searching: _14508 is 26-4
1917: Found: 22 is 26-423 21: Found: 22 is 26-4
2018: Found: remaining_colors_after_theft(22)24 22: Found: remaining_colors_after_theft(22)
2119: Searching: used_makeup_set_colors(Candidate Variable_6)25 23: Searching: used_makeup_set_colors(Candidate Variable_6)
2220: Searching: initial_makeup_set_colors(Candidate Variable_7)26 24: Searching: initial_makeup_set_colors(Candidate Variable_7)
2321: Found: initial_makeup_set_colors(6)27 25: Found: initial_makeup_set_colors(6)
2422: Searching: _21896 is 6/228 26: Searching: _26738 is 6/2
2523: Found: 3 is 6/229 27: Found: 3 is 6/2
2624: Found: used_makeup_set_colors(3)30 28: Found: used_makeup_set_colors(3)
2725: Searching: _5834 is 22-331 29: Searching: _5830 is 22-3
2826: Found: 19 is 22-332 30: Found: 19 is 22-3
2927: Found: final_remaining_colors(19)33 31: Found: final_remaining_colors(19)
3028: Found: query(19) | {'Result': 'Count = 19'}34 32: Found: query(19) | {'Result': 'Count = 19'}
35 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op