repositories / mc1516pa.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
typos
[mc1516pa.git] / models / 489-coord.smv
1 MODULE main
2 VAR
3 x0_0 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
4 x0_1 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
5 x0_2 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
6 x0_3 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
7 x0_4 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
8 x0_5 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
9 x0_6 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
10 x1_0 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
11 x1_1 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
12 x1_2 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
13 x1_3 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
14 x1_4 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
15 x1_5 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
16 x1_6 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
17 x1_7 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
18 x2_0 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
19 x2_1 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
20 x2_2 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
21 x2_3 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
22 x2_4 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
23 x2_5 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
24 x2_6 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
25 x2_7 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
26 x3_0 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
27 x3_1 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
28 x3_2 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
29 x3_3 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
30 x3_4 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
31 x3_5 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
32 x3_6 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
33 x3_7 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
34 x4_0 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
35 x4_1 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
36 x4_2 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
37 x4_3 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
38 x4_4 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
39 x4_5 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
40 x4_6 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
41 x4_7 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
42 x5_0 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
43 x5_1 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
44 x5_2 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
45 x5_3 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
46 x5_4 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
47 x5_5 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
48 x5_6 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
49 x5_7 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
50 x6_0 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
51 x6_1 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
52 x6_2 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
53 x6_3 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
54 x6_4 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
55 x6_5 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
56 x6_6 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
57 x7_0 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
58 x7_1 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
59 x7_2 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
60 x7_3 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
61 x7_4 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
62 x7_5 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
63 x7_6 : {Wall, Free, Box, BoxOnTarget, Target, Agent, AgentOnTarget};
64 move : {Up, Down, Left, Right};
65 ASSIGN
66 init(move) := {Up, Down, Left, Right};
67 init(x0_0) := Free;
68 init(x0_1) := Free;
69 init(x0_2) := Wall;
70 init(x0_3) := Wall;
71 init(x0_4) := Wall;
72 init(x0_5) := Wall;
73 init(x0_6) := Wall;
74 init(x1_0) := Wall;
75 init(x1_1) := Wall;
76 init(x1_2) := Wall;
77 init(x1_3) := Free;
78 init(x1_4) := Free;
79 init(x1_5) := Free;
80 init(x1_6) := Wall;
81 init(x1_7) := Wall;
82 init(x2_0) := Wall;
83 init(x2_1) := Free;
84 init(x2_2) := Box;
85 init(x2_3) := Box;
86 init(x2_4) := Target;
87 init(x2_5) := Target;
88 init(x2_6) := Free;
89 init(x2_7) := Wall;
90 init(x3_0) := Wall;
91 init(x3_1) := Free;
92 init(x3_2) := Free;
93 init(x3_3) := Target;
94 init(x3_4) := Agent;
95 init(x3_5) := Wall;
96 init(x3_6) := Free;
97 init(x3_7) := Wall;
98 init(x4_0) := Wall;
99 init(x4_1) := Wall;
100 init(x4_2) := Free;
101 init(x4_3) := Wall;
102 init(x4_4) := Free;
103 init(x4_5) := Free;
104 init(x4_6) := Free;
105 init(x4_7) := Wall;
106 init(x5_0) := Free;
107 init(x5_1) := Wall;
108 init(x5_2) := Free;
109 init(x5_3) := Box;
110 init(x5_4) := BoxOnTarget;
111 init(x5_5) := Free;
112 init(x5_6) := Wall;
113 init(x5_7) := Wall;
114 init(x6_0) := Free;
115 init(x6_1) := Wall;
116 init(x6_2) := Wall;
117 init(x6_3) := Wall;
118 init(x6_4) := Free;
119 init(x6_5) := Free;
120 init(x6_6) := Wall;
121 init(x7_0) := Free;
122 init(x7_1) := Free;
123 init(x7_2) := Free;
124 init(x7_3) := Wall;
125 init(x7_4) := Wall;
126 init(x7_5) := Wall;
127 init(x7_6) := Wall;
128 next(x0_0) := case
129 x0_0 = Wall: Wall;
130 x0_0 = Free & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Left: Agent;
131 x0_0 = Free & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Up: Agent;
132 x0_0 = Free & (x0_1 = Box | x0_1 = BoxOnTarget) & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Left: Box;
133 x0_0 = Free & (x1_0 = Box | x1_0 = BoxOnTarget) & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Up: Box;
134 x0_0 = Agent & (x0_1 = Free | x0_1 = Target) & move = Right: Free;
135 x0_0 = Agent & (x1_0 = Free | x1_0 = Target) & move = Down: Free;
136 x0_0 = Agent & (x0_1 = Box | x0_1 = BoxOnTarget) & (x0_2 = Free | x0_2 = Target) & move = Right: Free;
137 x0_0 = Agent & (x1_0 = Box | x1_0 = BoxOnTarget) & (x2_0 = Free | x2_0 = Target) & move = Down: Free;
138 x0_0 = Target & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Left: AgentOnTarget;
139 x0_0 = Target & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Up: AgentOnTarget;
140 x0_0 = Target & (x0_1 = Box | x0_1 = BoxOnTarget) & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Left: BoxOnTarget;
141 x0_0 = Target & (x1_0 = Box | x1_0 = BoxOnTarget) & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Up: BoxOnTarget;
142 x0_0 = AgentOnTarget & (x0_1 = Free | x0_1 = Target) & move = Right: Target;
143 x0_0 = AgentOnTarget & (x1_0 = Free | x1_0 = Target) & move = Down: Target;
144 TRUE : x0_0;
145 esac;
146 next(x0_1) := case
147 x0_1 = Wall: Wall;
148 x0_1 = Free & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Left: Agent;
149 x0_1 = Free & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Up: Agent;
150 x0_1 = Free & (x0_0 = Agent | x0_0 = AgentOnTarget) & move = Right : Agent;
151 x0_1 = Free & (x0_2 = Box | x0_2 = BoxOnTarget) & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Left: Box;
152 x0_1 = Free & (x1_1 = Box | x1_1 = BoxOnTarget) & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Up: Box;
153 x0_1 = Agent & (x0_2 = Free | x0_2 = Target) & move = Right: Free;
154 x0_1 = Agent & (x1_1 = Free | x1_1 = Target) & move = Down: Free;
155 x0_1 = Agent & (x0_0 = Free | x0_0 = Target) & move = Left : Free;
156 x0_1 = Agent & (x0_2 = Box | x0_2 = BoxOnTarget) & (x0_3 = Free | x0_3 = Target) & move = Right: Free;
157 x0_1 = Agent & (x1_1 = Box | x1_1 = BoxOnTarget) & (x2_1 = Free | x2_1 = Target) & move = Down: Free;
158 x0_1 = Box & (x0_2 = Agent | x0_2 = AgentOnTarget) & (x0_0 = Free | x0_0 = Target) & move = Left: Agent;
159 x0_1 = Box & (x0_0 = Agent | x0_0 = AgentOnTarget) & (x0_2 = Free | x0_2 = Target) & move = Right : Agent;
160 x0_1 = Target & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Left: AgentOnTarget;
161 x0_1 = Target & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Up: AgentOnTarget;
162 x0_1 = Target & (x0_0 = Agent | x0_0 = AgentOnTarget) & move = Right : AgentOnTarget;
163 x0_1 = Target & (x0_2 = Box | x0_2 = BoxOnTarget) & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Left: BoxOnTarget;
164 x0_1 = Target & (x1_1 = Box | x1_1 = BoxOnTarget) & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Up: BoxOnTarget;
165 x0_1 = AgentOnTarget & (x0_2 = Free | x0_2 = Target) & move = Right: Target;
166 x0_1 = AgentOnTarget & (x1_1 = Free | x1_1 = Target) & move = Down: Target;
167 x0_1 = AgentOnTarget & (x0_0 = Free | x0_0 = Target) & move = Left : Target;
168 x0_1 = BoxOnTarget & (x0_2 = Agent | x0_2 = AgentOnTarget) & (x0_0 = Free | x0_0 = Target) & move = Left: AgentOnTarget;
169 x0_1 = BoxOnTarget & (x0_0 = Agent | x0_0 = AgentOnTarget) & (x0_2 = Free | x0_2 = Target) & move = Right : AgentOnTarget;
170 TRUE : x0_1;
171 esac;
172 next(x0_2) := case
173 x0_2 = Wall: Wall;
174 x0_2 = Free & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Left: Agent;
175 x0_2 = Free & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Up: Agent;
176 x0_2 = Free & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Right : Agent;
177 x0_2 = Free & (x0_3 = Box | x0_3 = BoxOnTarget) & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Left: Box;
178 x0_2 = Free & (x1_2 = Box | x1_2 = BoxOnTarget) & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Up: Box;
179 x0_2 = Free & (x0_1 = Box | x0_1 = BoxOnTarget) & (x0_0 = Agent | x0_0 = AgentOnTarget) & move = Right : Box;
180 x0_2 = Agent & (x0_3 = Free | x0_3 = Target) & move = Right: Free;
181 x0_2 = Agent & (x1_2 = Free | x1_2 = Target) & move = Down: Free;
182 x0_2 = Agent & (x0_1 = Free | x0_1 = Target) & move = Left : Free;
183 x0_2 = Agent & (x0_3 = Box | x0_3 = BoxOnTarget) & (x0_4 = Free | x0_4 = Target) & move = Right: Free;
184 x0_2 = Agent & (x1_2 = Box | x1_2 = BoxOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Down: Free;
185 x0_2 = Agent & (x0_1 = Box | x0_1 = BoxOnTarget) & (x0_0 = Free | x0_0 = Target) & move = Left: Free;
186 x0_2 = Box & (x0_3 = Agent | x0_3 = AgentOnTarget) & (x0_1 = Free | x0_1 = Target) & move = Left: Agent;
187 x0_2 = Box & (x0_1 = Agent | x0_1 = AgentOnTarget) & (x0_3 = Free | x0_3 = Target) & move = Right : Agent;
188 x0_2 = Target & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Left: AgentOnTarget;
189 x0_2 = Target & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Up: AgentOnTarget;
190 x0_2 = Target & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Right : AgentOnTarget;
191 x0_2 = Target & (x0_3 = Box | x0_3 = BoxOnTarget) & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Left: BoxOnTarget;
192 x0_2 = Target & (x1_2 = Box | x1_2 = BoxOnTarget) & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Up: BoxOnTarget;
193 x0_2 = Target & (x0_1 = Box | x0_1 = BoxOnTarget) & (x0_0 = Agent | x0_0 = AgentOnTarget) & move = Right : BoxOnTarget;
194 x0_2 = AgentOnTarget & (x0_3 = Free | x0_3 = Target) & move = Right: Target;
195 x0_2 = AgentOnTarget & (x1_2 = Free | x1_2 = Target) & move = Down: Target;
196 x0_2 = AgentOnTarget & (x0_1 = Free | x0_1 = Target) & move = Left : Target;
197 x0_2 = BoxOnTarget & (x0_3 = Agent | x0_3 = AgentOnTarget) & (x0_1 = Free | x0_1 = Target) & move = Left: AgentOnTarget;
198 x0_2 = BoxOnTarget & (x0_1 = Agent | x0_1 = AgentOnTarget) & (x0_3 = Free | x0_3 = Target) & move = Right : AgentOnTarget;
199 TRUE : x0_2;
200 esac;
201 next(x0_3) := case
202 x0_3 = Wall: Wall;
203 x0_3 = Free & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Left: Agent;
204 x0_3 = Free & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Up: Agent;
205 x0_3 = Free & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Right : Agent;
206 x0_3 = Free & (x0_4 = Box | x0_4 = BoxOnTarget) & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Left: Box;
207 x0_3 = Free & (x1_3 = Box | x1_3 = BoxOnTarget) & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Up: Box;
208 x0_3 = Free & (x0_2 = Box | x0_2 = BoxOnTarget) & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Right : Box;
209 x0_3 = Agent & (x0_4 = Free | x0_4 = Target) & move = Right: Free;
210 x0_3 = Agent & (x1_3 = Free | x1_3 = Target) & move = Down: Free;
211 x0_3 = Agent & (x0_2 = Free | x0_2 = Target) & move = Left : Free;
212 x0_3 = Agent & (x0_4 = Box | x0_4 = BoxOnTarget) & (x0_5 = Free | x0_5 = Target) & move = Right: Free;
213 x0_3 = Agent & (x1_3 = Box | x1_3 = BoxOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Down: Free;
214 x0_3 = Agent & (x0_2 = Box | x0_2 = BoxOnTarget) & (x0_1 = Free | x0_1 = Target) & move = Left: Free;
215 x0_3 = Box & (x0_4 = Agent | x0_4 = AgentOnTarget) & (x0_2 = Free | x0_2 = Target) & move = Left: Agent;
216 x0_3 = Box & (x0_2 = Agent | x0_2 = AgentOnTarget) & (x0_4 = Free | x0_4 = Target) & move = Right : Agent;
217 x0_3 = Target & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Left: AgentOnTarget;
218 x0_3 = Target & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Up: AgentOnTarget;
219 x0_3 = Target & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Right : AgentOnTarget;
220 x0_3 = Target & (x0_4 = Box | x0_4 = BoxOnTarget) & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Left: BoxOnTarget;
221 x0_3 = Target & (x1_3 = Box | x1_3 = BoxOnTarget) & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Up: BoxOnTarget;
222 x0_3 = Target & (x0_2 = Box | x0_2 = BoxOnTarget) & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Right : BoxOnTarget;
223 x0_3 = AgentOnTarget & (x0_4 = Free | x0_4 = Target) & move = Right: Target;
224 x0_3 = AgentOnTarget & (x1_3 = Free | x1_3 = Target) & move = Down: Target;
225 x0_3 = AgentOnTarget & (x0_2 = Free | x0_2 = Target) & move = Left : Target;
226 x0_3 = BoxOnTarget & (x0_4 = Agent | x0_4 = AgentOnTarget) & (x0_2 = Free | x0_2 = Target) & move = Left: AgentOnTarget;
227 x0_3 = BoxOnTarget & (x0_2 = Agent | x0_2 = AgentOnTarget) & (x0_4 = Free | x0_4 = Target) & move = Right : AgentOnTarget;
228 TRUE : x0_3;
229 esac;
230 next(x0_4) := case
231 x0_4 = Wall: Wall;
232 x0_4 = Free & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Left: Agent;
233 x0_4 = Free & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Up: Agent;
234 x0_4 = Free & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Right : Agent;
235 x0_4 = Free & (x0_5 = Box | x0_5 = BoxOnTarget) & (x0_6 = Agent | x0_6 = AgentOnTarget) & move = Left: Box;
236 x0_4 = Free & (x1_4 = Box | x1_4 = BoxOnTarget) & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Up: Box;
237 x0_4 = Free & (x0_3 = Box | x0_3 = BoxOnTarget) & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Right : Box;
238 x0_4 = Agent & (x0_5 = Free | x0_5 = Target) & move = Right: Free;
239 x0_4 = Agent & (x1_4 = Free | x1_4 = Target) & move = Down: Free;
240 x0_4 = Agent & (x0_3 = Free | x0_3 = Target) & move = Left : Free;
241 x0_4 = Agent & (x0_5 = Box | x0_5 = BoxOnTarget) & (x0_6 = Free | x0_6 = Target) & move = Right: Free;
242 x0_4 = Agent & (x1_4 = Box | x1_4 = BoxOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Down: Free;
243 x0_4 = Agent & (x0_3 = Box | x0_3 = BoxOnTarget) & (x0_2 = Free | x0_2 = Target) & move = Left: Free;
244 x0_4 = Box & (x0_5 = Agent | x0_5 = AgentOnTarget) & (x0_3 = Free | x0_3 = Target) & move = Left: Agent;
245 x0_4 = Box & (x0_3 = Agent | x0_3 = AgentOnTarget) & (x0_5 = Free | x0_5 = Target) & move = Right : Agent;
246 x0_4 = Target & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Left: AgentOnTarget;
247 x0_4 = Target & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Up: AgentOnTarget;
248 x0_4 = Target & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Right : AgentOnTarget;
249 x0_4 = Target & (x0_5 = Box | x0_5 = BoxOnTarget) & (x0_6 = Agent | x0_6 = AgentOnTarget) & move = Left: BoxOnTarget;
250 x0_4 = Target & (x1_4 = Box | x1_4 = BoxOnTarget) & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Up: BoxOnTarget;
251 x0_4 = Target & (x0_3 = Box | x0_3 = BoxOnTarget) & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Right : BoxOnTarget;
252 x0_4 = AgentOnTarget & (x0_5 = Free | x0_5 = Target) & move = Right: Target;
253 x0_4 = AgentOnTarget & (x1_4 = Free | x1_4 = Target) & move = Down: Target;
254 x0_4 = AgentOnTarget & (x0_3 = Free | x0_3 = Target) & move = Left : Target;
255 x0_4 = BoxOnTarget & (x0_5 = Agent | x0_5 = AgentOnTarget) & (x0_3 = Free | x0_3 = Target) & move = Left: AgentOnTarget;
256 x0_4 = BoxOnTarget & (x0_3 = Agent | x0_3 = AgentOnTarget) & (x0_5 = Free | x0_5 = Target) & move = Right : AgentOnTarget;
257 TRUE : x0_4;
258 esac;
259 next(x0_5) := case
260 x0_5 = Wall: Wall;
261 x0_5 = Free & (x0_6 = Agent | x0_6 = AgentOnTarget) & move = Left: Agent;
262 x0_5 = Free & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Up: Agent;
263 x0_5 = Free & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Right : Agent;
264 x0_5 = Free & (x1_5 = Box | x1_5 = BoxOnTarget) & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Up: Box;
265 x0_5 = Free & (x0_4 = Box | x0_4 = BoxOnTarget) & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Right : Box;
266 x0_5 = Agent & (x0_6 = Free | x0_6 = Target) & move = Right: Free;
267 x0_5 = Agent & (x1_5 = Free | x1_5 = Target) & move = Down: Free;
268 x0_5 = Agent & (x0_4 = Free | x0_4 = Target) & move = Left : Free;
269 x0_5 = Agent & (x1_5 = Box | x1_5 = BoxOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Down: Free;
270 x0_5 = Agent & (x0_4 = Box | x0_4 = BoxOnTarget) & (x0_3 = Free | x0_3 = Target) & move = Left: Free;
271 x0_5 = Box & (x0_6 = Agent | x0_6 = AgentOnTarget) & (x0_4 = Free | x0_4 = Target) & move = Left: Agent;
272 x0_5 = Box & (x0_4 = Agent | x0_4 = AgentOnTarget) & (x0_6 = Free | x0_6 = Target) & move = Right : Agent;
273 x0_5 = Target & (x0_6 = Agent | x0_6 = AgentOnTarget) & move = Left: AgentOnTarget;
274 x0_5 = Target & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Up: AgentOnTarget;
275 x0_5 = Target & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Right : AgentOnTarget;
276 x0_5 = Target & (x1_5 = Box | x1_5 = BoxOnTarget) & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Up: BoxOnTarget;
277 x0_5 = Target & (x0_4 = Box | x0_4 = BoxOnTarget) & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Right : BoxOnTarget;
278 x0_5 = AgentOnTarget & (x0_6 = Free | x0_6 = Target) & move = Right: Target;
279 x0_5 = AgentOnTarget & (x1_5 = Free | x1_5 = Target) & move = Down: Target;
280 x0_5 = AgentOnTarget & (x0_4 = Free | x0_4 = Target) & move = Left : Target;
281 x0_5 = BoxOnTarget & (x0_6 = Agent | x0_6 = AgentOnTarget) & (x0_4 = Free | x0_4 = Target) & move = Left: AgentOnTarget;
282 x0_5 = BoxOnTarget & (x0_4 = Agent | x0_4 = AgentOnTarget) & (x0_6 = Free | x0_6 = Target) & move = Right : AgentOnTarget;
283 TRUE : x0_5;
284 esac;
285 next(x0_6) := case
286 x0_6 = Wall: Wall;
287 x0_6 = Free & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Up: Agent;
288 x0_6 = Free & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Right : Agent;
289 x0_6 = Free & (x1_6 = Box | x1_6 = BoxOnTarget) & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Up: Box;
290 x0_6 = Free & (x0_5 = Box | x0_5 = BoxOnTarget) & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Right : Box;
291 x0_6 = Agent & (x1_6 = Free | x1_6 = Target) & move = Down: Free;
292 x0_6 = Agent & (x0_5 = Free | x0_5 = Target) & move = Left : Free;
293 x0_6 = Agent & (x1_6 = Box | x1_6 = BoxOnTarget) & (x2_6 = Free | x2_6 = Target) & move = Down: Free;
294 x0_6 = Agent & (x0_5 = Box | x0_5 = BoxOnTarget) & (x0_4 = Free | x0_4 = Target) & move = Left: Free;
295 x0_6 = Target & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Up: AgentOnTarget;
296 x0_6 = Target & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Right : AgentOnTarget;
297 x0_6 = Target & (x1_6 = Box | x1_6 = BoxOnTarget) & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Up: BoxOnTarget;
298 x0_6 = Target & (x0_5 = Box | x0_5 = BoxOnTarget) & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Right : BoxOnTarget;
299 x0_6 = AgentOnTarget & (x1_6 = Free | x1_6 = Target) & move = Down: Target;
300 x0_6 = AgentOnTarget & (x0_5 = Free | x0_5 = Target) & move = Left : Target;
301 TRUE : x0_6;
302 esac;
303 next(x1_0) := case
304 x1_0 = Wall: Wall;
305 x1_0 = Free & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Left: Agent;
306 x1_0 = Free & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Up: Agent;
307 x1_0 = Free & (x0_0 = Agent | x0_0 = AgentOnTarget) & move = Down : Agent;
308 x1_0 = Free & (x1_1 = Box | x1_1 = BoxOnTarget) & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Left: Box;
309 x1_0 = Free & (x2_0 = Box | x2_0 = BoxOnTarget) & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Up: Box;
310 x1_0 = Agent & (x1_1 = Free | x1_1 = Target) & move = Right: Free;
311 x1_0 = Agent & (x2_0 = Free | x2_0 = Target) & move = Down: Free;
312 x1_0 = Agent & (x0_0= Free | x0_0 = Target) & move = Up : Free;
313 x1_0 = Agent & (x1_1 = Box | x1_1 = BoxOnTarget) & (x1_2 = Free | x1_2 = Target) & move = Right: Free;
314 x1_0 = Agent & (x2_0 = Box | x2_0 = BoxOnTarget) & (x3_0 = Free | x3_0 = Target) & move = Down: Free;
315 x1_0 = Box & (x2_0 = Agent | x2_0 = AgentOnTarget) & (x0_0 = Free | x0_0 = Target) & move = Up: Agent;
316 x1_0 = Box & (x0_0 = Agent | x0_0 = AgentOnTarget) & (x2_0 = Free | x2_0 = Target) & move = Down : Agent;
317 x1_0 = Target & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Left: AgentOnTarget;
318 x1_0 = Target & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Up: AgentOnTarget;
319 x1_0 = Target & (x0_0 = Agent | x0_0 = AgentOnTarget) & move = Down : AgentOnTarget;
320 x1_0 = Target & (x1_1 = Box | x1_1 = BoxOnTarget) & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Left: BoxOnTarget;
321 x1_0 = Target & (x2_0 = Box | x2_0 = BoxOnTarget) & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Up: BoxOnTarget;
322 x1_0 = AgentOnTarget & (x1_1 = Free | x1_1 = Target) & move = Right: Target;
323 x1_0 = AgentOnTarget & (x2_0 = Free | x2_0 = Target) & move = Down: Target;
324 x1_0 = AgentOnTarget & (x0_0 = Free | x0_0 = Target) & move = Up : Target;
325 x1_0 = BoxOnTarget & (x2_0 = Agent | x2_0 = AgentOnTarget) & (x0_0 = Free | x0_0 = Target) & move = Up: AgentOnTarget;
326 x1_0 = BoxOnTarget & (x0_0 = Agent | x0_0 = AgentOnTarget) & (x2_0 = Free | x2_0 = Target) & move = Down : AgentOnTarget;
327 TRUE : x1_0;
328 esac;
329 next(x1_1) := case
330 x1_1 = Wall: Wall;
331 x1_1 = Free & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Left: Agent;
332 x1_1 = Free & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Up: Agent;
333 x1_1 = Free & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Right : Agent;
334 x1_1 = Free & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Down : Agent;
335 x1_1 = Free & (x1_2 = Box | x1_2 = BoxOnTarget) & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Left: Box;
336 x1_1 = Free & (x2_1 = Box | x2_1 = BoxOnTarget) & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Up: Box;
337 x1_1 = Agent & (x1_2 = Free | x1_2 = Target) & move = Right: Free;
338 x1_1 = Agent & (x2_1 = Free | x2_1 = Target) & move = Down: Free;
339 x1_1 = Agent & (x1_0 = Free | x1_0 = Target) & move = Left : Free;
340 x1_1 = Agent & (x0_1= Free | x0_1 = Target) & move = Up : Free;
341 x1_1 = Agent & (x1_2 = Box | x1_2 = BoxOnTarget) & (x1_3 = Free | x1_3 = Target) & move = Right: Free;
342 x1_1 = Agent & (x2_1 = Box | x2_1 = BoxOnTarget) & (x3_1 = Free | x3_1 = Target) & move = Down: Free;
343 x1_1 = Box & (x1_2 = Agent | x1_2 = AgentOnTarget) & (x1_0 = Free | x1_0 = Target) & move = Left: Agent;
344 x1_1 = Box & (x2_1 = Agent | x2_1 = AgentOnTarget) & (x0_1 = Free | x0_1 = Target) & move = Up: Agent;
345 x1_1 = Box & (x1_0 = Agent | x1_0 = AgentOnTarget) & (x1_2 = Free | x1_2 = Target) & move = Right : Agent;
346 x1_1 = Box & (x0_1 = Agent | x0_1 = AgentOnTarget) & (x2_1 = Free | x2_1 = Target) & move = Down : Agent;
347 x1_1 = Target & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Left: AgentOnTarget;
348 x1_1 = Target & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Up: AgentOnTarget;
349 x1_1 = Target & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Right : AgentOnTarget;
350 x1_1 = Target & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Down : AgentOnTarget;
351 x1_1 = Target & (x1_2 = Box | x1_2 = BoxOnTarget) & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Left: BoxOnTarget;
352 x1_1 = Target & (x2_1 = Box | x2_1 = BoxOnTarget) & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Up: BoxOnTarget;
353 x1_1 = AgentOnTarget & (x1_2 = Free | x1_2 = Target) & move = Right: Target;
354 x1_1 = AgentOnTarget & (x2_1 = Free | x2_1 = Target) & move = Down: Target;
355 x1_1 = AgentOnTarget & (x1_0 = Free | x1_0 = Target) & move = Left : Target;
356 x1_1 = AgentOnTarget & (x0_1 = Free | x0_1 = Target) & move = Up : Target;
357 x1_1 = BoxOnTarget & (x1_2 = Agent | x1_2 = AgentOnTarget) & (x1_0 = Free | x1_0 = Target) & move = Left: AgentOnTarget;
358 x1_1 = BoxOnTarget & (x2_1 = Agent | x2_1 = AgentOnTarget) & (x0_1 = Free | x0_1 = Target) & move = Up: AgentOnTarget;
359 x1_1 = BoxOnTarget & (x1_0 = Agent | x1_0 = AgentOnTarget) & (x1_2 = Free | x1_2 = Target) & move = Right : AgentOnTarget;
360 x1_1 = BoxOnTarget & (x0_1 = Agent | x0_1 = AgentOnTarget) & (x2_1 = Free | x2_1 = Target) & move = Down : AgentOnTarget;
361 TRUE : x1_1;
362 esac;
363 next(x1_2) := case
364 x1_2 = Wall: Wall;
365 x1_2 = Free & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Left: Agent;
366 x1_2 = Free & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Up: Agent;
367 x1_2 = Free & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Right : Agent;
368 x1_2 = Free & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Down : Agent;
369 x1_2 = Free & (x1_3 = Box | x1_3 = BoxOnTarget) & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Left: Box;
370 x1_2 = Free & (x2_2 = Box | x2_2 = BoxOnTarget) & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Up: Box;
371 x1_2 = Free & (x1_1 = Box | x1_1 = BoxOnTarget) & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Right : Box;
372 x1_2 = Agent & (x1_3 = Free | x1_3 = Target) & move = Right: Free;
373 x1_2 = Agent & (x2_2 = Free | x2_2 = Target) & move = Down: Free;
374 x1_2 = Agent & (x1_1 = Free | x1_1 = Target) & move = Left : Free;
375 x1_2 = Agent & (x0_2= Free | x0_2 = Target) & move = Up : Free;
376 x1_2 = Agent & (x1_3 = Box | x1_3 = BoxOnTarget) & (x1_4 = Free | x1_4 = Target) & move = Right: Free;
377 x1_2 = Agent & (x2_2 = Box | x2_2 = BoxOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Down: Free;
378 x1_2 = Agent & (x1_1 = Box | x1_1 = BoxOnTarget) & (x1_0 = Free | x1_0 = Target) & move = Left: Free;
379 x1_2 = Box & (x1_3 = Agent | x1_3 = AgentOnTarget) & (x1_1 = Free | x1_1 = Target) & move = Left: Agent;
380 x1_2 = Box & (x2_2 = Agent | x2_2 = AgentOnTarget) & (x0_2 = Free | x0_2 = Target) & move = Up: Agent;
381 x1_2 = Box & (x1_1 = Agent | x1_1 = AgentOnTarget) & (x1_3 = Free | x1_3 = Target) & move = Right : Agent;
382 x1_2 = Box & (x0_2 = Agent | x0_2 = AgentOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Down : Agent;
383 x1_2 = Target & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Left: AgentOnTarget;
384 x1_2 = Target & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Up: AgentOnTarget;
385 x1_2 = Target & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Right : AgentOnTarget;
386 x1_2 = Target & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Down : AgentOnTarget;
387 x1_2 = Target & (x1_3 = Box | x1_3 = BoxOnTarget) & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Left: BoxOnTarget;
388 x1_2 = Target & (x2_2 = Box | x2_2 = BoxOnTarget) & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Up: BoxOnTarget;
389 x1_2 = Target & (x1_1 = Box | x1_1 = BoxOnTarget) & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Right : BoxOnTarget;
390 x1_2 = AgentOnTarget & (x1_3 = Free | x1_3 = Target) & move = Right: Target;
391 x1_2 = AgentOnTarget & (x2_2 = Free | x2_2 = Target) & move = Down: Target;
392 x1_2 = AgentOnTarget & (x1_1 = Free | x1_1 = Target) & move = Left : Target;
393 x1_2 = AgentOnTarget & (x0_2 = Free | x0_2 = Target) & move = Up : Target;
394 x1_2 = BoxOnTarget & (x1_3 = Agent | x1_3 = AgentOnTarget) & (x1_1 = Free | x1_1 = Target) & move = Left: AgentOnTarget;
395 x1_2 = BoxOnTarget & (x2_2 = Agent | x2_2 = AgentOnTarget) & (x0_2 = Free | x0_2 = Target) & move = Up: AgentOnTarget;
396 x1_2 = BoxOnTarget & (x1_1 = Agent | x1_1 = AgentOnTarget) & (x1_3 = Free | x1_3 = Target) & move = Right : AgentOnTarget;
397 x1_2 = BoxOnTarget & (x0_2 = Agent | x0_2 = AgentOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Down : AgentOnTarget;
398 TRUE : x1_2;
399 esac;
400 next(x1_3) := case
401 x1_3 = Wall: Wall;
402 x1_3 = Free & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Left: Agent;
403 x1_3 = Free & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Up: Agent;
404 x1_3 = Free & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Right : Agent;
405 x1_3 = Free & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Down : Agent;
406 x1_3 = Free & (x1_4 = Box | x1_4 = BoxOnTarget) & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Left: Box;
407 x1_3 = Free & (x2_3 = Box | x2_3 = BoxOnTarget) & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Up: Box;
408 x1_3 = Free & (x1_2 = Box | x1_2 = BoxOnTarget) & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Right : Box;
409 x1_3 = Agent & (x1_4 = Free | x1_4 = Target) & move = Right: Free;
410 x1_3 = Agent & (x2_3 = Free | x2_3 = Target) & move = Down: Free;
411 x1_3 = Agent & (x1_2 = Free | x1_2 = Target) & move = Left : Free;
412 x1_3 = Agent & (x0_3= Free | x0_3 = Target) & move = Up : Free;
413 x1_3 = Agent & (x1_4 = Box | x1_4 = BoxOnTarget) & (x1_5 = Free | x1_5 = Target) & move = Right: Free;
414 x1_3 = Agent & (x2_3 = Box | x2_3 = BoxOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Down: Free;
415 x1_3 = Agent & (x1_2 = Box | x1_2 = BoxOnTarget) & (x1_1 = Free | x1_1 = Target) & move = Left: Free;
416 x1_3 = Box & (x1_4 = Agent | x1_4 = AgentOnTarget) & (x1_2 = Free | x1_2 = Target) & move = Left: Agent;
417 x1_3 = Box & (x2_3 = Agent | x2_3 = AgentOnTarget) & (x0_3 = Free | x0_3 = Target) & move = Up: Agent;
418 x1_3 = Box & (x1_2 = Agent | x1_2 = AgentOnTarget) & (x1_4 = Free | x1_4 = Target) & move = Right : Agent;
419 x1_3 = Box & (x0_3 = Agent | x0_3 = AgentOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Down : Agent;
420 x1_3 = Target & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Left: AgentOnTarget;
421 x1_3 = Target & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Up: AgentOnTarget;
422 x1_3 = Target & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Right : AgentOnTarget;
423 x1_3 = Target & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Down : AgentOnTarget;
424 x1_3 = Target & (x1_4 = Box | x1_4 = BoxOnTarget) & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Left: BoxOnTarget;
425 x1_3 = Target & (x2_3 = Box | x2_3 = BoxOnTarget) & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Up: BoxOnTarget;
426 x1_3 = Target & (x1_2 = Box | x1_2 = BoxOnTarget) & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Right : BoxOnTarget;
427 x1_3 = AgentOnTarget & (x1_4 = Free | x1_4 = Target) & move = Right: Target;
428 x1_3 = AgentOnTarget & (x2_3 = Free | x2_3 = Target) & move = Down: Target;
429 x1_3 = AgentOnTarget & (x1_2 = Free | x1_2 = Target) & move = Left : Target;
430 x1_3 = AgentOnTarget & (x0_3 = Free | x0_3 = Target) & move = Up : Target;
431 x1_3 = BoxOnTarget & (x1_4 = Agent | x1_4 = AgentOnTarget) & (x1_2 = Free | x1_2 = Target) & move = Left: AgentOnTarget;
432 x1_3 = BoxOnTarget & (x2_3 = Agent | x2_3 = AgentOnTarget) & (x0_3 = Free | x0_3 = Target) & move = Up: AgentOnTarget;
433 x1_3 = BoxOnTarget & (x1_2 = Agent | x1_2 = AgentOnTarget) & (x1_4 = Free | x1_4 = Target) & move = Right : AgentOnTarget;
434 x1_3 = BoxOnTarget & (x0_3 = Agent | x0_3 = AgentOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Down : AgentOnTarget;
435 TRUE : x1_3;
436 esac;
437 next(x1_4) := case
438 x1_4 = Wall: Wall;
439 x1_4 = Free & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Left: Agent;
440 x1_4 = Free & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Up: Agent;
441 x1_4 = Free & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Right : Agent;
442 x1_4 = Free & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Down : Agent;
443 x1_4 = Free & (x1_5 = Box | x1_5 = BoxOnTarget) & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Left: Box;
444 x1_4 = Free & (x2_4 = Box | x2_4 = BoxOnTarget) & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Up: Box;
445 x1_4 = Free & (x1_3 = Box | x1_3 = BoxOnTarget) & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Right : Box;
446 x1_4 = Agent & (x1_5 = Free | x1_5 = Target) & move = Right: Free;
447 x1_4 = Agent & (x2_4 = Free | x2_4 = Target) & move = Down: Free;
448 x1_4 = Agent & (x1_3 = Free | x1_3 = Target) & move = Left : Free;
449 x1_4 = Agent & (x0_4= Free | x0_4 = Target) & move = Up : Free;
450 x1_4 = Agent & (x1_5 = Box | x1_5 = BoxOnTarget) & (x1_6 = Free | x1_6 = Target) & move = Right: Free;
451 x1_4 = Agent & (x2_4 = Box | x2_4 = BoxOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Down: Free;
452 x1_4 = Agent & (x1_3 = Box | x1_3 = BoxOnTarget) & (x1_2 = Free | x1_2 = Target) & move = Left: Free;
453 x1_4 = Box & (x1_5 = Agent | x1_5 = AgentOnTarget) & (x1_3 = Free | x1_3 = Target) & move = Left: Agent;
454 x1_4 = Box & (x2_4 = Agent | x2_4 = AgentOnTarget) & (x0_4 = Free | x0_4 = Target) & move = Up: Agent;
455 x1_4 = Box & (x1_3 = Agent | x1_3 = AgentOnTarget) & (x1_5 = Free | x1_5 = Target) & move = Right : Agent;
456 x1_4 = Box & (x0_4 = Agent | x0_4 = AgentOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Down : Agent;
457 x1_4 = Target & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Left: AgentOnTarget;
458 x1_4 = Target & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Up: AgentOnTarget;
459 x1_4 = Target & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Right : AgentOnTarget;
460 x1_4 = Target & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Down : AgentOnTarget;
461 x1_4 = Target & (x1_5 = Box | x1_5 = BoxOnTarget) & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Left: BoxOnTarget;
462 x1_4 = Target & (x2_4 = Box | x2_4 = BoxOnTarget) & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Up: BoxOnTarget;
463 x1_4 = Target & (x1_3 = Box | x1_3 = BoxOnTarget) & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Right : BoxOnTarget;
464 x1_4 = AgentOnTarget & (x1_5 = Free | x1_5 = Target) & move = Right: Target;
465 x1_4 = AgentOnTarget & (x2_4 = Free | x2_4 = Target) & move = Down: Target;
466 x1_4 = AgentOnTarget & (x1_3 = Free | x1_3 = Target) & move = Left : Target;
467 x1_4 = AgentOnTarget & (x0_4 = Free | x0_4 = Target) & move = Up : Target;
468 x1_4 = BoxOnTarget & (x1_5 = Agent | x1_5 = AgentOnTarget) & (x1_3 = Free | x1_3 = Target) & move = Left: AgentOnTarget;
469 x1_4 = BoxOnTarget & (x2_4 = Agent | x2_4 = AgentOnTarget) & (x0_4 = Free | x0_4 = Target) & move = Up: AgentOnTarget;
470 x1_4 = BoxOnTarget & (x1_3 = Agent | x1_3 = AgentOnTarget) & (x1_5 = Free | x1_5 = Target) & move = Right : AgentOnTarget;
471 x1_4 = BoxOnTarget & (x0_4 = Agent | x0_4 = AgentOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Down : AgentOnTarget;
472 TRUE : x1_4;
473 esac;
474 next(x1_5) := case
475 x1_5 = Wall: Wall;
476 x1_5 = Free & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Left: Agent;
477 x1_5 = Free & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Up: Agent;
478 x1_5 = Free & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Right : Agent;
479 x1_5 = Free & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Down : Agent;
480 x1_5 = Free & (x1_6 = Box | x1_6 = BoxOnTarget) & (x1_7 = Agent | x1_7 = AgentOnTarget) & move = Left: Box;
481 x1_5 = Free & (x2_5 = Box | x2_5 = BoxOnTarget) & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Up: Box;
482 x1_5 = Free & (x1_4 = Box | x1_4 = BoxOnTarget) & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Right : Box;
483 x1_5 = Agent & (x1_6 = Free | x1_6 = Target) & move = Right: Free;
484 x1_5 = Agent & (x2_5 = Free | x2_5 = Target) & move = Down: Free;
485 x1_5 = Agent & (x1_4 = Free | x1_4 = Target) & move = Left : Free;
486 x1_5 = Agent & (x0_5= Free | x0_5 = Target) & move = Up : Free;
487 x1_5 = Agent & (x1_6 = Box | x1_6 = BoxOnTarget) & (x1_7 = Free | x1_7 = Target) & move = Right: Free;
488 x1_5 = Agent & (x2_5 = Box | x2_5 = BoxOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Down: Free;
489 x1_5 = Agent & (x1_4 = Box | x1_4 = BoxOnTarget) & (x1_3 = Free | x1_3 = Target) & move = Left: Free;
490 x1_5 = Box & (x1_6 = Agent | x1_6 = AgentOnTarget) & (x1_4 = Free | x1_4 = Target) & move = Left: Agent;
491 x1_5 = Box & (x2_5 = Agent | x2_5 = AgentOnTarget) & (x0_5 = Free | x0_5 = Target) & move = Up: Agent;
492 x1_5 = Box & (x1_4 = Agent | x1_4 = AgentOnTarget) & (x1_6 = Free | x1_6 = Target) & move = Right : Agent;
493 x1_5 = Box & (x0_5 = Agent | x0_5 = AgentOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Down : Agent;
494 x1_5 = Target & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Left: AgentOnTarget;
495 x1_5 = Target & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Up: AgentOnTarget;
496 x1_5 = Target & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Right : AgentOnTarget;
497 x1_5 = Target & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Down : AgentOnTarget;
498 x1_5 = Target & (x1_6 = Box | x1_6 = BoxOnTarget) & (x1_7 = Agent | x1_7 = AgentOnTarget) & move = Left: BoxOnTarget;
499 x1_5 = Target & (x2_5 = Box | x2_5 = BoxOnTarget) & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Up: BoxOnTarget;
500 x1_5 = Target & (x1_4 = Box | x1_4 = BoxOnTarget) & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Right : BoxOnTarget;
501 x1_5 = AgentOnTarget & (x1_6 = Free | x1_6 = Target) & move = Right: Target;
502 x1_5 = AgentOnTarget & (x2_5 = Free | x2_5 = Target) & move = Down: Target;
503 x1_5 = AgentOnTarget & (x1_4 = Free | x1_4 = Target) & move = Left : Target;
504 x1_5 = AgentOnTarget & (x0_5 = Free | x0_5 = Target) & move = Up : Target;
505 x1_5 = BoxOnTarget & (x1_6 = Agent | x1_6 = AgentOnTarget) & (x1_4 = Free | x1_4 = Target) & move = Left: AgentOnTarget;
506 x1_5 = BoxOnTarget & (x2_5 = Agent | x2_5 = AgentOnTarget) & (x0_5 = Free | x0_5 = Target) & move = Up: AgentOnTarget;
507 x1_5 = BoxOnTarget & (x1_4 = Agent | x1_4 = AgentOnTarget) & (x1_6 = Free | x1_6 = Target) & move = Right : AgentOnTarget;
508 x1_5 = BoxOnTarget & (x0_5 = Agent | x0_5 = AgentOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Down : AgentOnTarget;
509 TRUE : x1_5;
510 esac;
511 next(x1_6) := case
512 x1_6 = Wall: Wall;
513 x1_6 = Free & (x1_7 = Agent | x1_7 = AgentOnTarget) & move = Left: Agent;
514 x1_6 = Free & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Up: Agent;
515 x1_6 = Free & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Right : Agent;
516 x1_6 = Free & (x0_6 = Agent | x0_6 = AgentOnTarget) & move = Down : Agent;
517 x1_6 = Free & (x2_6 = Box | x2_6 = BoxOnTarget) & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Up: Box;
518 x1_6 = Free & (x1_5 = Box | x1_5 = BoxOnTarget) & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Right : Box;
519 x1_6 = Agent & (x1_7 = Free | x1_7 = Target) & move = Right: Free;
520 x1_6 = Agent & (x2_6 = Free | x2_6 = Target) & move = Down: Free;
521 x1_6 = Agent & (x1_5 = Free | x1_5 = Target) & move = Left : Free;
522 x1_6 = Agent & (x0_6= Free | x0_6 = Target) & move = Up : Free;
523 x1_6 = Agent & (x2_6 = Box | x2_6 = BoxOnTarget) & (x3_6 = Free | x3_6 = Target) & move = Down: Free;
524 x1_6 = Agent & (x1_5 = Box | x1_5 = BoxOnTarget) & (x1_4 = Free | x1_4 = Target) & move = Left: Free;
525 x1_6 = Box & (x1_7 = Agent | x1_7 = AgentOnTarget) & (x1_5 = Free | x1_5 = Target) & move = Left: Agent;
526 x1_6 = Box & (x2_6 = Agent | x2_6 = AgentOnTarget) & (x0_6 = Free | x0_6 = Target) & move = Up: Agent;
527 x1_6 = Box & (x1_5 = Agent | x1_5 = AgentOnTarget) & (x1_7 = Free | x1_7 = Target) & move = Right : Agent;
528 x1_6 = Box & (x0_6 = Agent | x0_6 = AgentOnTarget) & (x2_6 = Free | x2_6 = Target) & move = Down : Agent;
529 x1_6 = Target & (x1_7 = Agent | x1_7 = AgentOnTarget) & move = Left: AgentOnTarget;
530 x1_6 = Target & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Up: AgentOnTarget;
531 x1_6 = Target & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Right : AgentOnTarget;
532 x1_6 = Target & (x0_6 = Agent | x0_6 = AgentOnTarget) & move = Down : AgentOnTarget;
533 x1_6 = Target & (x2_6 = Box | x2_6 = BoxOnTarget) & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Up: BoxOnTarget;
534 x1_6 = Target & (x1_5 = Box | x1_5 = BoxOnTarget) & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Right : BoxOnTarget;
535 x1_6 = AgentOnTarget & (x1_7 = Free | x1_7 = Target) & move = Right: Target;
536 x1_6 = AgentOnTarget & (x2_6 = Free | x2_6 = Target) & move = Down: Target;
537 x1_6 = AgentOnTarget & (x1_5 = Free | x1_5 = Target) & move = Left : Target;
538 x1_6 = AgentOnTarget & (x0_6 = Free | x0_6 = Target) & move = Up : Target;
539 x1_6 = BoxOnTarget & (x1_7 = Agent | x1_7 = AgentOnTarget) & (x1_5 = Free | x1_5 = Target) & move = Left: AgentOnTarget;
540 x1_6 = BoxOnTarget & (x2_6 = Agent | x2_6 = AgentOnTarget) & (x0_6 = Free | x0_6 = Target) & move = Up: AgentOnTarget;
541 x1_6 = BoxOnTarget & (x1_5 = Agent | x1_5 = AgentOnTarget) & (x1_7 = Free | x1_7 = Target) & move = Right : AgentOnTarget;
542 x1_6 = BoxOnTarget & (x0_6 = Agent | x0_6 = AgentOnTarget) & (x2_6 = Free | x2_6 = Target) & move = Down : AgentOnTarget;
543 TRUE : x1_6;
544 esac;
545 next(x1_7) := case
546 x1_7 = Wall: Wall;
547 x1_7 = Free & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Up: Agent;
548 x1_7 = Free & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Right : Agent;
549 x1_7 = Free & (x2_7 = Box | x2_7 = BoxOnTarget) & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Up: Box;
550 x1_7 = Free & (x1_6 = Box | x1_6 = BoxOnTarget) & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Right : Box;
551 x1_7 = Agent & (x2_7 = Free | x2_7 = Target) & move = Down: Free;
552 x1_7 = Agent & (x1_6 = Free | x1_6 = Target) & move = Left : Free;
553 x1_7 = Agent & (x2_7 = Box | x2_7 = BoxOnTarget) & (x3_7 = Free | x3_7 = Target) & move = Down: Free;
554 x1_7 = Agent & (x1_6 = Box | x1_6 = BoxOnTarget) & (x1_5 = Free | x1_5 = Target) & move = Left: Free;
555 x1_7 = Target & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Up: AgentOnTarget;
556 x1_7 = Target & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Right : AgentOnTarget;
557 x1_7 = Target & (x2_7 = Box | x2_7 = BoxOnTarget) & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Up: BoxOnTarget;
558 x1_7 = Target & (x1_6 = Box | x1_6 = BoxOnTarget) & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Right : BoxOnTarget;
559 x1_7 = AgentOnTarget & (x2_7 = Free | x2_7 = Target) & move = Down: Target;
560 x1_7 = AgentOnTarget & (x1_6 = Free | x1_6 = Target) & move = Left : Target;
561 TRUE : x1_7;
562 esac;
563 next(x2_0) := case
564 x2_0 = Wall: Wall;
565 x2_0 = Free & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Left: Agent;
566 x2_0 = Free & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Up: Agent;
567 x2_0 = Free & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Down : Agent;
568 x2_0 = Free & (x2_1 = Box | x2_1 = BoxOnTarget) & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Left: Box;
569 x2_0 = Free & (x3_0 = Box | x3_0 = BoxOnTarget) & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Up: Box;
570 x2_0 = Free & (x1_0 = Box | x1_0 = BoxOnTarget) & (x0_0 = Agent | x0_0 = AgentOnTarget) & move = Down : Box;
571 x2_0 = Agent & (x2_1 = Free | x2_1 = Target) & move = Right: Free;
572 x2_0 = Agent & (x3_0 = Free | x3_0 = Target) & move = Down: Free;
573 x2_0 = Agent & (x1_0= Free | x1_0 = Target) & move = Up : Free;
574 x2_0 = Agent & (x2_1 = Box | x2_1 = BoxOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Right: Free;
575 x2_0 = Agent & (x3_0 = Box | x3_0 = BoxOnTarget) & (x4_0 = Free | x4_0 = Target) & move = Down: Free;
576 x2_0 = Agent & (x1_0 = Box | x1_0 = BoxOnTarget) & (x0_0 = Free | x0_0 = Target) & move = Up: Free;
577 x2_0 = Box & (x3_0 = Agent | x3_0 = AgentOnTarget) & (x1_0 = Free | x1_0 = Target) & move = Up: Agent;
578 x2_0 = Box & (x1_0 = Agent | x1_0 = AgentOnTarget) & (x3_0 = Free | x3_0 = Target) & move = Down : Agent;
579 x2_0 = Target & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Left: AgentOnTarget;
580 x2_0 = Target & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Up: AgentOnTarget;
581 x2_0 = Target & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Down : AgentOnTarget;
582 x2_0 = Target & (x2_1 = Box | x2_1 = BoxOnTarget) & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Left: BoxOnTarget;
583 x2_0 = Target & (x3_0 = Box | x3_0 = BoxOnTarget) & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Up: BoxOnTarget;
584 x2_0 = Target & (x1_0 = Box | x1_0 = BoxOnTarget) & (x0_0 = Agent | x0_0 = AgentOnTarget) & move = Down : BoxOnTarget;
585 x2_0 = AgentOnTarget & (x2_1 = Free | x2_1 = Target) & move = Right: Target;
586 x2_0 = AgentOnTarget & (x3_0 = Free | x3_0 = Target) & move = Down: Target;
587 x2_0 = AgentOnTarget & (x1_0 = Free | x1_0 = Target) & move = Up : Target;
588 x2_0 = BoxOnTarget & (x3_0 = Agent | x3_0 = AgentOnTarget) & (x1_0 = Free | x1_0 = Target) & move = Up: AgentOnTarget;
589 x2_0 = BoxOnTarget & (x1_0 = Agent | x1_0 = AgentOnTarget) & (x3_0 = Free | x3_0 = Target) & move = Down : AgentOnTarget;
590 TRUE : x2_0;
591 esac;
592 next(x2_1) := case
593 x2_1 = Wall: Wall;
594 x2_1 = Free & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Left: Agent;
595 x2_1 = Free & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Up: Agent;
596 x2_1 = Free & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Right : Agent;
597 x2_1 = Free & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Down : Agent;
598 x2_1 = Free & (x2_2 = Box | x2_2 = BoxOnTarget) & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Left: Box;
599 x2_1 = Free & (x3_1 = Box | x3_1 = BoxOnTarget) & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Up: Box;
600 x2_1 = Free & (x1_1 = Box | x1_1 = BoxOnTarget) & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Down : Box;
601 x2_1 = Agent & (x2_2 = Free | x2_2 = Target) & move = Right: Free;
602 x2_1 = Agent & (x3_1 = Free | x3_1 = Target) & move = Down: Free;
603 x2_1 = Agent & (x2_0 = Free | x2_0 = Target) & move = Left : Free;
604 x2_1 = Agent & (x1_1= Free | x1_1 = Target) & move = Up : Free;
605 x2_1 = Agent & (x2_2 = Box | x2_2 = BoxOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Right: Free;
606 x2_1 = Agent & (x3_1 = Box | x3_1 = BoxOnTarget) & (x4_1 = Free | x4_1 = Target) & move = Down: Free;
607 x2_1 = Agent & (x1_1 = Box | x1_1 = BoxOnTarget) & (x0_1 = Free | x0_1 = Target) & move = Up: Free;
608 x2_1 = Box & (x2_2 = Agent | x2_2 = AgentOnTarget) & (x2_0 = Free | x2_0 = Target) & move = Left: Agent;
609 x2_1 = Box & (x3_1 = Agent | x3_1 = AgentOnTarget) & (x1_1 = Free | x1_1 = Target) & move = Up: Agent;
610 x2_1 = Box & (x2_0 = Agent | x2_0 = AgentOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Right : Agent;
611 x2_1 = Box & (x1_1 = Agent | x1_1 = AgentOnTarget) & (x3_1 = Free | x3_1 = Target) & move = Down : Agent;
612 x2_1 = Target & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Left: AgentOnTarget;
613 x2_1 = Target & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Up: AgentOnTarget;
614 x2_1 = Target & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Right : AgentOnTarget;
615 x2_1 = Target & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Down : AgentOnTarget;
616 x2_1 = Target & (x2_2 = Box | x2_2 = BoxOnTarget) & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Left: BoxOnTarget;
617 x2_1 = Target & (x3_1 = Box | x3_1 = BoxOnTarget) & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Up: BoxOnTarget;
618 x2_1 = Target & (x1_1 = Box | x1_1 = BoxOnTarget) & (x0_1 = Agent | x0_1 = AgentOnTarget) & move = Down : BoxOnTarget;
619 x2_1 = AgentOnTarget & (x2_2 = Free | x2_2 = Target) & move = Right: Target;
620 x2_1 = AgentOnTarget & (x3_1 = Free | x3_1 = Target) & move = Down: Target;
621 x2_1 = AgentOnTarget & (x2_0 = Free | x2_0 = Target) & move = Left : Target;
622 x2_1 = AgentOnTarget & (x1_1 = Free | x1_1 = Target) & move = Up : Target;
623 x2_1 = BoxOnTarget & (x2_2 = Agent | x2_2 = AgentOnTarget) & (x2_0 = Free | x2_0 = Target) & move = Left: AgentOnTarget;
624 x2_1 = BoxOnTarget & (x3_1 = Agent | x3_1 = AgentOnTarget) & (x1_1 = Free | x1_1 = Target) & move = Up: AgentOnTarget;
625 x2_1 = BoxOnTarget & (x2_0 = Agent | x2_0 = AgentOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Right : AgentOnTarget;
626 x2_1 = BoxOnTarget & (x1_1 = Agent | x1_1 = AgentOnTarget) & (x3_1 = Free | x3_1 = Target) & move = Down : AgentOnTarget;
627 TRUE : x2_1;
628 esac;
629 next(x2_2) := case
630 x2_2 = Wall: Wall;
631 x2_2 = Free & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Left: Agent;
632 x2_2 = Free & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Up: Agent;
633 x2_2 = Free & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Right : Agent;
634 x2_2 = Free & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Down : Agent;
635 x2_2 = Free & (x2_3 = Box | x2_3 = BoxOnTarget) & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Left: Box;
636 x2_2 = Free & (x3_2 = Box | x3_2 = BoxOnTarget) & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Up: Box;
637 x2_2 = Free & (x2_1 = Box | x2_1 = BoxOnTarget) & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Right : Box;
638 x2_2 = Free & (x1_2 = Box | x1_2 = BoxOnTarget) & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Down : Box;
639 x2_2 = Agent & (x2_3 = Free | x2_3 = Target) & move = Right: Free;
640 x2_2 = Agent & (x3_2 = Free | x3_2 = Target) & move = Down: Free;
641 x2_2 = Agent & (x2_1 = Free | x2_1 = Target) & move = Left : Free;
642 x2_2 = Agent & (x1_2= Free | x1_2 = Target) & move = Up : Free;
643 x2_2 = Agent & (x2_3 = Box | x2_3 = BoxOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Right: Free;
644 x2_2 = Agent & (x3_2 = Box | x3_2 = BoxOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Down: Free;
645 x2_2 = Agent & (x2_1 = Box | x2_1 = BoxOnTarget) & (x2_0 = Free | x2_0 = Target) & move = Left: Free;
646 x2_2 = Agent & (x1_2 = Box | x1_2 = BoxOnTarget) & (x0_2 = Free | x0_2 = Target) & move = Up: Free;
647 x2_2 = Box & (x2_3 = Agent | x2_3 = AgentOnTarget) & (x2_1 = Free | x2_1 = Target) & move = Left: Agent;
648 x2_2 = Box & (x3_2 = Agent | x3_2 = AgentOnTarget) & (x1_2 = Free | x1_2 = Target) & move = Up: Agent;
649 x2_2 = Box & (x2_1 = Agent | x2_1 = AgentOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Right : Agent;
650 x2_2 = Box & (x1_2 = Agent | x1_2 = AgentOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Down : Agent;
651 x2_2 = Target & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Left: AgentOnTarget;
652 x2_2 = Target & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Up: AgentOnTarget;
653 x2_2 = Target & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Right : AgentOnTarget;
654 x2_2 = Target & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Down : AgentOnTarget;
655 x2_2 = Target & (x2_3 = Box | x2_3 = BoxOnTarget) & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Left: BoxOnTarget;
656 x2_2 = Target & (x3_2 = Box | x3_2 = BoxOnTarget) & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Up: BoxOnTarget;
657 x2_2 = Target & (x2_1 = Box | x2_1 = BoxOnTarget) & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Right : BoxOnTarget;
658 x2_2 = Target & (x1_2 = Box | x1_2 = BoxOnTarget) & (x0_2 = Agent | x0_2 = AgentOnTarget) & move = Down : BoxOnTarget;
659 x2_2 = AgentOnTarget & (x2_3 = Free | x2_3 = Target) & move = Right: Target;
660 x2_2 = AgentOnTarget & (x3_2 = Free | x3_2 = Target) & move = Down: Target;
661 x2_2 = AgentOnTarget & (x2_1 = Free | x2_1 = Target) & move = Left : Target;
662 x2_2 = AgentOnTarget & (x1_2 = Free | x1_2 = Target) & move = Up : Target;
663 x2_2 = BoxOnTarget & (x2_3 = Agent | x2_3 = AgentOnTarget) & (x2_1 = Free | x2_1 = Target) & move = Left: AgentOnTarget;
664 x2_2 = BoxOnTarget & (x3_2 = Agent | x3_2 = AgentOnTarget) & (x1_2 = Free | x1_2 = Target) & move = Up: AgentOnTarget;
665 x2_2 = BoxOnTarget & (x2_1 = Agent | x2_1 = AgentOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Right : AgentOnTarget;
666 x2_2 = BoxOnTarget & (x1_2 = Agent | x1_2 = AgentOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Down : AgentOnTarget;
667 TRUE : x2_2;
668 esac;
669 next(x2_3) := case
670 x2_3 = Wall: Wall;
671 x2_3 = Free & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Left: Agent;
672 x2_3 = Free & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Up: Agent;
673 x2_3 = Free & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Right : Agent;
674 x2_3 = Free & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Down : Agent;
675 x2_3 = Free & (x2_4 = Box | x2_4 = BoxOnTarget) & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Left: Box;
676 x2_3 = Free & (x3_3 = Box | x3_3 = BoxOnTarget) & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Up: Box;
677 x2_3 = Free & (x2_2 = Box | x2_2 = BoxOnTarget) & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Right : Box;
678 x2_3 = Free & (x1_3 = Box | x1_3 = BoxOnTarget) & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Down : Box;
679 x2_3 = Agent & (x2_4 = Free | x2_4 = Target) & move = Right: Free;
680 x2_3 = Agent & (x3_3 = Free | x3_3 = Target) & move = Down: Free;
681 x2_3 = Agent & (x2_2 = Free | x2_2 = Target) & move = Left : Free;
682 x2_3 = Agent & (x1_3= Free | x1_3 = Target) & move = Up : Free;
683 x2_3 = Agent & (x2_4 = Box | x2_4 = BoxOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Right: Free;
684 x2_3 = Agent & (x3_3 = Box | x3_3 = BoxOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Down: Free;
685 x2_3 = Agent & (x2_2 = Box | x2_2 = BoxOnTarget) & (x2_1 = Free | x2_1 = Target) & move = Left: Free;
686 x2_3 = Agent & (x1_3 = Box | x1_3 = BoxOnTarget) & (x0_3 = Free | x0_3 = Target) & move = Up: Free;
687 x2_3 = Box & (x2_4 = Agent | x2_4 = AgentOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Left: Agent;
688 x2_3 = Box & (x3_3 = Agent | x3_3 = AgentOnTarget) & (x1_3 = Free | x1_3 = Target) & move = Up: Agent;
689 x2_3 = Box & (x2_2 = Agent | x2_2 = AgentOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Right : Agent;
690 x2_3 = Box & (x1_3 = Agent | x1_3 = AgentOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Down : Agent;
691 x2_3 = Target & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Left: AgentOnTarget;
692 x2_3 = Target & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Up: AgentOnTarget;
693 x2_3 = Target & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Right : AgentOnTarget;
694 x2_3 = Target & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Down : AgentOnTarget;
695 x2_3 = Target & (x2_4 = Box | x2_4 = BoxOnTarget) & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Left: BoxOnTarget;
696 x2_3 = Target & (x3_3 = Box | x3_3 = BoxOnTarget) & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Up: BoxOnTarget;
697 x2_3 = Target & (x2_2 = Box | x2_2 = BoxOnTarget) & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Right : BoxOnTarget;
698 x2_3 = Target & (x1_3 = Box | x1_3 = BoxOnTarget) & (x0_3 = Agent | x0_3 = AgentOnTarget) & move = Down : BoxOnTarget;
699 x2_3 = AgentOnTarget & (x2_4 = Free | x2_4 = Target) & move = Right: Target;
700 x2_3 = AgentOnTarget & (x3_3 = Free | x3_3 = Target) & move = Down: Target;
701 x2_3 = AgentOnTarget & (x2_2 = Free | x2_2 = Target) & move = Left : Target;
702 x2_3 = AgentOnTarget & (x1_3 = Free | x1_3 = Target) & move = Up : Target;
703 x2_3 = BoxOnTarget & (x2_4 = Agent | x2_4 = AgentOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Left: AgentOnTarget;
704 x2_3 = BoxOnTarget & (x3_3 = Agent | x3_3 = AgentOnTarget) & (x1_3 = Free | x1_3 = Target) & move = Up: AgentOnTarget;
705 x2_3 = BoxOnTarget & (x2_2 = Agent | x2_2 = AgentOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Right : AgentOnTarget;
706 x2_3 = BoxOnTarget & (x1_3 = Agent | x1_3 = AgentOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Down : AgentOnTarget;
707 TRUE : x2_3;
708 esac;
709 next(x2_4) := case
710 x2_4 = Wall: Wall;
711 x2_4 = Free & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Left: Agent;
712 x2_4 = Free & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Up: Agent;
713 x2_4 = Free & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Right : Agent;
714 x2_4 = Free & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Down : Agent;
715 x2_4 = Free & (x2_5 = Box | x2_5 = BoxOnTarget) & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Left: Box;
716 x2_4 = Free & (x3_4 = Box | x3_4 = BoxOnTarget) & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Up: Box;
717 x2_4 = Free & (x2_3 = Box | x2_3 = BoxOnTarget) & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Right : Box;
718 x2_4 = Free & (x1_4 = Box | x1_4 = BoxOnTarget) & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Down : Box;
719 x2_4 = Agent & (x2_5 = Free | x2_5 = Target) & move = Right: Free;
720 x2_4 = Agent & (x3_4 = Free | x3_4 = Target) & move = Down: Free;
721 x2_4 = Agent & (x2_3 = Free | x2_3 = Target) & move = Left : Free;
722 x2_4 = Agent & (x1_4= Free | x1_4 = Target) & move = Up : Free;
723 x2_4 = Agent & (x2_5 = Box | x2_5 = BoxOnTarget) & (x2_6 = Free | x2_6 = Target) & move = Right: Free;
724 x2_4 = Agent & (x3_4 = Box | x3_4 = BoxOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Down: Free;
725 x2_4 = Agent & (x2_3 = Box | x2_3 = BoxOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Left: Free;
726 x2_4 = Agent & (x1_4 = Box | x1_4 = BoxOnTarget) & (x0_4 = Free | x0_4 = Target) & move = Up: Free;
727 x2_4 = Box & (x2_5 = Agent | x2_5 = AgentOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Left: Agent;
728 x2_4 = Box & (x3_4 = Agent | x3_4 = AgentOnTarget) & (x1_4 = Free | x1_4 = Target) & move = Up: Agent;
729 x2_4 = Box & (x2_3 = Agent | x2_3 = AgentOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Right : Agent;
730 x2_4 = Box & (x1_4 = Agent | x1_4 = AgentOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Down : Agent;
731 x2_4 = Target & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Left: AgentOnTarget;
732 x2_4 = Target & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Up: AgentOnTarget;
733 x2_4 = Target & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Right : AgentOnTarget;
734 x2_4 = Target & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Down : AgentOnTarget;
735 x2_4 = Target & (x2_5 = Box | x2_5 = BoxOnTarget) & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Left: BoxOnTarget;
736 x2_4 = Target & (x3_4 = Box | x3_4 = BoxOnTarget) & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Up: BoxOnTarget;
737 x2_4 = Target & (x2_3 = Box | x2_3 = BoxOnTarget) & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Right : BoxOnTarget;
738 x2_4 = Target & (x1_4 = Box | x1_4 = BoxOnTarget) & (x0_4 = Agent | x0_4 = AgentOnTarget) & move = Down : BoxOnTarget;
739 x2_4 = AgentOnTarget & (x2_5 = Free | x2_5 = Target) & move = Right: Target;
740 x2_4 = AgentOnTarget & (x3_4 = Free | x3_4 = Target) & move = Down: Target;
741 x2_4 = AgentOnTarget & (x2_3 = Free | x2_3 = Target) & move = Left : Target;
742 x2_4 = AgentOnTarget & (x1_4 = Free | x1_4 = Target) & move = Up : Target;
743 x2_4 = BoxOnTarget & (x2_5 = Agent | x2_5 = AgentOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Left: AgentOnTarget;
744 x2_4 = BoxOnTarget & (x3_4 = Agent | x3_4 = AgentOnTarget) & (x1_4 = Free | x1_4 = Target) & move = Up: AgentOnTarget;
745 x2_4 = BoxOnTarget & (x2_3 = Agent | x2_3 = AgentOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Right : AgentOnTarget;
746 x2_4 = BoxOnTarget & (x1_4 = Agent | x1_4 = AgentOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Down : AgentOnTarget;
747 TRUE : x2_4;
748 esac;
749 next(x2_5) := case
750 x2_5 = Wall: Wall;
751 x2_5 = Free & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Left: Agent;
752 x2_5 = Free & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Up: Agent;
753 x2_5 = Free & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Right : Agent;
754 x2_5 = Free & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Down : Agent;
755 x2_5 = Free & (x2_6 = Box | x2_6 = BoxOnTarget) & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Left: Box;
756 x2_5 = Free & (x3_5 = Box | x3_5 = BoxOnTarget) & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Up: Box;
757 x2_5 = Free & (x2_4 = Box | x2_4 = BoxOnTarget) & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Right : Box;
758 x2_5 = Free & (x1_5 = Box | x1_5 = BoxOnTarget) & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Down : Box;
759 x2_5 = Agent & (x2_6 = Free | x2_6 = Target) & move = Right: Free;
760 x2_5 = Agent & (x3_5 = Free | x3_5 = Target) & move = Down: Free;
761 x2_5 = Agent & (x2_4 = Free | x2_4 = Target) & move = Left : Free;
762 x2_5 = Agent & (x1_5= Free | x1_5 = Target) & move = Up : Free;
763 x2_5 = Agent & (x2_6 = Box | x2_6 = BoxOnTarget) & (x2_7 = Free | x2_7 = Target) & move = Right: Free;
764 x2_5 = Agent & (x3_5 = Box | x3_5 = BoxOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Down: Free;
765 x2_5 = Agent & (x2_4 = Box | x2_4 = BoxOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Left: Free;
766 x2_5 = Agent & (x1_5 = Box | x1_5 = BoxOnTarget) & (x0_5 = Free | x0_5 = Target) & move = Up: Free;
767 x2_5 = Box & (x2_6 = Agent | x2_6 = AgentOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Left: Agent;
768 x2_5 = Box & (x3_5 = Agent | x3_5 = AgentOnTarget) & (x1_5 = Free | x1_5 = Target) & move = Up: Agent;
769 x2_5 = Box & (x2_4 = Agent | x2_4 = AgentOnTarget) & (x2_6 = Free | x2_6 = Target) & move = Right : Agent;
770 x2_5 = Box & (x1_5 = Agent | x1_5 = AgentOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Down : Agent;
771 x2_5 = Target & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Left: AgentOnTarget;
772 x2_5 = Target & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Up: AgentOnTarget;
773 x2_5 = Target & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Right : AgentOnTarget;
774 x2_5 = Target & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Down : AgentOnTarget;
775 x2_5 = Target & (x2_6 = Box | x2_6 = BoxOnTarget) & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Left: BoxOnTarget;
776 x2_5 = Target & (x3_5 = Box | x3_5 = BoxOnTarget) & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Up: BoxOnTarget;
777 x2_5 = Target & (x2_4 = Box | x2_4 = BoxOnTarget) & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Right : BoxOnTarget;
778 x2_5 = Target & (x1_5 = Box | x1_5 = BoxOnTarget) & (x0_5 = Agent | x0_5 = AgentOnTarget) & move = Down : BoxOnTarget;
779 x2_5 = AgentOnTarget & (x2_6 = Free | x2_6 = Target) & move = Right: Target;
780 x2_5 = AgentOnTarget & (x3_5 = Free | x3_5 = Target) & move = Down: Target;
781 x2_5 = AgentOnTarget & (x2_4 = Free | x2_4 = Target) & move = Left : Target;
782 x2_5 = AgentOnTarget & (x1_5 = Free | x1_5 = Target) & move = Up : Target;
783 x2_5 = BoxOnTarget & (x2_6 = Agent | x2_6 = AgentOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Left: AgentOnTarget;
784 x2_5 = BoxOnTarget & (x3_5 = Agent | x3_5 = AgentOnTarget) & (x1_5 = Free | x1_5 = Target) & move = Up: AgentOnTarget;
785 x2_5 = BoxOnTarget & (x2_4 = Agent | x2_4 = AgentOnTarget) & (x2_6 = Free | x2_6 = Target) & move = Right : AgentOnTarget;
786 x2_5 = BoxOnTarget & (x1_5 = Agent | x1_5 = AgentOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Down : AgentOnTarget;
787 TRUE : x2_5;
788 esac;
789 next(x2_6) := case
790 x2_6 = Wall: Wall;
791 x2_6 = Free & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Left: Agent;
792 x2_6 = Free & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Up: Agent;
793 x2_6 = Free & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Right : Agent;
794 x2_6 = Free & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Down : Agent;
795 x2_6 = Free & (x3_6 = Box | x3_6 = BoxOnTarget) & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Up: Box;
796 x2_6 = Free & (x2_5 = Box | x2_5 = BoxOnTarget) & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Right : Box;
797 x2_6 = Free & (x1_6 = Box | x1_6 = BoxOnTarget) & (x0_6 = Agent | x0_6 = AgentOnTarget) & move = Down : Box;
798 x2_6 = Agent & (x2_7 = Free | x2_7 = Target) & move = Right: Free;
799 x2_6 = Agent & (x3_6 = Free | x3_6 = Target) & move = Down: Free;
800 x2_6 = Agent & (x2_5 = Free | x2_5 = Target) & move = Left : Free;
801 x2_6 = Agent & (x1_6= Free | x1_6 = Target) & move = Up : Free;
802 x2_6 = Agent & (x3_6 = Box | x3_6 = BoxOnTarget) & (x4_6 = Free | x4_6 = Target) & move = Down: Free;
803 x2_6 = Agent & (x2_5 = Box | x2_5 = BoxOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Left: Free;
804 x2_6 = Agent & (x1_6 = Box | x1_6 = BoxOnTarget) & (x0_6 = Free | x0_6 = Target) & move = Up: Free;
805 x2_6 = Box & (x2_7 = Agent | x2_7 = AgentOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Left: Agent;
806 x2_6 = Box & (x3_6 = Agent | x3_6 = AgentOnTarget) & (x1_6 = Free | x1_6 = Target) & move = Up: Agent;
807 x2_6 = Box & (x2_5 = Agent | x2_5 = AgentOnTarget) & (x2_7 = Free | x2_7 = Target) & move = Right : Agent;
808 x2_6 = Box & (x1_6 = Agent | x1_6 = AgentOnTarget) & (x3_6 = Free | x3_6 = Target) & move = Down : Agent;
809 x2_6 = Target & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Left: AgentOnTarget;
810 x2_6 = Target & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Up: AgentOnTarget;
811 x2_6 = Target & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Right : AgentOnTarget;
812 x2_6 = Target & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Down : AgentOnTarget;
813 x2_6 = Target & (x3_6 = Box | x3_6 = BoxOnTarget) & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Up: BoxOnTarget;
814 x2_6 = Target & (x2_5 = Box | x2_5 = BoxOnTarget) & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Right : BoxOnTarget;
815 x2_6 = Target & (x1_6 = Box | x1_6 = BoxOnTarget) & (x0_6 = Agent | x0_6 = AgentOnTarget) & move = Down : BoxOnTarget;
816 x2_6 = AgentOnTarget & (x2_7 = Free | x2_7 = Target) & move = Right: Target;
817 x2_6 = AgentOnTarget & (x3_6 = Free | x3_6 = Target) & move = Down: Target;
818 x2_6 = AgentOnTarget & (x2_5 = Free | x2_5 = Target) & move = Left : Target;
819 x2_6 = AgentOnTarget & (x1_6 = Free | x1_6 = Target) & move = Up : Target;
820 x2_6 = BoxOnTarget & (x2_7 = Agent | x2_7 = AgentOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Left: AgentOnTarget;
821 x2_6 = BoxOnTarget & (x3_6 = Agent | x3_6 = AgentOnTarget) & (x1_6 = Free | x1_6 = Target) & move = Up: AgentOnTarget;
822 x2_6 = BoxOnTarget & (x2_5 = Agent | x2_5 = AgentOnTarget) & (x2_7 = Free | x2_7 = Target) & move = Right : AgentOnTarget;
823 x2_6 = BoxOnTarget & (x1_6 = Agent | x1_6 = AgentOnTarget) & (x3_6 = Free | x3_6 = Target) & move = Down : AgentOnTarget;
824 TRUE : x2_6;
825 esac;
826 next(x2_7) := case
827 x2_7 = Wall: Wall;
828 x2_7 = Free & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Up: Agent;
829 x2_7 = Free & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Right : Agent;
830 x2_7 = Free & (x1_7 = Agent | x1_7 = AgentOnTarget) & move = Down : Agent;
831 x2_7 = Free & (x3_7 = Box | x3_7 = BoxOnTarget) & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Up: Box;
832 x2_7 = Free & (x2_6 = Box | x2_6 = BoxOnTarget) & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Right : Box;
833 x2_7 = Agent & (x3_7 = Free | x3_7 = Target) & move = Down: Free;
834 x2_7 = Agent & (x2_6 = Free | x2_6 = Target) & move = Left : Free;
835 x2_7 = Agent & (x1_7= Free | x1_7 = Target) & move = Up : Free;
836 x2_7 = Agent & (x3_7 = Box | x3_7 = BoxOnTarget) & (x4_7 = Free | x4_7 = Target) & move = Down: Free;
837 x2_7 = Agent & (x2_6 = Box | x2_6 = BoxOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Left: Free;
838 x2_7 = Box & (x3_7 = Agent | x3_7 = AgentOnTarget) & (x1_7 = Free | x1_7 = Target) & move = Up: Agent;
839 x2_7 = Box & (x1_7 = Agent | x1_7 = AgentOnTarget) & (x3_7 = Free | x3_7 = Target) & move = Down : Agent;
840 x2_7 = Target & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Up: AgentOnTarget;
841 x2_7 = Target & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Right : AgentOnTarget;
842 x2_7 = Target & (x1_7 = Agent | x1_7 = AgentOnTarget) & move = Down : AgentOnTarget;
843 x2_7 = Target & (x3_7 = Box | x3_7 = BoxOnTarget) & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Up: BoxOnTarget;
844 x2_7 = Target & (x2_6 = Box | x2_6 = BoxOnTarget) & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Right : BoxOnTarget;
845 x2_7 = AgentOnTarget & (x3_7 = Free | x3_7 = Target) & move = Down: Target;
846 x2_7 = AgentOnTarget & (x2_6 = Free | x2_6 = Target) & move = Left : Target;
847 x2_7 = AgentOnTarget & (x1_7 = Free | x1_7 = Target) & move = Up : Target;
848 x2_7 = BoxOnTarget & (x3_7 = Agent | x3_7 = AgentOnTarget) & (x1_7 = Free | x1_7 = Target) & move = Up: AgentOnTarget;
849 x2_7 = BoxOnTarget & (x1_7 = Agent | x1_7 = AgentOnTarget) & (x3_7 = Free | x3_7 = Target) & move = Down : AgentOnTarget;
850 TRUE : x2_7;
851 esac;
852 next(x3_0) := case
853 x3_0 = Wall: Wall;
854 x3_0 = Free & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Left: Agent;
855 x3_0 = Free & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Up: Agent;
856 x3_0 = Free & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Down : Agent;
857 x3_0 = Free & (x3_1 = Box | x3_1 = BoxOnTarget) & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Left: Box;
858 x3_0 = Free & (x4_0 = Box | x4_0 = BoxOnTarget) & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Up: Box;
859 x3_0 = Free & (x2_0 = Box | x2_0 = BoxOnTarget) & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Down : Box;
860 x3_0 = Agent & (x3_1 = Free | x3_1 = Target) & move = Right: Free;
861 x3_0 = Agent & (x4_0 = Free | x4_0 = Target) & move = Down: Free;
862 x3_0 = Agent & (x2_0= Free | x2_0 = Target) & move = Up : Free;
863 x3_0 = Agent & (x3_1 = Box | x3_1 = BoxOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Right: Free;
864 x3_0 = Agent & (x4_0 = Box | x4_0 = BoxOnTarget) & (x5_0 = Free | x5_0 = Target) & move = Down: Free;
865 x3_0 = Agent & (x2_0 = Box | x2_0 = BoxOnTarget) & (x1_0 = Free | x1_0 = Target) & move = Up: Free;
866 x3_0 = Box & (x4_0 = Agent | x4_0 = AgentOnTarget) & (x2_0 = Free | x2_0 = Target) & move = Up: Agent;
867 x3_0 = Box & (x2_0 = Agent | x2_0 = AgentOnTarget) & (x4_0 = Free | x4_0 = Target) & move = Down : Agent;
868 x3_0 = Target & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Left: AgentOnTarget;
869 x3_0 = Target & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Up: AgentOnTarget;
870 x3_0 = Target & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Down : AgentOnTarget;
871 x3_0 = Target & (x3_1 = Box | x3_1 = BoxOnTarget) & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Left: BoxOnTarget;
872 x3_0 = Target & (x4_0 = Box | x4_0 = BoxOnTarget) & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Up: BoxOnTarget;
873 x3_0 = Target & (x2_0 = Box | x2_0 = BoxOnTarget) & (x1_0 = Agent | x1_0 = AgentOnTarget) & move = Down : BoxOnTarget;
874 x3_0 = AgentOnTarget & (x3_1 = Free | x3_1 = Target) & move = Right: Target;
875 x3_0 = AgentOnTarget & (x4_0 = Free | x4_0 = Target) & move = Down: Target;
876 x3_0 = AgentOnTarget & (x2_0 = Free | x2_0 = Target) & move = Up : Target;
877 x3_0 = BoxOnTarget & (x4_0 = Agent | x4_0 = AgentOnTarget) & (x2_0 = Free | x2_0 = Target) & move = Up: AgentOnTarget;
878 x3_0 = BoxOnTarget & (x2_0 = Agent | x2_0 = AgentOnTarget) & (x4_0 = Free | x4_0 = Target) & move = Down : AgentOnTarget;
879 TRUE : x3_0;
880 esac;
881 next(x3_1) := case
882 x3_1 = Wall: Wall;
883 x3_1 = Free & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Left: Agent;
884 x3_1 = Free & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Up: Agent;
885 x3_1 = Free & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Right : Agent;
886 x3_1 = Free & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Down : Agent;
887 x3_1 = Free & (x3_2 = Box | x3_2 = BoxOnTarget) & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Left: Box;
888 x3_1 = Free & (x4_1 = Box | x4_1 = BoxOnTarget) & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Up: Box;
889 x3_1 = Free & (x2_1 = Box | x2_1 = BoxOnTarget) & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Down : Box;
890 x3_1 = Agent & (x3_2 = Free | x3_2 = Target) & move = Right: Free;
891 x3_1 = Agent & (x4_1 = Free | x4_1 = Target) & move = Down: Free;
892 x3_1 = Agent & (x3_0 = Free | x3_0 = Target) & move = Left : Free;
893 x3_1 = Agent & (x2_1= Free | x2_1 = Target) & move = Up : Free;
894 x3_1 = Agent & (x3_2 = Box | x3_2 = BoxOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Right: Free;
895 x3_1 = Agent & (x4_1 = Box | x4_1 = BoxOnTarget) & (x5_1 = Free | x5_1 = Target) & move = Down: Free;
896 x3_1 = Agent & (x2_1 = Box | x2_1 = BoxOnTarget) & (x1_1 = Free | x1_1 = Target) & move = Up: Free;
897 x3_1 = Box & (x3_2 = Agent | x3_2 = AgentOnTarget) & (x3_0 = Free | x3_0 = Target) & move = Left: Agent;
898 x3_1 = Box & (x4_1 = Agent | x4_1 = AgentOnTarget) & (x2_1 = Free | x2_1 = Target) & move = Up: Agent;
899 x3_1 = Box & (x3_0 = Agent | x3_0 = AgentOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Right : Agent;
900 x3_1 = Box & (x2_1 = Agent | x2_1 = AgentOnTarget) & (x4_1 = Free | x4_1 = Target) & move = Down : Agent;
901 x3_1 = Target & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Left: AgentOnTarget;
902 x3_1 = Target & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Up: AgentOnTarget;
903 x3_1 = Target & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Right : AgentOnTarget;
904 x3_1 = Target & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Down : AgentOnTarget;
905 x3_1 = Target & (x3_2 = Box | x3_2 = BoxOnTarget) & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Left: BoxOnTarget;
906 x3_1 = Target & (x4_1 = Box | x4_1 = BoxOnTarget) & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Up: BoxOnTarget;
907 x3_1 = Target & (x2_1 = Box | x2_1 = BoxOnTarget) & (x1_1 = Agent | x1_1 = AgentOnTarget) & move = Down : BoxOnTarget;
908 x3_1 = AgentOnTarget & (x3_2 = Free | x3_2 = Target) & move = Right: Target;
909 x3_1 = AgentOnTarget & (x4_1 = Free | x4_1 = Target) & move = Down: Target;
910 x3_1 = AgentOnTarget & (x3_0 = Free | x3_0 = Target) & move = Left : Target;
911 x3_1 = AgentOnTarget & (x2_1 = Free | x2_1 = Target) & move = Up : Target;
912 x3_1 = BoxOnTarget & (x3_2 = Agent | x3_2 = AgentOnTarget) & (x3_0 = Free | x3_0 = Target) & move = Left: AgentOnTarget;
913 x3_1 = BoxOnTarget & (x4_1 = Agent | x4_1 = AgentOnTarget) & (x2_1 = Free | x2_1 = Target) & move = Up: AgentOnTarget;
914 x3_1 = BoxOnTarget & (x3_0 = Agent | x3_0 = AgentOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Right : AgentOnTarget;
915 x3_1 = BoxOnTarget & (x2_1 = Agent | x2_1 = AgentOnTarget) & (x4_1 = Free | x4_1 = Target) & move = Down : AgentOnTarget;
916 TRUE : x3_1;
917 esac;
918 next(x3_2) := case
919 x3_2 = Wall: Wall;
920 x3_2 = Free & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Left: Agent;
921 x3_2 = Free & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Up: Agent;
922 x3_2 = Free & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Right : Agent;
923 x3_2 = Free & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Down : Agent;
924 x3_2 = Free & (x3_3 = Box | x3_3 = BoxOnTarget) & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Left: Box;
925 x3_2 = Free & (x4_2 = Box | x4_2 = BoxOnTarget) & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Up: Box;
926 x3_2 = Free & (x3_1 = Box | x3_1 = BoxOnTarget) & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Right : Box;
927 x3_2 = Free & (x2_2 = Box | x2_2 = BoxOnTarget) & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Down : Box;
928 x3_2 = Agent & (x3_3 = Free | x3_3 = Target) & move = Right: Free;
929 x3_2 = Agent & (x4_2 = Free | x4_2 = Target) & move = Down: Free;
930 x3_2 = Agent & (x3_1 = Free | x3_1 = Target) & move = Left : Free;
931 x3_2 = Agent & (x2_2= Free | x2_2 = Target) & move = Up : Free;
932 x3_2 = Agent & (x3_3 = Box | x3_3 = BoxOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Right: Free;
933 x3_2 = Agent & (x4_2 = Box | x4_2 = BoxOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Down: Free;
934 x3_2 = Agent & (x3_1 = Box | x3_1 = BoxOnTarget) & (x3_0 = Free | x3_0 = Target) & move = Left: Free;
935 x3_2 = Agent & (x2_2 = Box | x2_2 = BoxOnTarget) & (x1_2 = Free | x1_2 = Target) & move = Up: Free;
936 x3_2 = Box & (x3_3 = Agent | x3_3 = AgentOnTarget) & (x3_1 = Free | x3_1 = Target) & move = Left: Agent;
937 x3_2 = Box & (x4_2 = Agent | x4_2 = AgentOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Up: Agent;
938 x3_2 = Box & (x3_1 = Agent | x3_1 = AgentOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Right : Agent;
939 x3_2 = Box & (x2_2 = Agent | x2_2 = AgentOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Down : Agent;
940 x3_2 = Target & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Left: AgentOnTarget;
941 x3_2 = Target & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Up: AgentOnTarget;
942 x3_2 = Target & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Right : AgentOnTarget;
943 x3_2 = Target & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Down : AgentOnTarget;
944 x3_2 = Target & (x3_3 = Box | x3_3 = BoxOnTarget) & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Left: BoxOnTarget;
945 x3_2 = Target & (x4_2 = Box | x4_2 = BoxOnTarget) & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Up: BoxOnTarget;
946 x3_2 = Target & (x3_1 = Box | x3_1 = BoxOnTarget) & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Right : BoxOnTarget;
947 x3_2 = Target & (x2_2 = Box | x2_2 = BoxOnTarget) & (x1_2 = Agent | x1_2 = AgentOnTarget) & move = Down : BoxOnTarget;
948 x3_2 = AgentOnTarget & (x3_3 = Free | x3_3 = Target) & move = Right: Target;
949 x3_2 = AgentOnTarget & (x4_2 = Free | x4_2 = Target) & move = Down: Target;
950 x3_2 = AgentOnTarget & (x3_1 = Free | x3_1 = Target) & move = Left : Target;
951 x3_2 = AgentOnTarget & (x2_2 = Free | x2_2 = Target) & move = Up : Target;
952 x3_2 = BoxOnTarget & (x3_3 = Agent | x3_3 = AgentOnTarget) & (x3_1 = Free | x3_1 = Target) & move = Left: AgentOnTarget;
953 x3_2 = BoxOnTarget & (x4_2 = Agent | x4_2 = AgentOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Up: AgentOnTarget;
954 x3_2 = BoxOnTarget & (x3_1 = Agent | x3_1 = AgentOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Right : AgentOnTarget;
955 x3_2 = BoxOnTarget & (x2_2 = Agent | x2_2 = AgentOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Down : AgentOnTarget;
956 TRUE : x3_2;
957 esac;
958 next(x3_3) := case
959 x3_3 = Wall: Wall;
960 x3_3 = Free & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Left: Agent;
961 x3_3 = Free & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Up: Agent;
962 x3_3 = Free & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Right : Agent;
963 x3_3 = Free & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Down : Agent;
964 x3_3 = Free & (x3_4 = Box | x3_4 = BoxOnTarget) & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Left: Box;
965 x3_3 = Free & (x4_3 = Box | x4_3 = BoxOnTarget) & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Up: Box;
966 x3_3 = Free & (x3_2 = Box | x3_2 = BoxOnTarget) & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Right : Box;
967 x3_3 = Free & (x2_3 = Box | x2_3 = BoxOnTarget) & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Down : Box;
968 x3_3 = Agent & (x3_4 = Free | x3_4 = Target) & move = Right: Free;
969 x3_3 = Agent & (x4_3 = Free | x4_3 = Target) & move = Down: Free;
970 x3_3 = Agent & (x3_2 = Free | x3_2 = Target) & move = Left : Free;
971 x3_3 = Agent & (x2_3= Free | x2_3 = Target) & move = Up : Free;
972 x3_3 = Agent & (x3_4 = Box | x3_4 = BoxOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Right: Free;
973 x3_3 = Agent & (x4_3 = Box | x4_3 = BoxOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Down: Free;
974 x3_3 = Agent & (x3_2 = Box | x3_2 = BoxOnTarget) & (x3_1 = Free | x3_1 = Target) & move = Left: Free;
975 x3_3 = Agent & (x2_3 = Box | x2_3 = BoxOnTarget) & (x1_3 = Free | x1_3 = Target) & move = Up: Free;
976 x3_3 = Box & (x3_4 = Agent | x3_4 = AgentOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Left: Agent;
977 x3_3 = Box & (x4_3 = Agent | x4_3 = AgentOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Up: Agent;
978 x3_3 = Box & (x3_2 = Agent | x3_2 = AgentOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Right : Agent;
979 x3_3 = Box & (x2_3 = Agent | x2_3 = AgentOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Down : Agent;
980 x3_3 = Target & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Left: AgentOnTarget;
981 x3_3 = Target & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Up: AgentOnTarget;
982 x3_3 = Target & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Right : AgentOnTarget;
983 x3_3 = Target & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Down : AgentOnTarget;
984 x3_3 = Target & (x3_4 = Box | x3_4 = BoxOnTarget) & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Left: BoxOnTarget;
985 x3_3 = Target & (x4_3 = Box | x4_3 = BoxOnTarget) & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Up: BoxOnTarget;
986 x3_3 = Target & (x3_2 = Box | x3_2 = BoxOnTarget) & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Right : BoxOnTarget;
987 x3_3 = Target & (x2_3 = Box | x2_3 = BoxOnTarget) & (x1_3 = Agent | x1_3 = AgentOnTarget) & move = Down : BoxOnTarget;
988 x3_3 = AgentOnTarget & (x3_4 = Free | x3_4 = Target) & move = Right: Target;
989 x3_3 = AgentOnTarget & (x4_3 = Free | x4_3 = Target) & move = Down: Target;
990 x3_3 = AgentOnTarget & (x3_2 = Free | x3_2 = Target) & move = Left : Target;
991 x3_3 = AgentOnTarget & (x2_3 = Free | x2_3 = Target) & move = Up : Target;
992 x3_3 = BoxOnTarget & (x3_4 = Agent | x3_4 = AgentOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Left: AgentOnTarget;
993 x3_3 = BoxOnTarget & (x4_3 = Agent | x4_3 = AgentOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Up: AgentOnTarget;
994 x3_3 = BoxOnTarget & (x3_2 = Agent | x3_2 = AgentOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Right : AgentOnTarget;
995 x3_3 = BoxOnTarget & (x2_3 = Agent | x2_3 = AgentOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Down : AgentOnTarget;
996 TRUE : x3_3;
997 esac;
998 next(x3_4) := case
999 x3_4 = Wall: Wall;
1000 x3_4 = Free & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Left: Agent;
1001 x3_4 = Free & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Up: Agent;
1002 x3_4 = Free & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Right : Agent;
1003 x3_4 = Free & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Down : Agent;
1004 x3_4 = Free & (x3_5 = Box | x3_5 = BoxOnTarget) & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Left: Box;
1005 x3_4 = Free & (x4_4 = Box | x4_4 = BoxOnTarget) & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Up: Box;
1006 x3_4 = Free & (x3_3 = Box | x3_3 = BoxOnTarget) & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Right : Box;
1007 x3_4 = Free & (x2_4 = Box | x2_4 = BoxOnTarget) & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Down : Box;
1008 x3_4 = Agent & (x3_5 = Free | x3_5 = Target) & move = Right: Free;
1009 x3_4 = Agent & (x4_4 = Free | x4_4 = Target) & move = Down: Free;
1010 x3_4 = Agent & (x3_3 = Free | x3_3 = Target) & move = Left : Free;
1011 x3_4 = Agent & (x2_4= Free | x2_4 = Target) & move = Up : Free;
1012 x3_4 = Agent & (x3_5 = Box | x3_5 = BoxOnTarget) & (x3_6 = Free | x3_6 = Target) & move = Right: Free;
1013 x3_4 = Agent & (x4_4 = Box | x4_4 = BoxOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Down: Free;
1014 x3_4 = Agent & (x3_3 = Box | x3_3 = BoxOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Left: Free;
1015 x3_4 = Agent & (x2_4 = Box | x2_4 = BoxOnTarget) & (x1_4 = Free | x1_4 = Target) & move = Up: Free;
1016 x3_4 = Box & (x3_5 = Agent | x3_5 = AgentOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Left: Agent;
1017 x3_4 = Box & (x4_4 = Agent | x4_4 = AgentOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Up: Agent;
1018 x3_4 = Box & (x3_3 = Agent | x3_3 = AgentOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Right : Agent;
1019 x3_4 = Box & (x2_4 = Agent | x2_4 = AgentOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Down : Agent;
1020 x3_4 = Target & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Left: AgentOnTarget;
1021 x3_4 = Target & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Up: AgentOnTarget;
1022 x3_4 = Target & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Right : AgentOnTarget;
1023 x3_4 = Target & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Down : AgentOnTarget;
1024 x3_4 = Target & (x3_5 = Box | x3_5 = BoxOnTarget) & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Left: BoxOnTarget;
1025 x3_4 = Target & (x4_4 = Box | x4_4 = BoxOnTarget) & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Up: BoxOnTarget;
1026 x3_4 = Target & (x3_3 = Box | x3_3 = BoxOnTarget) & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Right : BoxOnTarget;
1027 x3_4 = Target & (x2_4 = Box | x2_4 = BoxOnTarget) & (x1_4 = Agent | x1_4 = AgentOnTarget) & move = Down : BoxOnTarget;
1028 x3_4 = AgentOnTarget & (x3_5 = Free | x3_5 = Target) & move = Right: Target;
1029 x3_4 = AgentOnTarget & (x4_4 = Free | x4_4 = Target) & move = Down: Target;
1030 x3_4 = AgentOnTarget & (x3_3 = Free | x3_3 = Target) & move = Left : Target;
1031 x3_4 = AgentOnTarget & (x2_4 = Free | x2_4 = Target) & move = Up : Target;
1032 x3_4 = BoxOnTarget & (x3_5 = Agent | x3_5 = AgentOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Left: AgentOnTarget;
1033 x3_4 = BoxOnTarget & (x4_4 = Agent | x4_4 = AgentOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Up: AgentOnTarget;
1034 x3_4 = BoxOnTarget & (x3_3 = Agent | x3_3 = AgentOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Right : AgentOnTarget;
1035 x3_4 = BoxOnTarget & (x2_4 = Agent | x2_4 = AgentOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Down : AgentOnTarget;
1036 TRUE : x3_4;
1037 esac;
1038 next(x3_5) := case
1039 x3_5 = Wall: Wall;
1040 x3_5 = Free & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Left: Agent;
1041 x3_5 = Free & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Up: Agent;
1042 x3_5 = Free & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Right : Agent;
1043 x3_5 = Free & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Down : Agent;
1044 x3_5 = Free & (x3_6 = Box | x3_6 = BoxOnTarget) & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Left: Box;
1045 x3_5 = Free & (x4_5 = Box | x4_5 = BoxOnTarget) & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Up: Box;
1046 x3_5 = Free & (x3_4 = Box | x3_4 = BoxOnTarget) & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Right : Box;
1047 x3_5 = Free & (x2_5 = Box | x2_5 = BoxOnTarget) & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Down : Box;
1048 x3_5 = Agent & (x3_6 = Free | x3_6 = Target) & move = Right: Free;
1049 x3_5 = Agent & (x4_5 = Free | x4_5 = Target) & move = Down: Free;
1050 x3_5 = Agent & (x3_4 = Free | x3_4 = Target) & move = Left : Free;
1051 x3_5 = Agent & (x2_5= Free | x2_5 = Target) & move = Up : Free;
1052 x3_5 = Agent & (x3_6 = Box | x3_6 = BoxOnTarget) & (x3_7 = Free | x3_7 = Target) & move = Right: Free;
1053 x3_5 = Agent & (x4_5 = Box | x4_5 = BoxOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Down: Free;
1054 x3_5 = Agent & (x3_4 = Box | x3_4 = BoxOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Left: Free;
1055 x3_5 = Agent & (x2_5 = Box | x2_5 = BoxOnTarget) & (x1_5 = Free | x1_5 = Target) & move = Up: Free;
1056 x3_5 = Box & (x3_6 = Agent | x3_6 = AgentOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Left: Agent;
1057 x3_5 = Box & (x4_5 = Agent | x4_5 = AgentOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Up: Agent;
1058 x3_5 = Box & (x3_4 = Agent | x3_4 = AgentOnTarget) & (x3_6 = Free | x3_6 = Target) & move = Right : Agent;
1059 x3_5 = Box & (x2_5 = Agent | x2_5 = AgentOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Down : Agent;
1060 x3_5 = Target & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Left: AgentOnTarget;
1061 x3_5 = Target & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Up: AgentOnTarget;
1062 x3_5 = Target & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Right : AgentOnTarget;
1063 x3_5 = Target & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Down : AgentOnTarget;
1064 x3_5 = Target & (x3_6 = Box | x3_6 = BoxOnTarget) & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Left: BoxOnTarget;
1065 x3_5 = Target & (x4_5 = Box | x4_5 = BoxOnTarget) & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Up: BoxOnTarget;
1066 x3_5 = Target & (x3_4 = Box | x3_4 = BoxOnTarget) & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Right : BoxOnTarget;
1067 x3_5 = Target & (x2_5 = Box | x2_5 = BoxOnTarget) & (x1_5 = Agent | x1_5 = AgentOnTarget) & move = Down : BoxOnTarget;
1068 x3_5 = AgentOnTarget & (x3_6 = Free | x3_6 = Target) & move = Right: Target;
1069 x3_5 = AgentOnTarget & (x4_5 = Free | x4_5 = Target) & move = Down: Target;
1070 x3_5 = AgentOnTarget & (x3_4 = Free | x3_4 = Target) & move = Left : Target;
1071 x3_5 = AgentOnTarget & (x2_5 = Free | x2_5 = Target) & move = Up : Target;
1072 x3_5 = BoxOnTarget & (x3_6 = Agent | x3_6 = AgentOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Left: AgentOnTarget;
1073 x3_5 = BoxOnTarget & (x4_5 = Agent | x4_5 = AgentOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Up: AgentOnTarget;
1074 x3_5 = BoxOnTarget & (x3_4 = Agent | x3_4 = AgentOnTarget) & (x3_6 = Free | x3_6 = Target) & move = Right : AgentOnTarget;
1075 x3_5 = BoxOnTarget & (x2_5 = Agent | x2_5 = AgentOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Down : AgentOnTarget;
1076 TRUE : x3_5;
1077 esac;
1078 next(x3_6) := case
1079 x3_6 = Wall: Wall;
1080 x3_6 = Free & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Left: Agent;
1081 x3_6 = Free & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Up: Agent;
1082 x3_6 = Free & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Right : Agent;
1083 x3_6 = Free & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Down : Agent;
1084 x3_6 = Free & (x4_6 = Box | x4_6 = BoxOnTarget) & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Up: Box;
1085 x3_6 = Free & (x3_5 = Box | x3_5 = BoxOnTarget) & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Right : Box;
1086 x3_6 = Free & (x2_6 = Box | x2_6 = BoxOnTarget) & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Down : Box;
1087 x3_6 = Agent & (x3_7 = Free | x3_7 = Target) & move = Right: Free;
1088 x3_6 = Agent & (x4_6 = Free | x4_6 = Target) & move = Down: Free;
1089 x3_6 = Agent & (x3_5 = Free | x3_5 = Target) & move = Left : Free;
1090 x3_6 = Agent & (x2_6= Free | x2_6 = Target) & move = Up : Free;
1091 x3_6 = Agent & (x4_6 = Box | x4_6 = BoxOnTarget) & (x5_6 = Free | x5_6 = Target) & move = Down: Free;
1092 x3_6 = Agent & (x3_5 = Box | x3_5 = BoxOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Left: Free;
1093 x3_6 = Agent & (x2_6 = Box | x2_6 = BoxOnTarget) & (x1_6 = Free | x1_6 = Target) & move = Up: Free;
1094 x3_6 = Box & (x3_7 = Agent | x3_7 = AgentOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Left: Agent;
1095 x3_6 = Box & (x4_6 = Agent | x4_6 = AgentOnTarget) & (x2_6 = Free | x2_6 = Target) & move = Up: Agent;
1096 x3_6 = Box & (x3_5 = Agent | x3_5 = AgentOnTarget) & (x3_7 = Free | x3_7 = Target) & move = Right : Agent;
1097 x3_6 = Box & (x2_6 = Agent | x2_6 = AgentOnTarget) & (x4_6 = Free | x4_6 = Target) & move = Down : Agent;
1098 x3_6 = Target & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Left: AgentOnTarget;
1099 x3_6 = Target & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Up: AgentOnTarget;
1100 x3_6 = Target & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Right : AgentOnTarget;
1101 x3_6 = Target & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Down : AgentOnTarget;
1102 x3_6 = Target & (x4_6 = Box | x4_6 = BoxOnTarget) & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Up: BoxOnTarget;
1103 x3_6 = Target & (x3_5 = Box | x3_5 = BoxOnTarget) & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Right : BoxOnTarget;
1104 x3_6 = Target & (x2_6 = Box | x2_6 = BoxOnTarget) & (x1_6 = Agent | x1_6 = AgentOnTarget) & move = Down : BoxOnTarget;
1105 x3_6 = AgentOnTarget & (x3_7 = Free | x3_7 = Target) & move = Right: Target;
1106 x3_6 = AgentOnTarget & (x4_6 = Free | x4_6 = Target) & move = Down: Target;
1107 x3_6 = AgentOnTarget & (x3_5 = Free | x3_5 = Target) & move = Left : Target;
1108 x3_6 = AgentOnTarget & (x2_6 = Free | x2_6 = Target) & move = Up : Target;
1109 x3_6 = BoxOnTarget & (x3_7 = Agent | x3_7 = AgentOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Left: AgentOnTarget;
1110 x3_6 = BoxOnTarget & (x4_6 = Agent | x4_6 = AgentOnTarget) & (x2_6 = Free | x2_6 = Target) & move = Up: AgentOnTarget;
1111 x3_6 = BoxOnTarget & (x3_5 = Agent | x3_5 = AgentOnTarget) & (x3_7 = Free | x3_7 = Target) & move = Right : AgentOnTarget;
1112 x3_6 = BoxOnTarget & (x2_6 = Agent | x2_6 = AgentOnTarget) & (x4_6 = Free | x4_6 = Target) & move = Down : AgentOnTarget;
1113 TRUE : x3_6;
1114 esac;
1115 next(x3_7) := case
1116 x3_7 = Wall: Wall;
1117 x3_7 = Free & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Up: Agent;
1118 x3_7 = Free & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Right : Agent;
1119 x3_7 = Free & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Down : Agent;
1120 x3_7 = Free & (x4_7 = Box | x4_7 = BoxOnTarget) & (x5_7 = Agent | x5_7 = AgentOnTarget) & move = Up: Box;
1121 x3_7 = Free & (x3_6 = Box | x3_6 = BoxOnTarget) & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Right : Box;
1122 x3_7 = Free & (x2_7 = Box | x2_7 = BoxOnTarget) & (x1_7 = Agent | x1_7 = AgentOnTarget) & move = Down : Box;
1123 x3_7 = Agent & (x4_7 = Free | x4_7 = Target) & move = Down: Free;
1124 x3_7 = Agent & (x3_6 = Free | x3_6 = Target) & move = Left : Free;
1125 x3_7 = Agent & (x2_7= Free | x2_7 = Target) & move = Up : Free;
1126 x3_7 = Agent & (x4_7 = Box | x4_7 = BoxOnTarget) & (x5_7 = Free | x5_7 = Target) & move = Down: Free;
1127 x3_7 = Agent & (x3_6 = Box | x3_6 = BoxOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Left: Free;
1128 x3_7 = Agent & (x2_7 = Box | x2_7 = BoxOnTarget) & (x1_7 = Free | x1_7 = Target) & move = Up: Free;
1129 x3_7 = Box & (x4_7 = Agent | x4_7 = AgentOnTarget) & (x2_7 = Free | x2_7 = Target) & move = Up: Agent;
1130 x3_7 = Box & (x2_7 = Agent | x2_7 = AgentOnTarget) & (x4_7 = Free | x4_7 = Target) & move = Down : Agent;
1131 x3_7 = Target & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Up: AgentOnTarget;
1132 x3_7 = Target & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Right : AgentOnTarget;
1133 x3_7 = Target & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Down : AgentOnTarget;
1134 x3_7 = Target & (x4_7 = Box | x4_7 = BoxOnTarget) & (x5_7 = Agent | x5_7 = AgentOnTarget) & move = Up: BoxOnTarget;
1135 x3_7 = Target & (x3_6 = Box | x3_6 = BoxOnTarget) & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Right : BoxOnTarget;
1136 x3_7 = Target & (x2_7 = Box | x2_7 = BoxOnTarget) & (x1_7 = Agent | x1_7 = AgentOnTarget) & move = Down : BoxOnTarget;
1137 x3_7 = AgentOnTarget & (x4_7 = Free | x4_7 = Target) & move = Down: Target;
1138 x3_7 = AgentOnTarget & (x3_6 = Free | x3_6 = Target) & move = Left : Target;
1139 x3_7 = AgentOnTarget & (x2_7 = Free | x2_7 = Target) & move = Up : Target;
1140 x3_7 = BoxOnTarget & (x4_7 = Agent | x4_7 = AgentOnTarget) & (x2_7 = Free | x2_7 = Target) & move = Up: AgentOnTarget;
1141 x3_7 = BoxOnTarget & (x2_7 = Agent | x2_7 = AgentOnTarget) & (x4_7 = Free | x4_7 = Target) & move = Down : AgentOnTarget;
1142 TRUE : x3_7;
1143 esac;
1144 next(x4_0) := case
1145 x4_0 = Wall: Wall;
1146 x4_0 = Free & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Left: Agent;
1147 x4_0 = Free & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Up: Agent;
1148 x4_0 = Free & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Down : Agent;
1149 x4_0 = Free & (x4_1 = Box | x4_1 = BoxOnTarget) & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Left: Box;
1150 x4_0 = Free & (x5_0 = Box | x5_0 = BoxOnTarget) & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Up: Box;
1151 x4_0 = Free & (x3_0 = Box | x3_0 = BoxOnTarget) & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Down : Box;
1152 x4_0 = Agent & (x4_1 = Free | x4_1 = Target) & move = Right: Free;
1153 x4_0 = Agent & (x5_0 = Free | x5_0 = Target) & move = Down: Free;
1154 x4_0 = Agent & (x3_0= Free | x3_0 = Target) & move = Up : Free;
1155 x4_0 = Agent & (x4_1 = Box | x4_1 = BoxOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Right: Free;
1156 x4_0 = Agent & (x5_0 = Box | x5_0 = BoxOnTarget) & (x6_0 = Free | x6_0 = Target) & move = Down: Free;
1157 x4_0 = Agent & (x3_0 = Box | x3_0 = BoxOnTarget) & (x2_0 = Free | x2_0 = Target) & move = Up: Free;
1158 x4_0 = Box & (x5_0 = Agent | x5_0 = AgentOnTarget) & (x3_0 = Free | x3_0 = Target) & move = Up: Agent;
1159 x4_0 = Box & (x3_0 = Agent | x3_0 = AgentOnTarget) & (x5_0 = Free | x5_0 = Target) & move = Down : Agent;
1160 x4_0 = Target & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Left: AgentOnTarget;
1161 x4_0 = Target & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Up: AgentOnTarget;
1162 x4_0 = Target & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Down : AgentOnTarget;
1163 x4_0 = Target & (x4_1 = Box | x4_1 = BoxOnTarget) & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Left: BoxOnTarget;
1164 x4_0 = Target & (x5_0 = Box | x5_0 = BoxOnTarget) & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Up: BoxOnTarget;
1165 x4_0 = Target & (x3_0 = Box | x3_0 = BoxOnTarget) & (x2_0 = Agent | x2_0 = AgentOnTarget) & move = Down : BoxOnTarget;
1166 x4_0 = AgentOnTarget & (x4_1 = Free | x4_1 = Target) & move = Right: Target;
1167 x4_0 = AgentOnTarget & (x5_0 = Free | x5_0 = Target) & move = Down: Target;
1168 x4_0 = AgentOnTarget & (x3_0 = Free | x3_0 = Target) & move = Up : Target;
1169 x4_0 = BoxOnTarget & (x5_0 = Agent | x5_0 = AgentOnTarget) & (x3_0 = Free | x3_0 = Target) & move = Up: AgentOnTarget;
1170 x4_0 = BoxOnTarget & (x3_0 = Agent | x3_0 = AgentOnTarget) & (x5_0 = Free | x5_0 = Target) & move = Down : AgentOnTarget;
1171 TRUE : x4_0;
1172 esac;
1173 next(x4_1) := case
1174 x4_1 = Wall: Wall;
1175 x4_1 = Free & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Left: Agent;
1176 x4_1 = Free & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Up: Agent;
1177 x4_1 = Free & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Right : Agent;
1178 x4_1 = Free & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Down : Agent;
1179 x4_1 = Free & (x4_2 = Box | x4_2 = BoxOnTarget) & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Left: Box;
1180 x4_1 = Free & (x5_1 = Box | x5_1 = BoxOnTarget) & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Up: Box;
1181 x4_1 = Free & (x3_1 = Box | x3_1 = BoxOnTarget) & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Down : Box;
1182 x4_1 = Agent & (x4_2 = Free | x4_2 = Target) & move = Right: Free;
1183 x4_1 = Agent & (x5_1 = Free | x5_1 = Target) & move = Down: Free;
1184 x4_1 = Agent & (x4_0 = Free | x4_0 = Target) & move = Left : Free;
1185 x4_1 = Agent & (x3_1= Free | x3_1 = Target) & move = Up : Free;
1186 x4_1 = Agent & (x4_2 = Box | x4_2 = BoxOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Right: Free;
1187 x4_1 = Agent & (x5_1 = Box | x5_1 = BoxOnTarget) & (x6_1 = Free | x6_1 = Target) & move = Down: Free;
1188 x4_1 = Agent & (x3_1 = Box | x3_1 = BoxOnTarget) & (x2_1 = Free | x2_1 = Target) & move = Up: Free;
1189 x4_1 = Box & (x4_2 = Agent | x4_2 = AgentOnTarget) & (x4_0 = Free | x4_0 = Target) & move = Left: Agent;
1190 x4_1 = Box & (x5_1 = Agent | x5_1 = AgentOnTarget) & (x3_1 = Free | x3_1 = Target) & move = Up: Agent;
1191 x4_1 = Box & (x4_0 = Agent | x4_0 = AgentOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Right : Agent;
1192 x4_1 = Box & (x3_1 = Agent | x3_1 = AgentOnTarget) & (x5_1 = Free | x5_1 = Target) & move = Down : Agent;
1193 x4_1 = Target & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Left: AgentOnTarget;
1194 x4_1 = Target & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Up: AgentOnTarget;
1195 x4_1 = Target & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Right : AgentOnTarget;
1196 x4_1 = Target & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Down : AgentOnTarget;
1197 x4_1 = Target & (x4_2 = Box | x4_2 = BoxOnTarget) & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Left: BoxOnTarget;
1198 x4_1 = Target & (x5_1 = Box | x5_1 = BoxOnTarget) & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Up: BoxOnTarget;
1199 x4_1 = Target & (x3_1 = Box | x3_1 = BoxOnTarget) & (x2_1 = Agent | x2_1 = AgentOnTarget) & move = Down : BoxOnTarget;
1200 x4_1 = AgentOnTarget & (x4_2 = Free | x4_2 = Target) & move = Right: Target;
1201 x4_1 = AgentOnTarget & (x5_1 = Free | x5_1 = Target) & move = Down: Target;
1202 x4_1 = AgentOnTarget & (x4_0 = Free | x4_0 = Target) & move = Left : Target;
1203 x4_1 = AgentOnTarget & (x3_1 = Free | x3_1 = Target) & move = Up : Target;
1204 x4_1 = BoxOnTarget & (x4_2 = Agent | x4_2 = AgentOnTarget) & (x4_0 = Free | x4_0 = Target) & move = Left: AgentOnTarget;
1205 x4_1 = BoxOnTarget & (x5_1 = Agent | x5_1 = AgentOnTarget) & (x3_1 = Free | x3_1 = Target) & move = Up: AgentOnTarget;
1206 x4_1 = BoxOnTarget & (x4_0 = Agent | x4_0 = AgentOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Right : AgentOnTarget;
1207 x4_1 = BoxOnTarget & (x3_1 = Agent | x3_1 = AgentOnTarget) & (x5_1 = Free | x5_1 = Target) & move = Down : AgentOnTarget;
1208 TRUE : x4_1;
1209 esac;
1210 next(x4_2) := case
1211 x4_2 = Wall: Wall;
1212 x4_2 = Free & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Left: Agent;
1213 x4_2 = Free & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Up: Agent;
1214 x4_2 = Free & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Right : Agent;
1215 x4_2 = Free & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Down : Agent;
1216 x4_2 = Free & (x4_3 = Box | x4_3 = BoxOnTarget) & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Left: Box;
1217 x4_2 = Free & (x5_2 = Box | x5_2 = BoxOnTarget) & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Up: Box;
1218 x4_2 = Free & (x4_1 = Box | x4_1 = BoxOnTarget) & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Right : Box;
1219 x4_2 = Free & (x3_2 = Box | x3_2 = BoxOnTarget) & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Down : Box;
1220 x4_2 = Agent & (x4_3 = Free | x4_3 = Target) & move = Right: Free;
1221 x4_2 = Agent & (x5_2 = Free | x5_2 = Target) & move = Down: Free;
1222 x4_2 = Agent & (x4_1 = Free | x4_1 = Target) & move = Left : Free;
1223 x4_2 = Agent & (x3_2= Free | x3_2 = Target) & move = Up : Free;
1224 x4_2 = Agent & (x4_3 = Box | x4_3 = BoxOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Right: Free;
1225 x4_2 = Agent & (x5_2 = Box | x5_2 = BoxOnTarget) & (x6_2 = Free | x6_2 = Target) & move = Down: Free;
1226 x4_2 = Agent & (x4_1 = Box | x4_1 = BoxOnTarget) & (x4_0 = Free | x4_0 = Target) & move = Left: Free;
1227 x4_2 = Agent & (x3_2 = Box | x3_2 = BoxOnTarget) & (x2_2 = Free | x2_2 = Target) & move = Up: Free;
1228 x4_2 = Box & (x4_3 = Agent | x4_3 = AgentOnTarget) & (x4_1 = Free | x4_1 = Target) & move = Left: Agent;
1229 x4_2 = Box & (x5_2 = Agent | x5_2 = AgentOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Up: Agent;
1230 x4_2 = Box & (x4_1 = Agent | x4_1 = AgentOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Right : Agent;
1231 x4_2 = Box & (x3_2 = Agent | x3_2 = AgentOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Down : Agent;
1232 x4_2 = Target & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Left: AgentOnTarget;
1233 x4_2 = Target & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Up: AgentOnTarget;
1234 x4_2 = Target & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Right : AgentOnTarget;
1235 x4_2 = Target & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Down : AgentOnTarget;
1236 x4_2 = Target & (x4_3 = Box | x4_3 = BoxOnTarget) & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Left: BoxOnTarget;
1237 x4_2 = Target & (x5_2 = Box | x5_2 = BoxOnTarget) & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Up: BoxOnTarget;
1238 x4_2 = Target & (x4_1 = Box | x4_1 = BoxOnTarget) & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Right : BoxOnTarget;
1239 x4_2 = Target & (x3_2 = Box | x3_2 = BoxOnTarget) & (x2_2 = Agent | x2_2 = AgentOnTarget) & move = Down : BoxOnTarget;
1240 x4_2 = AgentOnTarget & (x4_3 = Free | x4_3 = Target) & move = Right: Target;
1241 x4_2 = AgentOnTarget & (x5_2 = Free | x5_2 = Target) & move = Down: Target;
1242 x4_2 = AgentOnTarget & (x4_1 = Free | x4_1 = Target) & move = Left : Target;
1243 x4_2 = AgentOnTarget & (x3_2 = Free | x3_2 = Target) & move = Up : Target;
1244 x4_2 = BoxOnTarget & (x4_3 = Agent | x4_3 = AgentOnTarget) & (x4_1 = Free | x4_1 = Target) & move = Left: AgentOnTarget;
1245 x4_2 = BoxOnTarget & (x5_2 = Agent | x5_2 = AgentOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Up: AgentOnTarget;
1246 x4_2 = BoxOnTarget & (x4_1 = Agent | x4_1 = AgentOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Right : AgentOnTarget;
1247 x4_2 = BoxOnTarget & (x3_2 = Agent | x3_2 = AgentOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Down : AgentOnTarget;
1248 TRUE : x4_2;
1249 esac;
1250 next(x4_3) := case
1251 x4_3 = Wall: Wall;
1252 x4_3 = Free & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Left: Agent;
1253 x4_3 = Free & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Up: Agent;
1254 x4_3 = Free & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Right : Agent;
1255 x4_3 = Free & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Down : Agent;
1256 x4_3 = Free & (x4_4 = Box | x4_4 = BoxOnTarget) & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Left: Box;
1257 x4_3 = Free & (x5_3 = Box | x5_3 = BoxOnTarget) & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Up: Box;
1258 x4_3 = Free & (x4_2 = Box | x4_2 = BoxOnTarget) & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Right : Box;
1259 x4_3 = Free & (x3_3 = Box | x3_3 = BoxOnTarget) & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Down : Box;
1260 x4_3 = Agent & (x4_4 = Free | x4_4 = Target) & move = Right: Free;
1261 x4_3 = Agent & (x5_3 = Free | x5_3 = Target) & move = Down: Free;
1262 x4_3 = Agent & (x4_2 = Free | x4_2 = Target) & move = Left : Free;
1263 x4_3 = Agent & (x3_3= Free | x3_3 = Target) & move = Up : Free;
1264 x4_3 = Agent & (x4_4 = Box | x4_4 = BoxOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Right: Free;
1265 x4_3 = Agent & (x5_3 = Box | x5_3 = BoxOnTarget) & (x6_3 = Free | x6_3 = Target) & move = Down: Free;
1266 x4_3 = Agent & (x4_2 = Box | x4_2 = BoxOnTarget) & (x4_1 = Free | x4_1 = Target) & move = Left: Free;
1267 x4_3 = Agent & (x3_3 = Box | x3_3 = BoxOnTarget) & (x2_3 = Free | x2_3 = Target) & move = Up: Free;
1268 x4_3 = Box & (x4_4 = Agent | x4_4 = AgentOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Left: Agent;
1269 x4_3 = Box & (x5_3 = Agent | x5_3 = AgentOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Up: Agent;
1270 x4_3 = Box & (x4_2 = Agent | x4_2 = AgentOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Right : Agent;
1271 x4_3 = Box & (x3_3 = Agent | x3_3 = AgentOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Down : Agent;
1272 x4_3 = Target & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Left: AgentOnTarget;
1273 x4_3 = Target & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Up: AgentOnTarget;
1274 x4_3 = Target & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Right : AgentOnTarget;
1275 x4_3 = Target & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Down : AgentOnTarget;
1276 x4_3 = Target & (x4_4 = Box | x4_4 = BoxOnTarget) & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Left: BoxOnTarget;
1277 x4_3 = Target & (x5_3 = Box | x5_3 = BoxOnTarget) & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Up: BoxOnTarget;
1278 x4_3 = Target & (x4_2 = Box | x4_2 = BoxOnTarget) & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Right : BoxOnTarget;
1279 x4_3 = Target & (x3_3 = Box | x3_3 = BoxOnTarget) & (x2_3 = Agent | x2_3 = AgentOnTarget) & move = Down : BoxOnTarget;
1280 x4_3 = AgentOnTarget & (x4_4 = Free | x4_4 = Target) & move = Right: Target;
1281 x4_3 = AgentOnTarget & (x5_3 = Free | x5_3 = Target) & move = Down: Target;
1282 x4_3 = AgentOnTarget & (x4_2 = Free | x4_2 = Target) & move = Left : Target;
1283 x4_3 = AgentOnTarget & (x3_3 = Free | x3_3 = Target) & move = Up : Target;
1284 x4_3 = BoxOnTarget & (x4_4 = Agent | x4_4 = AgentOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Left: AgentOnTarget;
1285 x4_3 = BoxOnTarget & (x5_3 = Agent | x5_3 = AgentOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Up: AgentOnTarget;
1286 x4_3 = BoxOnTarget & (x4_2 = Agent | x4_2 = AgentOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Right : AgentOnTarget;
1287 x4_3 = BoxOnTarget & (x3_3 = Agent | x3_3 = AgentOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Down : AgentOnTarget;
1288 TRUE : x4_3;
1289 esac;
1290 next(x4_4) := case
1291 x4_4 = Wall: Wall;
1292 x4_4 = Free & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Left: Agent;
1293 x4_4 = Free & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Up: Agent;
1294 x4_4 = Free & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Right : Agent;
1295 x4_4 = Free & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Down : Agent;
1296 x4_4 = Free & (x4_5 = Box | x4_5 = BoxOnTarget) & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Left: Box;
1297 x4_4 = Free & (x5_4 = Box | x5_4 = BoxOnTarget) & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Up: Box;
1298 x4_4 = Free & (x4_3 = Box | x4_3 = BoxOnTarget) & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Right : Box;
1299 x4_4 = Free & (x3_4 = Box | x3_4 = BoxOnTarget) & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Down : Box;
1300 x4_4 = Agent & (x4_5 = Free | x4_5 = Target) & move = Right: Free;
1301 x4_4 = Agent & (x5_4 = Free | x5_4 = Target) & move = Down: Free;
1302 x4_4 = Agent & (x4_3 = Free | x4_3 = Target) & move = Left : Free;
1303 x4_4 = Agent & (x3_4= Free | x3_4 = Target) & move = Up : Free;
1304 x4_4 = Agent & (x4_5 = Box | x4_5 = BoxOnTarget) & (x4_6 = Free | x4_6 = Target) & move = Right: Free;
1305 x4_4 = Agent & (x5_4 = Box | x5_4 = BoxOnTarget) & (x6_4 = Free | x6_4 = Target) & move = Down: Free;
1306 x4_4 = Agent & (x4_3 = Box | x4_3 = BoxOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Left: Free;
1307 x4_4 = Agent & (x3_4 = Box | x3_4 = BoxOnTarget) & (x2_4 = Free | x2_4 = Target) & move = Up: Free;
1308 x4_4 = Box & (x4_5 = Agent | x4_5 = AgentOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Left: Agent;
1309 x4_4 = Box & (x5_4 = Agent | x5_4 = AgentOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Up: Agent;
1310 x4_4 = Box & (x4_3 = Agent | x4_3 = AgentOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Right : Agent;
1311 x4_4 = Box & (x3_4 = Agent | x3_4 = AgentOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Down : Agent;
1312 x4_4 = Target & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Left: AgentOnTarget;
1313 x4_4 = Target & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Up: AgentOnTarget;
1314 x4_4 = Target & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Right : AgentOnTarget;
1315 x4_4 = Target & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Down : AgentOnTarget;
1316 x4_4 = Target & (x4_5 = Box | x4_5 = BoxOnTarget) & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Left: BoxOnTarget;
1317 x4_4 = Target & (x5_4 = Box | x5_4 = BoxOnTarget) & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Up: BoxOnTarget;
1318 x4_4 = Target & (x4_3 = Box | x4_3 = BoxOnTarget) & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Right : BoxOnTarget;
1319 x4_4 = Target & (x3_4 = Box | x3_4 = BoxOnTarget) & (x2_4 = Agent | x2_4 = AgentOnTarget) & move = Down : BoxOnTarget;
1320 x4_4 = AgentOnTarget & (x4_5 = Free | x4_5 = Target) & move = Right: Target;
1321 x4_4 = AgentOnTarget & (x5_4 = Free | x5_4 = Target) & move = Down: Target;
1322 x4_4 = AgentOnTarget & (x4_3 = Free | x4_3 = Target) & move = Left : Target;
1323 x4_4 = AgentOnTarget & (x3_4 = Free | x3_4 = Target) & move = Up : Target;
1324 x4_4 = BoxOnTarget & (x4_5 = Agent | x4_5 = AgentOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Left: AgentOnTarget;
1325 x4_4 = BoxOnTarget & (x5_4 = Agent | x5_4 = AgentOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Up: AgentOnTarget;
1326 x4_4 = BoxOnTarget & (x4_3 = Agent | x4_3 = AgentOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Right : AgentOnTarget;
1327 x4_4 = BoxOnTarget & (x3_4 = Agent | x3_4 = AgentOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Down : AgentOnTarget;
1328 TRUE : x4_4;
1329 esac;
1330 next(x4_5) := case
1331 x4_5 = Wall: Wall;
1332 x4_5 = Free & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Left: Agent;
1333 x4_5 = Free & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Up: Agent;
1334 x4_5 = Free & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Right : Agent;
1335 x4_5 = Free & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Down : Agent;
1336 x4_5 = Free & (x4_6 = Box | x4_6 = BoxOnTarget) & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Left: Box;
1337 x4_5 = Free & (x5_5 = Box | x5_5 = BoxOnTarget) & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Up: Box;
1338 x4_5 = Free & (x4_4 = Box | x4_4 = BoxOnTarget) & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Right : Box;
1339 x4_5 = Free & (x3_5 = Box | x3_5 = BoxOnTarget) & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Down : Box;
1340 x4_5 = Agent & (x4_6 = Free | x4_6 = Target) & move = Right: Free;
1341 x4_5 = Agent & (x5_5 = Free | x5_5 = Target) & move = Down: Free;
1342 x4_5 = Agent & (x4_4 = Free | x4_4 = Target) & move = Left : Free;
1343 x4_5 = Agent & (x3_5= Free | x3_5 = Target) & move = Up : Free;
1344 x4_5 = Agent & (x4_6 = Box | x4_6 = BoxOnTarget) & (x4_7 = Free | x4_7 = Target) & move = Right: Free;
1345 x4_5 = Agent & (x5_5 = Box | x5_5 = BoxOnTarget) & (x6_5 = Free | x6_5 = Target) & move = Down: Free;
1346 x4_5 = Agent & (x4_4 = Box | x4_4 = BoxOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Left: Free;
1347 x4_5 = Agent & (x3_5 = Box | x3_5 = BoxOnTarget) & (x2_5 = Free | x2_5 = Target) & move = Up: Free;
1348 x4_5 = Box & (x4_6 = Agent | x4_6 = AgentOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Left: Agent;
1349 x4_5 = Box & (x5_5 = Agent | x5_5 = AgentOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Up: Agent;
1350 x4_5 = Box & (x4_4 = Agent | x4_4 = AgentOnTarget) & (x4_6 = Free | x4_6 = Target) & move = Right : Agent;
1351 x4_5 = Box & (x3_5 = Agent | x3_5 = AgentOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Down : Agent;
1352 x4_5 = Target & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Left: AgentOnTarget;
1353 x4_5 = Target & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Up: AgentOnTarget;
1354 x4_5 = Target & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Right : AgentOnTarget;
1355 x4_5 = Target & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Down : AgentOnTarget;
1356 x4_5 = Target & (x4_6 = Box | x4_6 = BoxOnTarget) & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Left: BoxOnTarget;
1357 x4_5 = Target & (x5_5 = Box | x5_5 = BoxOnTarget) & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Up: BoxOnTarget;
1358 x4_5 = Target & (x4_4 = Box | x4_4 = BoxOnTarget) & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Right : BoxOnTarget;
1359 x4_5 = Target & (x3_5 = Box | x3_5 = BoxOnTarget) & (x2_5 = Agent | x2_5 = AgentOnTarget) & move = Down : BoxOnTarget;
1360 x4_5 = AgentOnTarget & (x4_6 = Free | x4_6 = Target) & move = Right: Target;
1361 x4_5 = AgentOnTarget & (x5_5 = Free | x5_5 = Target) & move = Down: Target;
1362 x4_5 = AgentOnTarget & (x4_4 = Free | x4_4 = Target) & move = Left : Target;
1363 x4_5 = AgentOnTarget & (x3_5 = Free | x3_5 = Target) & move = Up : Target;
1364 x4_5 = BoxOnTarget & (x4_6 = Agent | x4_6 = AgentOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Left: AgentOnTarget;
1365 x4_5 = BoxOnTarget & (x5_5 = Agent | x5_5 = AgentOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Up: AgentOnTarget;
1366 x4_5 = BoxOnTarget & (x4_4 = Agent | x4_4 = AgentOnTarget) & (x4_6 = Free | x4_6 = Target) & move = Right : AgentOnTarget;
1367 x4_5 = BoxOnTarget & (x3_5 = Agent | x3_5 = AgentOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Down : AgentOnTarget;
1368 TRUE : x4_5;
1369 esac;
1370 next(x4_6) := case
1371 x4_6 = Wall: Wall;
1372 x4_6 = Free & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Left: Agent;
1373 x4_6 = Free & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Up: Agent;
1374 x4_6 = Free & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Right : Agent;
1375 x4_6 = Free & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Down : Agent;
1376 x4_6 = Free & (x5_6 = Box | x5_6 = BoxOnTarget) & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Up: Box;
1377 x4_6 = Free & (x4_5 = Box | x4_5 = BoxOnTarget) & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Right : Box;
1378 x4_6 = Free & (x3_6 = Box | x3_6 = BoxOnTarget) & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Down : Box;
1379 x4_6 = Agent & (x4_7 = Free | x4_7 = Target) & move = Right: Free;
1380 x4_6 = Agent & (x5_6 = Free | x5_6 = Target) & move = Down: Free;
1381 x4_6 = Agent & (x4_5 = Free | x4_5 = Target) & move = Left : Free;
1382 x4_6 = Agent & (x3_6= Free | x3_6 = Target) & move = Up : Free;
1383 x4_6 = Agent & (x5_6 = Box | x5_6 = BoxOnTarget) & (x6_6 = Free | x6_6 = Target) & move = Down: Free;
1384 x4_6 = Agent & (x4_5 = Box | x4_5 = BoxOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Left: Free;
1385 x4_6 = Agent & (x3_6 = Box | x3_6 = BoxOnTarget) & (x2_6 = Free | x2_6 = Target) & move = Up: Free;
1386 x4_6 = Box & (x4_7 = Agent | x4_7 = AgentOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Left: Agent;
1387 x4_6 = Box & (x5_6 = Agent | x5_6 = AgentOnTarget) & (x3_6 = Free | x3_6 = Target) & move = Up: Agent;
1388 x4_6 = Box & (x4_5 = Agent | x4_5 = AgentOnTarget) & (x4_7 = Free | x4_7 = Target) & move = Right : Agent;
1389 x4_6 = Box & (x3_6 = Agent | x3_6 = AgentOnTarget) & (x5_6 = Free | x5_6 = Target) & move = Down : Agent;
1390 x4_6 = Target & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Left: AgentOnTarget;
1391 x4_6 = Target & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Up: AgentOnTarget;
1392 x4_6 = Target & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Right : AgentOnTarget;
1393 x4_6 = Target & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Down : AgentOnTarget;
1394 x4_6 = Target & (x5_6 = Box | x5_6 = BoxOnTarget) & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Up: BoxOnTarget;
1395 x4_6 = Target & (x4_5 = Box | x4_5 = BoxOnTarget) & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Right : BoxOnTarget;
1396 x4_6 = Target & (x3_6 = Box | x3_6 = BoxOnTarget) & (x2_6 = Agent | x2_6 = AgentOnTarget) & move = Down : BoxOnTarget;
1397 x4_6 = AgentOnTarget & (x4_7 = Free | x4_7 = Target) & move = Right: Target;
1398 x4_6 = AgentOnTarget & (x5_6 = Free | x5_6 = Target) & move = Down: Target;
1399 x4_6 = AgentOnTarget & (x4_5 = Free | x4_5 = Target) & move = Left : Target;
1400 x4_6 = AgentOnTarget & (x3_6 = Free | x3_6 = Target) & move = Up : Target;
1401 x4_6 = BoxOnTarget & (x4_7 = Agent | x4_7 = AgentOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Left: AgentOnTarget;
1402 x4_6 = BoxOnTarget & (x5_6 = Agent | x5_6 = AgentOnTarget) & (x3_6 = Free | x3_6 = Target) & move = Up: AgentOnTarget;
1403 x4_6 = BoxOnTarget & (x4_5 = Agent | x4_5 = AgentOnTarget) & (x4_7 = Free | x4_7 = Target) & move = Right : AgentOnTarget;
1404 x4_6 = BoxOnTarget & (x3_6 = Agent | x3_6 = AgentOnTarget) & (x5_6 = Free | x5_6 = Target) & move = Down : AgentOnTarget;
1405 TRUE : x4_6;
1406 esac;
1407 next(x4_7) := case
1408 x4_7 = Wall: Wall;
1409 x4_7 = Free & (x5_7 = Agent | x5_7 = AgentOnTarget) & move = Up: Agent;
1410 x4_7 = Free & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Right : Agent;
1411 x4_7 = Free & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Down : Agent;
1412 x4_7 = Free & (x4_6 = Box | x4_6 = BoxOnTarget) & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Right : Box;
1413 x4_7 = Free & (x3_7 = Box | x3_7 = BoxOnTarget) & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Down : Box;
1414 x4_7 = Agent & (x5_7 = Free | x5_7 = Target) & move = Down: Free;
1415 x4_7 = Agent & (x4_6 = Free | x4_6 = Target) & move = Left : Free;
1416 x4_7 = Agent & (x3_7= Free | x3_7 = Target) & move = Up : Free;
1417 x4_7 = Agent & (x4_6 = Box | x4_6 = BoxOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Left: Free;
1418 x4_7 = Agent & (x3_7 = Box | x3_7 = BoxOnTarget) & (x2_7 = Free | x2_7 = Target) & move = Up: Free;
1419 x4_7 = Box & (x5_7 = Agent | x5_7 = AgentOnTarget) & (x3_7 = Free | x3_7 = Target) & move = Up: Agent;
1420 x4_7 = Box & (x3_7 = Agent | x3_7 = AgentOnTarget) & (x5_7 = Free | x5_7 = Target) & move = Down : Agent;
1421 x4_7 = Target & (x5_7 = Agent | x5_7 = AgentOnTarget) & move = Up: AgentOnTarget;
1422 x4_7 = Target & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Right : AgentOnTarget;
1423 x4_7 = Target & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Down : AgentOnTarget;
1424 x4_7 = Target & (x4_6 = Box | x4_6 = BoxOnTarget) & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Right : BoxOnTarget;
1425 x4_7 = Target & (x3_7 = Box | x3_7 = BoxOnTarget) & (x2_7 = Agent | x2_7 = AgentOnTarget) & move = Down : BoxOnTarget;
1426 x4_7 = AgentOnTarget & (x5_7 = Free | x5_7 = Target) & move = Down: Target;
1427 x4_7 = AgentOnTarget & (x4_6 = Free | x4_6 = Target) & move = Left : Target;
1428 x4_7 = AgentOnTarget & (x3_7 = Free | x3_7 = Target) & move = Up : Target;
1429 x4_7 = BoxOnTarget & (x5_7 = Agent | x5_7 = AgentOnTarget) & (x3_7 = Free | x3_7 = Target) & move = Up: AgentOnTarget;
1430 x4_7 = BoxOnTarget & (x3_7 = Agent | x3_7 = AgentOnTarget) & (x5_7 = Free | x5_7 = Target) & move = Down : AgentOnTarget;
1431 TRUE : x4_7;
1432 esac;
1433 next(x5_0) := case
1434 x5_0 = Wall: Wall;
1435 x5_0 = Free & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Left: Agent;
1436 x5_0 = Free & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Up: Agent;
1437 x5_0 = Free & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Down : Agent;
1438 x5_0 = Free & (x5_1 = Box | x5_1 = BoxOnTarget) & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Left: Box;
1439 x5_0 = Free & (x6_0 = Box | x6_0 = BoxOnTarget) & (x7_0 = Agent | x7_0 = AgentOnTarget) & move = Up: Box;
1440 x5_0 = Free & (x4_0 = Box | x4_0 = BoxOnTarget) & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Down : Box;
1441 x5_0 = Agent & (x5_1 = Free | x5_1 = Target) & move = Right: Free;
1442 x5_0 = Agent & (x6_0 = Free | x6_0 = Target) & move = Down: Free;
1443 x5_0 = Agent & (x4_0= Free | x4_0 = Target) & move = Up : Free;
1444 x5_0 = Agent & (x5_1 = Box | x5_1 = BoxOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Right: Free;
1445 x5_0 = Agent & (x6_0 = Box | x6_0 = BoxOnTarget) & (x7_0 = Free | x7_0 = Target) & move = Down: Free;
1446 x5_0 = Agent & (x4_0 = Box | x4_0 = BoxOnTarget) & (x3_0 = Free | x3_0 = Target) & move = Up: Free;
1447 x5_0 = Box & (x6_0 = Agent | x6_0 = AgentOnTarget) & (x4_0 = Free | x4_0 = Target) & move = Up: Agent;
1448 x5_0 = Box & (x4_0 = Agent | x4_0 = AgentOnTarget) & (x6_0 = Free | x6_0 = Target) & move = Down : Agent;
1449 x5_0 = Target & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Left: AgentOnTarget;
1450 x5_0 = Target & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Up: AgentOnTarget;
1451 x5_0 = Target & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Down : AgentOnTarget;
1452 x5_0 = Target & (x5_1 = Box | x5_1 = BoxOnTarget) & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Left: BoxOnTarget;
1453 x5_0 = Target & (x6_0 = Box | x6_0 = BoxOnTarget) & (x7_0 = Agent | x7_0 = AgentOnTarget) & move = Up: BoxOnTarget;
1454 x5_0 = Target & (x4_0 = Box | x4_0 = BoxOnTarget) & (x3_0 = Agent | x3_0 = AgentOnTarget) & move = Down : BoxOnTarget;
1455 x5_0 = AgentOnTarget & (x5_1 = Free | x5_1 = Target) & move = Right: Target;
1456 x5_0 = AgentOnTarget & (x6_0 = Free | x6_0 = Target) & move = Down: Target;
1457 x5_0 = AgentOnTarget & (x4_0 = Free | x4_0 = Target) & move = Up : Target;
1458 x5_0 = BoxOnTarget & (x6_0 = Agent | x6_0 = AgentOnTarget) & (x4_0 = Free | x4_0 = Target) & move = Up: AgentOnTarget;
1459 x5_0 = BoxOnTarget & (x4_0 = Agent | x4_0 = AgentOnTarget) & (x6_0 = Free | x6_0 = Target) & move = Down : AgentOnTarget;
1460 TRUE : x5_0;
1461 esac;
1462 next(x5_1) := case
1463 x5_1 = Wall: Wall;
1464 x5_1 = Free & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Left: Agent;
1465 x5_1 = Free & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Up: Agent;
1466 x5_1 = Free & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Right : Agent;
1467 x5_1 = Free & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Down : Agent;
1468 x5_1 = Free & (x5_2 = Box | x5_2 = BoxOnTarget) & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Left: Box;
1469 x5_1 = Free & (x6_1 = Box | x6_1 = BoxOnTarget) & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Up: Box;
1470 x5_1 = Free & (x4_1 = Box | x4_1 = BoxOnTarget) & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Down : Box;
1471 x5_1 = Agent & (x5_2 = Free | x5_2 = Target) & move = Right: Free;
1472 x5_1 = Agent & (x6_1 = Free | x6_1 = Target) & move = Down: Free;
1473 x5_1 = Agent & (x5_0 = Free | x5_0 = Target) & move = Left : Free;
1474 x5_1 = Agent & (x4_1= Free | x4_1 = Target) & move = Up : Free;
1475 x5_1 = Agent & (x5_2 = Box | x5_2 = BoxOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Right: Free;
1476 x5_1 = Agent & (x6_1 = Box | x6_1 = BoxOnTarget) & (x7_1 = Free | x7_1 = Target) & move = Down: Free;
1477 x5_1 = Agent & (x4_1 = Box | x4_1 = BoxOnTarget) & (x3_1 = Free | x3_1 = Target) & move = Up: Free;
1478 x5_1 = Box & (x5_2 = Agent | x5_2 = AgentOnTarget) & (x5_0 = Free | x5_0 = Target) & move = Left: Agent;
1479 x5_1 = Box & (x6_1 = Agent | x6_1 = AgentOnTarget) & (x4_1 = Free | x4_1 = Target) & move = Up: Agent;
1480 x5_1 = Box & (x5_0 = Agent | x5_0 = AgentOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Right : Agent;
1481 x5_1 = Box & (x4_1 = Agent | x4_1 = AgentOnTarget) & (x6_1 = Free | x6_1 = Target) & move = Down : Agent;
1482 x5_1 = Target & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Left: AgentOnTarget;
1483 x5_1 = Target & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Up: AgentOnTarget;
1484 x5_1 = Target & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Right : AgentOnTarget;
1485 x5_1 = Target & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Down : AgentOnTarget;
1486 x5_1 = Target & (x5_2 = Box | x5_2 = BoxOnTarget) & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Left: BoxOnTarget;
1487 x5_1 = Target & (x6_1 = Box | x6_1 = BoxOnTarget) & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Up: BoxOnTarget;
1488 x5_1 = Target & (x4_1 = Box | x4_1 = BoxOnTarget) & (x3_1 = Agent | x3_1 = AgentOnTarget) & move = Down : BoxOnTarget;
1489 x5_1 = AgentOnTarget & (x5_2 = Free | x5_2 = Target) & move = Right: Target;
1490 x5_1 = AgentOnTarget & (x6_1 = Free | x6_1 = Target) & move = Down: Target;
1491 x5_1 = AgentOnTarget & (x5_0 = Free | x5_0 = Target) & move = Left : Target;
1492 x5_1 = AgentOnTarget & (x4_1 = Free | x4_1 = Target) & move = Up : Target;
1493 x5_1 = BoxOnTarget & (x5_2 = Agent | x5_2 = AgentOnTarget) & (x5_0 = Free | x5_0 = Target) & move = Left: AgentOnTarget;
1494 x5_1 = BoxOnTarget & (x6_1 = Agent | x6_1 = AgentOnTarget) & (x4_1 = Free | x4_1 = Target) & move = Up: AgentOnTarget;
1495 x5_1 = BoxOnTarget & (x5_0 = Agent | x5_0 = AgentOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Right : AgentOnTarget;
1496 x5_1 = BoxOnTarget & (x4_1 = Agent | x4_1 = AgentOnTarget) & (x6_1 = Free | x6_1 = Target) & move = Down : AgentOnTarget;
1497 TRUE : x5_1;
1498 esac;
1499 next(x5_2) := case
1500 x5_2 = Wall: Wall;
1501 x5_2 = Free & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Left: Agent;
1502 x5_2 = Free & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Up: Agent;
1503 x5_2 = Free & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Right : Agent;
1504 x5_2 = Free & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Down : Agent;
1505 x5_2 = Free & (x5_3 = Box | x5_3 = BoxOnTarget) & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Left: Box;
1506 x5_2 = Free & (x6_2 = Box | x6_2 = BoxOnTarget) & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Up: Box;
1507 x5_2 = Free & (x5_1 = Box | x5_1 = BoxOnTarget) & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Right : Box;
1508 x5_2 = Free & (x4_2 = Box | x4_2 = BoxOnTarget) & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Down : Box;
1509 x5_2 = Agent & (x5_3 = Free | x5_3 = Target) & move = Right: Free;
1510 x5_2 = Agent & (x6_2 = Free | x6_2 = Target) & move = Down: Free;
1511 x5_2 = Agent & (x5_1 = Free | x5_1 = Target) & move = Left : Free;
1512 x5_2 = Agent & (x4_2= Free | x4_2 = Target) & move = Up : Free;
1513 x5_2 = Agent & (x5_3 = Box | x5_3 = BoxOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Right: Free;
1514 x5_2 = Agent & (x6_2 = Box | x6_2 = BoxOnTarget) & (x7_2 = Free | x7_2 = Target) & move = Down: Free;
1515 x5_2 = Agent & (x5_1 = Box | x5_1 = BoxOnTarget) & (x5_0 = Free | x5_0 = Target) & move = Left: Free;
1516 x5_2 = Agent & (x4_2 = Box | x4_2 = BoxOnTarget) & (x3_2 = Free | x3_2 = Target) & move = Up: Free;
1517 x5_2 = Box & (x5_3 = Agent | x5_3 = AgentOnTarget) & (x5_1 = Free | x5_1 = Target) & move = Left: Agent;
1518 x5_2 = Box & (x6_2 = Agent | x6_2 = AgentOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Up: Agent;
1519 x5_2 = Box & (x5_1 = Agent | x5_1 = AgentOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Right : Agent;
1520 x5_2 = Box & (x4_2 = Agent | x4_2 = AgentOnTarget) & (x6_2 = Free | x6_2 = Target) & move = Down : Agent;
1521 x5_2 = Target & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Left: AgentOnTarget;
1522 x5_2 = Target & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Up: AgentOnTarget;
1523 x5_2 = Target & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Right : AgentOnTarget;
1524 x5_2 = Target & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Down : AgentOnTarget;
1525 x5_2 = Target & (x5_3 = Box | x5_3 = BoxOnTarget) & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Left: BoxOnTarget;
1526 x5_2 = Target & (x6_2 = Box | x6_2 = BoxOnTarget) & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Up: BoxOnTarget;
1527 x5_2 = Target & (x5_1 = Box | x5_1 = BoxOnTarget) & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Right : BoxOnTarget;
1528 x5_2 = Target & (x4_2 = Box | x4_2 = BoxOnTarget) & (x3_2 = Agent | x3_2 = AgentOnTarget) & move = Down : BoxOnTarget;
1529 x5_2 = AgentOnTarget & (x5_3 = Free | x5_3 = Target) & move = Right: Target;
1530 x5_2 = AgentOnTarget & (x6_2 = Free | x6_2 = Target) & move = Down: Target;
1531 x5_2 = AgentOnTarget & (x5_1 = Free | x5_1 = Target) & move = Left : Target;
1532 x5_2 = AgentOnTarget & (x4_2 = Free | x4_2 = Target) & move = Up : Target;
1533 x5_2 = BoxOnTarget & (x5_3 = Agent | x5_3 = AgentOnTarget) & (x5_1 = Free | x5_1 = Target) & move = Left: AgentOnTarget;
1534 x5_2 = BoxOnTarget & (x6_2 = Agent | x6_2 = AgentOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Up: AgentOnTarget;
1535 x5_2 = BoxOnTarget & (x5_1 = Agent | x5_1 = AgentOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Right : AgentOnTarget;
1536 x5_2 = BoxOnTarget & (x4_2 = Agent | x4_2 = AgentOnTarget) & (x6_2 = Free | x6_2 = Target) & move = Down : AgentOnTarget;
1537 TRUE : x5_2;
1538 esac;
1539 next(x5_3) := case
1540 x5_3 = Wall: Wall;
1541 x5_3 = Free & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Left: Agent;
1542 x5_3 = Free & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Up: Agent;
1543 x5_3 = Free & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Right : Agent;
1544 x5_3 = Free & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Down : Agent;
1545 x5_3 = Free & (x5_4 = Box | x5_4 = BoxOnTarget) & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Left: Box;
1546 x5_3 = Free & (x6_3 = Box | x6_3 = BoxOnTarget) & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Up: Box;
1547 x5_3 = Free & (x5_2 = Box | x5_2 = BoxOnTarget) & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Right : Box;
1548 x5_3 = Free & (x4_3 = Box | x4_3 = BoxOnTarget) & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Down : Box;
1549 x5_3 = Agent & (x5_4 = Free | x5_4 = Target) & move = Right: Free;
1550 x5_3 = Agent & (x6_3 = Free | x6_3 = Target) & move = Down: Free;
1551 x5_3 = Agent & (x5_2 = Free | x5_2 = Target) & move = Left : Free;
1552 x5_3 = Agent & (x4_3= Free | x4_3 = Target) & move = Up : Free;
1553 x5_3 = Agent & (x5_4 = Box | x5_4 = BoxOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Right: Free;
1554 x5_3 = Agent & (x6_3 = Box | x6_3 = BoxOnTarget) & (x7_3 = Free | x7_3 = Target) & move = Down: Free;
1555 x5_3 = Agent & (x5_2 = Box | x5_2 = BoxOnTarget) & (x5_1 = Free | x5_1 = Target) & move = Left: Free;
1556 x5_3 = Agent & (x4_3 = Box | x4_3 = BoxOnTarget) & (x3_3 = Free | x3_3 = Target) & move = Up: Free;
1557 x5_3 = Box & (x5_4 = Agent | x5_4 = AgentOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Left: Agent;
1558 x5_3 = Box & (x6_3 = Agent | x6_3 = AgentOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Up: Agent;
1559 x5_3 = Box & (x5_2 = Agent | x5_2 = AgentOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Right : Agent;
1560 x5_3 = Box & (x4_3 = Agent | x4_3 = AgentOnTarget) & (x6_3 = Free | x6_3 = Target) & move = Down : Agent;
1561 x5_3 = Target & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Left: AgentOnTarget;
1562 x5_3 = Target & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Up: AgentOnTarget;
1563 x5_3 = Target & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Right : AgentOnTarget;
1564 x5_3 = Target & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Down : AgentOnTarget;
1565 x5_3 = Target & (x5_4 = Box | x5_4 = BoxOnTarget) & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Left: BoxOnTarget;
1566 x5_3 = Target & (x6_3 = Box | x6_3 = BoxOnTarget) & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Up: BoxOnTarget;
1567 x5_3 = Target & (x5_2 = Box | x5_2 = BoxOnTarget) & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Right : BoxOnTarget;
1568 x5_3 = Target & (x4_3 = Box | x4_3 = BoxOnTarget) & (x3_3 = Agent | x3_3 = AgentOnTarget) & move = Down : BoxOnTarget;
1569 x5_3 = AgentOnTarget & (x5_4 = Free | x5_4 = Target) & move = Right: Target;
1570 x5_3 = AgentOnTarget & (x6_3 = Free | x6_3 = Target) & move = Down: Target;
1571 x5_3 = AgentOnTarget & (x5_2 = Free | x5_2 = Target) & move = Left : Target;
1572 x5_3 = AgentOnTarget & (x4_3 = Free | x4_3 = Target) & move = Up : Target;
1573 x5_3 = BoxOnTarget & (x5_4 = Agent | x5_4 = AgentOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Left: AgentOnTarget;
1574 x5_3 = BoxOnTarget & (x6_3 = Agent | x6_3 = AgentOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Up: AgentOnTarget;
1575 x5_3 = BoxOnTarget & (x5_2 = Agent | x5_2 = AgentOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Right : AgentOnTarget;
1576 x5_3 = BoxOnTarget & (x4_3 = Agent | x4_3 = AgentOnTarget) & (x6_3 = Free | x6_3 = Target) & move = Down : AgentOnTarget;
1577 TRUE : x5_3;
1578 esac;
1579 next(x5_4) := case
1580 x5_4 = Wall: Wall;
1581 x5_4 = Free & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Left: Agent;
1582 x5_4 = Free & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Up: Agent;
1583 x5_4 = Free & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Right : Agent;
1584 x5_4 = Free & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Down : Agent;
1585 x5_4 = Free & (x5_5 = Box | x5_5 = BoxOnTarget) & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Left: Box;
1586 x5_4 = Free & (x6_4 = Box | x6_4 = BoxOnTarget) & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Up: Box;
1587 x5_4 = Free & (x5_3 = Box | x5_3 = BoxOnTarget) & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Right : Box;
1588 x5_4 = Free & (x4_4 = Box | x4_4 = BoxOnTarget) & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Down : Box;
1589 x5_4 = Agent & (x5_5 = Free | x5_5 = Target) & move = Right: Free;
1590 x5_4 = Agent & (x6_4 = Free | x6_4 = Target) & move = Down: Free;
1591 x5_4 = Agent & (x5_3 = Free | x5_3 = Target) & move = Left : Free;
1592 x5_4 = Agent & (x4_4= Free | x4_4 = Target) & move = Up : Free;
1593 x5_4 = Agent & (x5_5 = Box | x5_5 = BoxOnTarget) & (x5_6 = Free | x5_6 = Target) & move = Right: Free;
1594 x5_4 = Agent & (x6_4 = Box | x6_4 = BoxOnTarget) & (x7_4 = Free | x7_4 = Target) & move = Down: Free;
1595 x5_4 = Agent & (x5_3 = Box | x5_3 = BoxOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Left: Free;
1596 x5_4 = Agent & (x4_4 = Box | x4_4 = BoxOnTarget) & (x3_4 = Free | x3_4 = Target) & move = Up: Free;
1597 x5_4 = Box & (x5_5 = Agent | x5_5 = AgentOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Left: Agent;
1598 x5_4 = Box & (x6_4 = Agent | x6_4 = AgentOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Up: Agent;
1599 x5_4 = Box & (x5_3 = Agent | x5_3 = AgentOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Right : Agent;
1600 x5_4 = Box & (x4_4 = Agent | x4_4 = AgentOnTarget) & (x6_4 = Free | x6_4 = Target) & move = Down : Agent;
1601 x5_4 = Target & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Left: AgentOnTarget;
1602 x5_4 = Target & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Up: AgentOnTarget;
1603 x5_4 = Target & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Right : AgentOnTarget;
1604 x5_4 = Target & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Down : AgentOnTarget;
1605 x5_4 = Target & (x5_5 = Box | x5_5 = BoxOnTarget) & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Left: BoxOnTarget;
1606 x5_4 = Target & (x6_4 = Box | x6_4 = BoxOnTarget) & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Up: BoxOnTarget;
1607 x5_4 = Target & (x5_3 = Box | x5_3 = BoxOnTarget) & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Right : BoxOnTarget;
1608 x5_4 = Target & (x4_4 = Box | x4_4 = BoxOnTarget) & (x3_4 = Agent | x3_4 = AgentOnTarget) & move = Down : BoxOnTarget;
1609 x5_4 = AgentOnTarget & (x5_5 = Free | x5_5 = Target) & move = Right: Target;
1610 x5_4 = AgentOnTarget & (x6_4 = Free | x6_4 = Target) & move = Down: Target;
1611 x5_4 = AgentOnTarget & (x5_3 = Free | x5_3 = Target) & move = Left : Target;
1612 x5_4 = AgentOnTarget & (x4_4 = Free | x4_4 = Target) & move = Up : Target;
1613 x5_4 = BoxOnTarget & (x5_5 = Agent | x5_5 = AgentOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Left: AgentOnTarget;
1614 x5_4 = BoxOnTarget & (x6_4 = Agent | x6_4 = AgentOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Up: AgentOnTarget;
1615 x5_4 = BoxOnTarget & (x5_3 = Agent | x5_3 = AgentOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Right : AgentOnTarget;
1616 x5_4 = BoxOnTarget & (x4_4 = Agent | x4_4 = AgentOnTarget) & (x6_4 = Free | x6_4 = Target) & move = Down : AgentOnTarget;
1617 TRUE : x5_4;
1618 esac;
1619 next(x5_5) := case
1620 x5_5 = Wall: Wall;
1621 x5_5 = Free & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Left: Agent;
1622 x5_5 = Free & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Up: Agent;
1623 x5_5 = Free & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Right : Agent;
1624 x5_5 = Free & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Down : Agent;
1625 x5_5 = Free & (x5_6 = Box | x5_6 = BoxOnTarget) & (x5_7 = Agent | x5_7 = AgentOnTarget) & move = Left: Box;
1626 x5_5 = Free & (x6_5 = Box | x6_5 = BoxOnTarget) & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Up: Box;
1627 x5_5 = Free & (x5_4 = Box | x5_4 = BoxOnTarget) & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Right : Box;
1628 x5_5 = Free & (x4_5 = Box | x4_5 = BoxOnTarget) & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Down : Box;
1629 x5_5 = Agent & (x5_6 = Free | x5_6 = Target) & move = Right: Free;
1630 x5_5 = Agent & (x6_5 = Free | x6_5 = Target) & move = Down: Free;
1631 x5_5 = Agent & (x5_4 = Free | x5_4 = Target) & move = Left : Free;
1632 x5_5 = Agent & (x4_5= Free | x4_5 = Target) & move = Up : Free;
1633 x5_5 = Agent & (x5_6 = Box | x5_6 = BoxOnTarget) & (x5_7 = Free | x5_7 = Target) & move = Right: Free;
1634 x5_5 = Agent & (x6_5 = Box | x6_5 = BoxOnTarget) & (x7_5 = Free | x7_5 = Target) & move = Down: Free;
1635 x5_5 = Agent & (x5_4 = Box | x5_4 = BoxOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Left: Free;
1636 x5_5 = Agent & (x4_5 = Box | x4_5 = BoxOnTarget) & (x3_5 = Free | x3_5 = Target) & move = Up: Free;
1637 x5_5 = Box & (x5_6 = Agent | x5_6 = AgentOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Left: Agent;
1638 x5_5 = Box & (x6_5 = Agent | x6_5 = AgentOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Up: Agent;
1639 x5_5 = Box & (x5_4 = Agent | x5_4 = AgentOnTarget) & (x5_6 = Free | x5_6 = Target) & move = Right : Agent;
1640 x5_5 = Box & (x4_5 = Agent | x4_5 = AgentOnTarget) & (x6_5 = Free | x6_5 = Target) & move = Down : Agent;
1641 x5_5 = Target & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Left: AgentOnTarget;
1642 x5_5 = Target & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Up: AgentOnTarget;
1643 x5_5 = Target & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Right : AgentOnTarget;
1644 x5_5 = Target & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Down : AgentOnTarget;
1645 x5_5 = Target & (x5_6 = Box | x5_6 = BoxOnTarget) & (x5_7 = Agent | x5_7 = AgentOnTarget) & move = Left: BoxOnTarget;
1646 x5_5 = Target & (x6_5 = Box | x6_5 = BoxOnTarget) & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Up: BoxOnTarget;
1647 x5_5 = Target & (x5_4 = Box | x5_4 = BoxOnTarget) & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Right : BoxOnTarget;
1648 x5_5 = Target & (x4_5 = Box | x4_5 = BoxOnTarget) & (x3_5 = Agent | x3_5 = AgentOnTarget) & move = Down : BoxOnTarget;
1649 x5_5 = AgentOnTarget & (x5_6 = Free | x5_6 = Target) & move = Right: Target;
1650 x5_5 = AgentOnTarget & (x6_5 = Free | x6_5 = Target) & move = Down: Target;
1651 x5_5 = AgentOnTarget & (x5_4 = Free | x5_4 = Target) & move = Left : Target;
1652 x5_5 = AgentOnTarget & (x4_5 = Free | x4_5 = Target) & move = Up : Target;
1653 x5_5 = BoxOnTarget & (x5_6 = Agent | x5_6 = AgentOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Left: AgentOnTarget;
1654 x5_5 = BoxOnTarget & (x6_5 = Agent | x6_5 = AgentOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Up: AgentOnTarget;
1655 x5_5 = BoxOnTarget & (x5_4 = Agent | x5_4 = AgentOnTarget) & (x5_6 = Free | x5_6 = Target) & move = Right : AgentOnTarget;
1656 x5_5 = BoxOnTarget & (x4_5 = Agent | x4_5 = AgentOnTarget) & (x6_5 = Free | x6_5 = Target) & move = Down : AgentOnTarget;
1657 TRUE : x5_5;
1658 esac;
1659 next(x5_6) := case
1660 x5_6 = Wall: Wall;
1661 x5_6 = Free & (x5_7 = Agent | x5_7 = AgentOnTarget) & move = Left: Agent;
1662 x5_6 = Free & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Up: Agent;
1663 x5_6 = Free & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Right : Agent;
1664 x5_6 = Free & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Down : Agent;
1665 x5_6 = Free & (x6_6 = Box | x6_6 = BoxOnTarget) & (x7_6 = Agent | x7_6 = AgentOnTarget) & move = Up: Box;
1666 x5_6 = Free & (x5_5 = Box | x5_5 = BoxOnTarget) & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Right : Box;
1667 x5_6 = Free & (x4_6 = Box | x4_6 = BoxOnTarget) & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Down : Box;
1668 x5_6 = Agent & (x5_7 = Free | x5_7 = Target) & move = Right: Free;
1669 x5_6 = Agent & (x6_6 = Free | x6_6 = Target) & move = Down: Free;
1670 x5_6 = Agent & (x5_5 = Free | x5_5 = Target) & move = Left : Free;
1671 x5_6 = Agent & (x4_6= Free | x4_6 = Target) & move = Up : Free;
1672 x5_6 = Agent & (x6_6 = Box | x6_6 = BoxOnTarget) & (x7_6 = Free | x7_6 = Target) & move = Down: Free;
1673 x5_6 = Agent & (x5_5 = Box | x5_5 = BoxOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Left: Free;
1674 x5_6 = Agent & (x4_6 = Box | x4_6 = BoxOnTarget) & (x3_6 = Free | x3_6 = Target) & move = Up: Free;
1675 x5_6 = Box & (x5_7 = Agent | x5_7 = AgentOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Left: Agent;
1676 x5_6 = Box & (x6_6 = Agent | x6_6 = AgentOnTarget) & (x4_6 = Free | x4_6 = Target) & move = Up: Agent;
1677 x5_6 = Box & (x5_5 = Agent | x5_5 = AgentOnTarget) & (x5_7 = Free | x5_7 = Target) & move = Right : Agent;
1678 x5_6 = Box & (x4_6 = Agent | x4_6 = AgentOnTarget) & (x6_6 = Free | x6_6 = Target) & move = Down : Agent;
1679 x5_6 = Target & (x5_7 = Agent | x5_7 = AgentOnTarget) & move = Left: AgentOnTarget;
1680 x5_6 = Target & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Up: AgentOnTarget;
1681 x5_6 = Target & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Right : AgentOnTarget;
1682 x5_6 = Target & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Down : AgentOnTarget;
1683 x5_6 = Target & (x6_6 = Box | x6_6 = BoxOnTarget) & (x7_6 = Agent | x7_6 = AgentOnTarget) & move = Up: BoxOnTarget;
1684 x5_6 = Target & (x5_5 = Box | x5_5 = BoxOnTarget) & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Right : BoxOnTarget;
1685 x5_6 = Target & (x4_6 = Box | x4_6 = BoxOnTarget) & (x3_6 = Agent | x3_6 = AgentOnTarget) & move = Down : BoxOnTarget;
1686 x5_6 = AgentOnTarget & (x5_7 = Free | x5_7 = Target) & move = Right: Target;
1687 x5_6 = AgentOnTarget & (x6_6 = Free | x6_6 = Target) & move = Down: Target;
1688 x5_6 = AgentOnTarget & (x5_5 = Free | x5_5 = Target) & move = Left : Target;
1689 x5_6 = AgentOnTarget & (x4_6 = Free | x4_6 = Target) & move = Up : Target;
1690 x5_6 = BoxOnTarget & (x5_7 = Agent | x5_7 = AgentOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Left: AgentOnTarget;
1691 x5_6 = BoxOnTarget & (x6_6 = Agent | x6_6 = AgentOnTarget) & (x4_6 = Free | x4_6 = Target) & move = Up: AgentOnTarget;
1692 x5_6 = BoxOnTarget & (x5_5 = Agent | x5_5 = AgentOnTarget) & (x5_7 = Free | x5_7 = Target) & move = Right : AgentOnTarget;
1693 x5_6 = BoxOnTarget & (x4_6 = Agent | x4_6 = AgentOnTarget) & (x6_6 = Free | x6_6 = Target) & move = Down : AgentOnTarget;
1694 TRUE : x5_6;
1695 esac;
1696 next(x5_7) := case
1697 x5_7 = Wall: Wall;
1698 x5_7 = Free & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Right : Agent;
1699 x5_7 = Free & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Down : Agent;
1700 x5_7 = Free & (x5_6 = Box | x5_6 = BoxOnTarget) & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Right : Box;
1701 x5_7 = Free & (x4_7 = Box | x4_7 = BoxOnTarget) & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Down : Box;
1702 x5_7 = Agent & (x5_6 = Free | x5_6 = Target) & move = Left : Free;
1703 x5_7 = Agent & (x4_7= Free | x4_7 = Target) & move = Up : Free;
1704 x5_7 = Agent & (x5_6 = Box | x5_6 = BoxOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Left: Free;
1705 x5_7 = Agent & (x4_7 = Box | x4_7 = BoxOnTarget) & (x3_7 = Free | x3_7 = Target) & move = Up: Free;
1706 x5_7 = Target & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Right : AgentOnTarget;
1707 x5_7 = Target & (x4_7 = Agent | x4_7 = AgentOnTarget) & move = Down : AgentOnTarget;
1708 x5_7 = Target & (x5_6 = Box | x5_6 = BoxOnTarget) & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Right : BoxOnTarget;
1709 x5_7 = Target & (x4_7 = Box | x4_7 = BoxOnTarget) & (x3_7 = Agent | x3_7 = AgentOnTarget) & move = Down : BoxOnTarget;
1710 x5_7 = AgentOnTarget & (x5_6 = Free | x5_6 = Target) & move = Left : Target;
1711 x5_7 = AgentOnTarget & (x4_7 = Free | x4_7 = Target) & move = Up : Target;
1712 TRUE : x5_7;
1713 esac;
1714 next(x6_0) := case
1715 x6_0 = Wall: Wall;
1716 x6_0 = Free & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Left: Agent;
1717 x6_0 = Free & (x7_0 = Agent | x7_0 = AgentOnTarget) & move = Up: Agent;
1718 x6_0 = Free & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Down : Agent;
1719 x6_0 = Free & (x6_1 = Box | x6_1 = BoxOnTarget) & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Left: Box;
1720 x6_0 = Free & (x5_0 = Box | x5_0 = BoxOnTarget) & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Down : Box;
1721 x6_0 = Agent & (x6_1 = Free | x6_1 = Target) & move = Right: Free;
1722 x6_0 = Agent & (x7_0 = Free | x7_0 = Target) & move = Down: Free;
1723 x6_0 = Agent & (x5_0= Free | x5_0 = Target) & move = Up : Free;
1724 x6_0 = Agent & (x6_1 = Box | x6_1 = BoxOnTarget) & (x6_2 = Free | x6_2 = Target) & move = Right: Free;
1725 x6_0 = Agent & (x5_0 = Box | x5_0 = BoxOnTarget) & (x4_0 = Free | x4_0 = Target) & move = Up: Free;
1726 x6_0 = Box & (x7_0 = Agent | x7_0 = AgentOnTarget) & (x5_0 = Free | x5_0 = Target) & move = Up: Agent;
1727 x6_0 = Box & (x5_0 = Agent | x5_0 = AgentOnTarget) & (x7_0 = Free | x7_0 = Target) & move = Down : Agent;
1728 x6_0 = Target & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Left: AgentOnTarget;
1729 x6_0 = Target & (x7_0 = Agent | x7_0 = AgentOnTarget) & move = Up: AgentOnTarget;
1730 x6_0 = Target & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Down : AgentOnTarget;
1731 x6_0 = Target & (x6_1 = Box | x6_1 = BoxOnTarget) & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Left: BoxOnTarget;
1732 x6_0 = Target & (x5_0 = Box | x5_0 = BoxOnTarget) & (x4_0 = Agent | x4_0 = AgentOnTarget) & move = Down : BoxOnTarget;
1733 x6_0 = AgentOnTarget & (x6_1 = Free | x6_1 = Target) & move = Right: Target;
1734 x6_0 = AgentOnTarget & (x7_0 = Free | x7_0 = Target) & move = Down: Target;
1735 x6_0 = AgentOnTarget & (x5_0 = Free | x5_0 = Target) & move = Up : Target;
1736 x6_0 = BoxOnTarget & (x7_0 = Agent | x7_0 = AgentOnTarget) & (x5_0 = Free | x5_0 = Target) & move = Up: AgentOnTarget;
1737 x6_0 = BoxOnTarget & (x5_0 = Agent | x5_0 = AgentOnTarget) & (x7_0 = Free | x7_0 = Target) & move = Down : AgentOnTarget;
1738 TRUE : x6_0;
1739 esac;
1740 next(x6_1) := case
1741 x6_1 = Wall: Wall;
1742 x6_1 = Free & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Left: Agent;
1743 x6_1 = Free & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Up: Agent;
1744 x6_1 = Free & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Right : Agent;
1745 x6_1 = Free & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Down : Agent;
1746 x6_1 = Free & (x6_2 = Box | x6_2 = BoxOnTarget) & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Left: Box;
1747 x6_1 = Free & (x5_1 = Box | x5_1 = BoxOnTarget) & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Down : Box;
1748 x6_1 = Agent & (x6_2 = Free | x6_2 = Target) & move = Right: Free;
1749 x6_1 = Agent & (x7_1 = Free | x7_1 = Target) & move = Down: Free;
1750 x6_1 = Agent & (x6_0 = Free | x6_0 = Target) & move = Left : Free;
1751 x6_1 = Agent & (x5_1= Free | x5_1 = Target) & move = Up : Free;
1752 x6_1 = Agent & (x6_2 = Box | x6_2 = BoxOnTarget) & (x6_3 = Free | x6_3 = Target) & move = Right: Free;
1753 x6_1 = Agent & (x5_1 = Box | x5_1 = BoxOnTarget) & (x4_1 = Free | x4_1 = Target) & move = Up: Free;
1754 x6_1 = Box & (x6_2 = Agent | x6_2 = AgentOnTarget) & (x6_0 = Free | x6_0 = Target) & move = Left: Agent;
1755 x6_1 = Box & (x7_1 = Agent | x7_1 = AgentOnTarget) & (x5_1 = Free | x5_1 = Target) & move = Up: Agent;
1756 x6_1 = Box & (x6_0 = Agent | x6_0 = AgentOnTarget) & (x6_2 = Free | x6_2 = Target) & move = Right : Agent;
1757 x6_1 = Box & (x5_1 = Agent | x5_1 = AgentOnTarget) & (x7_1 = Free | x7_1 = Target) & move = Down : Agent;
1758 x6_1 = Target & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Left: AgentOnTarget;
1759 x6_1 = Target & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Up: AgentOnTarget;
1760 x6_1 = Target & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Right : AgentOnTarget;
1761 x6_1 = Target & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Down : AgentOnTarget;
1762 x6_1 = Target & (x6_2 = Box | x6_2 = BoxOnTarget) & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Left: BoxOnTarget;
1763 x6_1 = Target & (x5_1 = Box | x5_1 = BoxOnTarget) & (x4_1 = Agent | x4_1 = AgentOnTarget) & move = Down : BoxOnTarget;
1764 x6_1 = AgentOnTarget & (x6_2 = Free | x6_2 = Target) & move = Right: Target;
1765 x6_1 = AgentOnTarget & (x7_1 = Free | x7_1 = Target) & move = Down: Target;
1766 x6_1 = AgentOnTarget & (x6_0 = Free | x6_0 = Target) & move = Left : Target;
1767 x6_1 = AgentOnTarget & (x5_1 = Free | x5_1 = Target) & move = Up : Target;
1768 x6_1 = BoxOnTarget & (x6_2 = Agent | x6_2 = AgentOnTarget) & (x6_0 = Free | x6_0 = Target) & move = Left: AgentOnTarget;
1769 x6_1 = BoxOnTarget & (x7_1 = Agent | x7_1 = AgentOnTarget) & (x5_1 = Free | x5_1 = Target) & move = Up: AgentOnTarget;
1770 x6_1 = BoxOnTarget & (x6_0 = Agent | x6_0 = AgentOnTarget) & (x6_2 = Free | x6_2 = Target) & move = Right : AgentOnTarget;
1771 x6_1 = BoxOnTarget & (x5_1 = Agent | x5_1 = AgentOnTarget) & (x7_1 = Free | x7_1 = Target) & move = Down : AgentOnTarget;
1772 TRUE : x6_1;
1773 esac;
1774 next(x6_2) := case
1775 x6_2 = Wall: Wall;
1776 x6_2 = Free & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Left: Agent;
1777 x6_2 = Free & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Up: Agent;
1778 x6_2 = Free & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Right : Agent;
1779 x6_2 = Free & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Down : Agent;
1780 x6_2 = Free & (x6_3 = Box | x6_3 = BoxOnTarget) & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Left: Box;
1781 x6_2 = Free & (x6_1 = Box | x6_1 = BoxOnTarget) & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Right : Box;
1782 x6_2 = Free & (x5_2 = Box | x5_2 = BoxOnTarget) & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Down : Box;
1783 x6_2 = Agent & (x6_3 = Free | x6_3 = Target) & move = Right: Free;
1784 x6_2 = Agent & (x7_2 = Free | x7_2 = Target) & move = Down: Free;
1785 x6_2 = Agent & (x6_1 = Free | x6_1 = Target) & move = Left : Free;
1786 x6_2 = Agent & (x5_2= Free | x5_2 = Target) & move = Up : Free;
1787 x6_2 = Agent & (x6_3 = Box | x6_3 = BoxOnTarget) & (x6_4 = Free | x6_4 = Target) & move = Right: Free;
1788 x6_2 = Agent & (x6_1 = Box | x6_1 = BoxOnTarget) & (x6_0 = Free | x6_0 = Target) & move = Left: Free;
1789 x6_2 = Agent & (x5_2 = Box | x5_2 = BoxOnTarget) & (x4_2 = Free | x4_2 = Target) & move = Up: Free;
1790 x6_2 = Box & (x6_3 = Agent | x6_3 = AgentOnTarget) & (x6_1 = Free | x6_1 = Target) & move = Left: Agent;
1791 x6_2 = Box & (x7_2 = Agent | x7_2 = AgentOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Up: Agent;
1792 x6_2 = Box & (x6_1 = Agent | x6_1 = AgentOnTarget) & (x6_3 = Free | x6_3 = Target) & move = Right : Agent;
1793 x6_2 = Box & (x5_2 = Agent | x5_2 = AgentOnTarget) & (x7_2 = Free | x7_2 = Target) & move = Down : Agent;
1794 x6_2 = Target & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Left: AgentOnTarget;
1795 x6_2 = Target & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Up: AgentOnTarget;
1796 x6_2 = Target & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Right : AgentOnTarget;
1797 x6_2 = Target & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Down : AgentOnTarget;
1798 x6_2 = Target & (x6_3 = Box | x6_3 = BoxOnTarget) & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Left: BoxOnTarget;
1799 x6_2 = Target & (x6_1 = Box | x6_1 = BoxOnTarget) & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Right : BoxOnTarget;
1800 x6_2 = Target & (x5_2 = Box | x5_2 = BoxOnTarget) & (x4_2 = Agent | x4_2 = AgentOnTarget) & move = Down : BoxOnTarget;
1801 x6_2 = AgentOnTarget & (x6_3 = Free | x6_3 = Target) & move = Right: Target;
1802 x6_2 = AgentOnTarget & (x7_2 = Free | x7_2 = Target) & move = Down: Target;
1803 x6_2 = AgentOnTarget & (x6_1 = Free | x6_1 = Target) & move = Left : Target;
1804 x6_2 = AgentOnTarget & (x5_2 = Free | x5_2 = Target) & move = Up : Target;
1805 x6_2 = BoxOnTarget & (x6_3 = Agent | x6_3 = AgentOnTarget) & (x6_1 = Free | x6_1 = Target) & move = Left: AgentOnTarget;
1806 x6_2 = BoxOnTarget & (x7_2 = Agent | x7_2 = AgentOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Up: AgentOnTarget;
1807 x6_2 = BoxOnTarget & (x6_1 = Agent | x6_1 = AgentOnTarget) & (x6_3 = Free | x6_3 = Target) & move = Right : AgentOnTarget;
1808 x6_2 = BoxOnTarget & (x5_2 = Agent | x5_2 = AgentOnTarget) & (x7_2 = Free | x7_2 = Target) & move = Down : AgentOnTarget;
1809 TRUE : x6_2;
1810 esac;
1811 next(x6_3) := case
1812 x6_3 = Wall: Wall;
1813 x6_3 = Free & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Left: Agent;
1814 x6_3 = Free & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Up: Agent;
1815 x6_3 = Free & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Right : Agent;
1816 x6_3 = Free & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Down : Agent;
1817 x6_3 = Free & (x6_4 = Box | x6_4 = BoxOnTarget) & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Left: Box;
1818 x6_3 = Free & (x6_2 = Box | x6_2 = BoxOnTarget) & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Right : Box;
1819 x6_3 = Free & (x5_3 = Box | x5_3 = BoxOnTarget) & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Down : Box;
1820 x6_3 = Agent & (x6_4 = Free | x6_4 = Target) & move = Right: Free;
1821 x6_3 = Agent & (x7_3 = Free | x7_3 = Target) & move = Down: Free;
1822 x6_3 = Agent & (x6_2 = Free | x6_2 = Target) & move = Left : Free;
1823 x6_3 = Agent & (x5_3= Free | x5_3 = Target) & move = Up : Free;
1824 x6_3 = Agent & (x6_4 = Box | x6_4 = BoxOnTarget) & (x6_5 = Free | x6_5 = Target) & move = Right: Free;
1825 x6_3 = Agent & (x6_2 = Box | x6_2 = BoxOnTarget) & (x6_1 = Free | x6_1 = Target) & move = Left: Free;
1826 x6_3 = Agent & (x5_3 = Box | x5_3 = BoxOnTarget) & (x4_3 = Free | x4_3 = Target) & move = Up: Free;
1827 x6_3 = Box & (x6_4 = Agent | x6_4 = AgentOnTarget) & (x6_2 = Free | x6_2 = Target) & move = Left: Agent;
1828 x6_3 = Box & (x7_3 = Agent | x7_3 = AgentOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Up: Agent;
1829 x6_3 = Box & (x6_2 = Agent | x6_2 = AgentOnTarget) & (x6_4 = Free | x6_4 = Target) & move = Right : Agent;
1830 x6_3 = Box & (x5_3 = Agent | x5_3 = AgentOnTarget) & (x7_3 = Free | x7_3 = Target) & move = Down : Agent;
1831 x6_3 = Target & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Left: AgentOnTarget;
1832 x6_3 = Target & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Up: AgentOnTarget;
1833 x6_3 = Target & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Right : AgentOnTarget;
1834 x6_3 = Target & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Down : AgentOnTarget;
1835 x6_3 = Target & (x6_4 = Box | x6_4 = BoxOnTarget) & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Left: BoxOnTarget;
1836 x6_3 = Target & (x6_2 = Box | x6_2 = BoxOnTarget) & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Right : BoxOnTarget;
1837 x6_3 = Target & (x5_3 = Box | x5_3 = BoxOnTarget) & (x4_3 = Agent | x4_3 = AgentOnTarget) & move = Down : BoxOnTarget;
1838 x6_3 = AgentOnTarget & (x6_4 = Free | x6_4 = Target) & move = Right: Target;
1839 x6_3 = AgentOnTarget & (x7_3 = Free | x7_3 = Target) & move = Down: Target;
1840 x6_3 = AgentOnTarget & (x6_2 = Free | x6_2 = Target) & move = Left : Target;
1841 x6_3 = AgentOnTarget & (x5_3 = Free | x5_3 = Target) & move = Up : Target;
1842 x6_3 = BoxOnTarget & (x6_4 = Agent | x6_4 = AgentOnTarget) & (x6_2 = Free | x6_2 = Target) & move = Left: AgentOnTarget;
1843 x6_3 = BoxOnTarget & (x7_3 = Agent | x7_3 = AgentOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Up: AgentOnTarget;
1844 x6_3 = BoxOnTarget & (x6_2 = Agent | x6_2 = AgentOnTarget) & (x6_4 = Free | x6_4 = Target) & move = Right : AgentOnTarget;
1845 x6_3 = BoxOnTarget & (x5_3 = Agent | x5_3 = AgentOnTarget) & (x7_3 = Free | x7_3 = Target) & move = Down : AgentOnTarget;
1846 TRUE : x6_3;
1847 esac;
1848 next(x6_4) := case
1849 x6_4 = Wall: Wall;
1850 x6_4 = Free & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Left: Agent;
1851 x6_4 = Free & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Up: Agent;
1852 x6_4 = Free & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Right : Agent;
1853 x6_4 = Free & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Down : Agent;
1854 x6_4 = Free & (x6_5 = Box | x6_5 = BoxOnTarget) & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Left: Box;
1855 x6_4 = Free & (x6_3 = Box | x6_3 = BoxOnTarget) & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Right : Box;
1856 x6_4 = Free & (x5_4 = Box | x5_4 = BoxOnTarget) & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Down : Box;
1857 x6_4 = Agent & (x6_5 = Free | x6_5 = Target) & move = Right: Free;
1858 x6_4 = Agent & (x7_4 = Free | x7_4 = Target) & move = Down: Free;
1859 x6_4 = Agent & (x6_3 = Free | x6_3 = Target) & move = Left : Free;
1860 x6_4 = Agent & (x5_4= Free | x5_4 = Target) & move = Up : Free;
1861 x6_4 = Agent & (x6_5 = Box | x6_5 = BoxOnTarget) & (x6_6 = Free | x6_6 = Target) & move = Right: Free;
1862 x6_4 = Agent & (x6_3 = Box | x6_3 = BoxOnTarget) & (x6_2 = Free | x6_2 = Target) & move = Left: Free;
1863 x6_4 = Agent & (x5_4 = Box | x5_4 = BoxOnTarget) & (x4_4 = Free | x4_4 = Target) & move = Up: Free;
1864 x6_4 = Box & (x6_5 = Agent | x6_5 = AgentOnTarget) & (x6_3 = Free | x6_3 = Target) & move = Left: Agent;
1865 x6_4 = Box & (x7_4 = Agent | x7_4 = AgentOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Up: Agent;
1866 x6_4 = Box & (x6_3 = Agent | x6_3 = AgentOnTarget) & (x6_5 = Free | x6_5 = Target) & move = Right : Agent;
1867 x6_4 = Box & (x5_4 = Agent | x5_4 = AgentOnTarget) & (x7_4 = Free | x7_4 = Target) & move = Down : Agent;
1868 x6_4 = Target & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Left: AgentOnTarget;
1869 x6_4 = Target & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Up: AgentOnTarget;
1870 x6_4 = Target & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Right : AgentOnTarget;
1871 x6_4 = Target & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Down : AgentOnTarget;
1872 x6_4 = Target & (x6_5 = Box | x6_5 = BoxOnTarget) & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Left: BoxOnTarget;
1873 x6_4 = Target & (x6_3 = Box | x6_3 = BoxOnTarget) & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Right : BoxOnTarget;
1874 x6_4 = Target & (x5_4 = Box | x5_4 = BoxOnTarget) & (x4_4 = Agent | x4_4 = AgentOnTarget) & move = Down : BoxOnTarget;
1875 x6_4 = AgentOnTarget & (x6_5 = Free | x6_5 = Target) & move = Right: Target;
1876 x6_4 = AgentOnTarget & (x7_4 = Free | x7_4 = Target) & move = Down: Target;
1877 x6_4 = AgentOnTarget & (x6_3 = Free | x6_3 = Target) & move = Left : Target;
1878 x6_4 = AgentOnTarget & (x5_4 = Free | x5_4 = Target) & move = Up : Target;
1879 x6_4 = BoxOnTarget & (x6_5 = Agent | x6_5 = AgentOnTarget) & (x6_3 = Free | x6_3 = Target) & move = Left: AgentOnTarget;
1880 x6_4 = BoxOnTarget & (x7_4 = Agent | x7_4 = AgentOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Up: AgentOnTarget;
1881 x6_4 = BoxOnTarget & (x6_3 = Agent | x6_3 = AgentOnTarget) & (x6_5 = Free | x6_5 = Target) & move = Right : AgentOnTarget;
1882 x6_4 = BoxOnTarget & (x5_4 = Agent | x5_4 = AgentOnTarget) & (x7_4 = Free | x7_4 = Target) & move = Down : AgentOnTarget;
1883 TRUE : x6_4;
1884 esac;
1885 next(x6_5) := case
1886 x6_5 = Wall: Wall;
1887 x6_5 = Free & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Left: Agent;
1888 x6_5 = Free & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Up: Agent;
1889 x6_5 = Free & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Right : Agent;
1890 x6_5 = Free & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Down : Agent;
1891 x6_5 = Free & (x6_4 = Box | x6_4 = BoxOnTarget) & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Right : Box;
1892 x6_5 = Free & (x5_5 = Box | x5_5 = BoxOnTarget) & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Down : Box;
1893 x6_5 = Agent & (x6_6 = Free | x6_6 = Target) & move = Right: Free;
1894 x6_5 = Agent & (x7_5 = Free | x7_5 = Target) & move = Down: Free;
1895 x6_5 = Agent & (x6_4 = Free | x6_4 = Target) & move = Left : Free;
1896 x6_5 = Agent & (x5_5= Free | x5_5 = Target) & move = Up : Free;
1897 x6_5 = Agent & (x6_4 = Box | x6_4 = BoxOnTarget) & (x6_3 = Free | x6_3 = Target) & move = Left: Free;
1898 x6_5 = Agent & (x5_5 = Box | x5_5 = BoxOnTarget) & (x4_5 = Free | x4_5 = Target) & move = Up: Free;
1899 x6_5 = Box & (x6_6 = Agent | x6_6 = AgentOnTarget) & (x6_4 = Free | x6_4 = Target) & move = Left: Agent;
1900 x6_5 = Box & (x7_5 = Agent | x7_5 = AgentOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Up: Agent;
1901 x6_5 = Box & (x6_4 = Agent | x6_4 = AgentOnTarget) & (x6_6 = Free | x6_6 = Target) & move = Right : Agent;
1902 x6_5 = Box & (x5_5 = Agent | x5_5 = AgentOnTarget) & (x7_5 = Free | x7_5 = Target) & move = Down : Agent;
1903 x6_5 = Target & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Left: AgentOnTarget;
1904 x6_5 = Target & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Up: AgentOnTarget;
1905 x6_5 = Target & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Right : AgentOnTarget;
1906 x6_5 = Target & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Down : AgentOnTarget;
1907 x6_5 = Target & (x6_4 = Box | x6_4 = BoxOnTarget) & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Right : BoxOnTarget;
1908 x6_5 = Target & (x5_5 = Box | x5_5 = BoxOnTarget) & (x4_5 = Agent | x4_5 = AgentOnTarget) & move = Down : BoxOnTarget;
1909 x6_5 = AgentOnTarget & (x6_6 = Free | x6_6 = Target) & move = Right: Target;
1910 x6_5 = AgentOnTarget & (x7_5 = Free | x7_5 = Target) & move = Down: Target;
1911 x6_5 = AgentOnTarget & (x6_4 = Free | x6_4 = Target) & move = Left : Target;
1912 x6_5 = AgentOnTarget & (x5_5 = Free | x5_5 = Target) & move = Up : Target;
1913 x6_5 = BoxOnTarget & (x6_6 = Agent | x6_6 = AgentOnTarget) & (x6_4 = Free | x6_4 = Target) & move = Left: AgentOnTarget;
1914 x6_5 = BoxOnTarget & (x7_5 = Agent | x7_5 = AgentOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Up: AgentOnTarget;
1915 x6_5 = BoxOnTarget & (x6_4 = Agent | x6_4 = AgentOnTarget) & (x6_6 = Free | x6_6 = Target) & move = Right : AgentOnTarget;
1916 x6_5 = BoxOnTarget & (x5_5 = Agent | x5_5 = AgentOnTarget) & (x7_5 = Free | x7_5 = Target) & move = Down : AgentOnTarget;
1917 TRUE : x6_5;
1918 esac;
1919 next(x6_6) := case
1920 x6_6 = Wall: Wall;
1921 x6_6 = Free & (x7_6 = Agent | x7_6 = AgentOnTarget) & move = Up: Agent;
1922 x6_6 = Free & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Right : Agent;
1923 x6_6 = Free & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Down : Agent;
1924 x6_6 = Free & (x6_5 = Box | x6_5 = BoxOnTarget) & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Right : Box;
1925 x6_6 = Free & (x5_6 = Box | x5_6 = BoxOnTarget) & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Down : Box;
1926 x6_6 = Agent & (x7_6 = Free | x7_6 = Target) & move = Down: Free;
1927 x6_6 = Agent & (x6_5 = Free | x6_5 = Target) & move = Left : Free;
1928 x6_6 = Agent & (x5_6= Free | x5_6 = Target) & move = Up : Free;
1929 x6_6 = Agent & (x6_5 = Box | x6_5 = BoxOnTarget) & (x6_4 = Free | x6_4 = Target) & move = Left: Free;
1930 x6_6 = Agent & (x5_6 = Box | x5_6 = BoxOnTarget) & (x4_6 = Free | x4_6 = Target) & move = Up: Free;
1931 x6_6 = Box & (x7_6 = Agent | x7_6 = AgentOnTarget) & (x5_6 = Free | x5_6 = Target) & move = Up: Agent;
1932 x6_6 = Box & (x5_6 = Agent | x5_6 = AgentOnTarget) & (x7_6 = Free | x7_6 = Target) & move = Down : Agent;
1933 x6_6 = Target & (x7_6 = Agent | x7_6 = AgentOnTarget) & move = Up: AgentOnTarget;
1934 x6_6 = Target & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Right : AgentOnTarget;
1935 x6_6 = Target & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Down : AgentOnTarget;
1936 x6_6 = Target & (x6_5 = Box | x6_5 = BoxOnTarget) & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Right : BoxOnTarget;
1937 x6_6 = Target & (x5_6 = Box | x5_6 = BoxOnTarget) & (x4_6 = Agent | x4_6 = AgentOnTarget) & move = Down : BoxOnTarget;
1938 x6_6 = AgentOnTarget & (x7_6 = Free | x7_6 = Target) & move = Down: Target;
1939 x6_6 = AgentOnTarget & (x6_5 = Free | x6_5 = Target) & move = Left : Target;
1940 x6_6 = AgentOnTarget & (x5_6 = Free | x5_6 = Target) & move = Up : Target;
1941 x6_6 = BoxOnTarget & (x7_6 = Agent | x7_6 = AgentOnTarget) & (x5_6 = Free | x5_6 = Target) & move = Up: AgentOnTarget;
1942 x6_6 = BoxOnTarget & (x5_6 = Agent | x5_6 = AgentOnTarget) & (x7_6 = Free | x7_6 = Target) & move = Down : AgentOnTarget;
1943 TRUE : x6_6;
1944 esac;
1945 next(x7_0) := case
1946 x7_0 = Wall: Wall;
1947 x7_0 = Free & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Left: Agent;
1948 x7_0 = Free & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Down : Agent;
1949 x7_0 = Free & (x7_1 = Box | x7_1 = BoxOnTarget) & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Left: Box;
1950 x7_0 = Free & (x6_0 = Box | x6_0 = BoxOnTarget) & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Down : Box;
1951 x7_0 = Agent & (x7_1 = Free | x7_1 = Target) & move = Right: Free;
1952 x7_0 = Agent & (x6_0= Free | x6_0 = Target) & move = Up : Free;
1953 x7_0 = Agent & (x7_1 = Box | x7_1 = BoxOnTarget) & (x7_2 = Free | x7_2 = Target) & move = Right: Free;
1954 x7_0 = Agent & (x6_0 = Box | x6_0 = BoxOnTarget) & (x5_0 = Free | x5_0 = Target) & move = Up: Free;
1955 x7_0 = Target & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Left: AgentOnTarget;
1956 x7_0 = Target & (x6_0 = Agent | x6_0 = AgentOnTarget) & move = Down : AgentOnTarget;
1957 x7_0 = Target & (x7_1 = Box | x7_1 = BoxOnTarget) & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Left: BoxOnTarget;
1958 x7_0 = Target & (x6_0 = Box | x6_0 = BoxOnTarget) & (x5_0 = Agent | x5_0 = AgentOnTarget) & move = Down : BoxOnTarget;
1959 x7_0 = AgentOnTarget & (x7_1 = Free | x7_1 = Target) & move = Right: Target;
1960 x7_0 = AgentOnTarget & (x6_0 = Free | x6_0 = Target) & move = Up : Target;
1961 TRUE : x7_0;
1962 esac;
1963 next(x7_1) := case
1964 x7_1 = Wall: Wall;
1965 x7_1 = Free & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Left: Agent;
1966 x7_1 = Free & (x7_0 = Agent | x7_0 = AgentOnTarget) & move = Right : Agent;
1967 x7_1 = Free & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Down : Agent;
1968 x7_1 = Free & (x7_2 = Box | x7_2 = BoxOnTarget) & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Left: Box;
1969 x7_1 = Free & (x6_1 = Box | x6_1 = BoxOnTarget) & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Down : Box;
1970 x7_1 = Agent & (x7_2 = Free | x7_2 = Target) & move = Right: Free;
1971 x7_1 = Agent & (x7_0 = Free | x7_0 = Target) & move = Left : Free;
1972 x7_1 = Agent & (x6_1= Free | x6_1 = Target) & move = Up : Free;
1973 x7_1 = Agent & (x7_2 = Box | x7_2 = BoxOnTarget) & (x7_3 = Free | x7_3 = Target) & move = Right: Free;
1974 x7_1 = Agent & (x6_1 = Box | x6_1 = BoxOnTarget) & (x5_1 = Free | x5_1 = Target) & move = Up: Free;
1975 x7_1 = Box & (x7_2 = Agent | x7_2 = AgentOnTarget) & (x7_0 = Free | x7_0 = Target) & move = Left: Agent;
1976 x7_1 = Box & (x7_0 = Agent | x7_0 = AgentOnTarget) & (x7_2 = Free | x7_2 = Target) & move = Right : Agent;
1977 x7_1 = Target & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Left: AgentOnTarget;
1978 x7_1 = Target & (x7_0 = Agent | x7_0 = AgentOnTarget) & move = Right : AgentOnTarget;
1979 x7_1 = Target & (x6_1 = Agent | x6_1 = AgentOnTarget) & move = Down : AgentOnTarget;
1980 x7_1 = Target & (x7_2 = Box | x7_2 = BoxOnTarget) & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Left: BoxOnTarget;
1981 x7_1 = Target & (x6_1 = Box | x6_1 = BoxOnTarget) & (x5_1 = Agent | x5_1 = AgentOnTarget) & move = Down : BoxOnTarget;
1982 x7_1 = AgentOnTarget & (x7_2 = Free | x7_2 = Target) & move = Right: Target;
1983 x7_1 = AgentOnTarget & (x7_0 = Free | x7_0 = Target) & move = Left : Target;
1984 x7_1 = AgentOnTarget & (x6_1 = Free | x6_1 = Target) & move = Up : Target;
1985 x7_1 = BoxOnTarget & (x7_2 = Agent | x7_2 = AgentOnTarget) & (x7_0 = Free | x7_0 = Target) & move = Left: AgentOnTarget;
1986 x7_1 = BoxOnTarget & (x7_0 = Agent | x7_0 = AgentOnTarget) & (x7_2 = Free | x7_2 = Target) & move = Right : AgentOnTarget;
1987 TRUE : x7_1;
1988 esac;
1989 next(x7_2) := case
1990 x7_2 = Wall: Wall;
1991 x7_2 = Free & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Left: Agent;
1992 x7_2 = Free & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Right : Agent;
1993 x7_2 = Free & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Down : Agent;
1994 x7_2 = Free & (x7_3 = Box | x7_3 = BoxOnTarget) & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Left: Box;
1995 x7_2 = Free & (x7_1 = Box | x7_1 = BoxOnTarget) & (x7_0 = Agent | x7_0 = AgentOnTarget) & move = Right : Box;
1996 x7_2 = Free & (x6_2 = Box | x6_2 = BoxOnTarget) & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Down : Box;
1997 x7_2 = Agent & (x7_3 = Free | x7_3 = Target) & move = Right: Free;
1998 x7_2 = Agent & (x7_1 = Free | x7_1 = Target) & move = Left : Free;
1999 x7_2 = Agent & (x6_2= Free | x6_2 = Target) & move = Up : Free;
2000 x7_2 = Agent & (x7_3 = Box | x7_3 = BoxOnTarget) & (x7_4 = Free | x7_4 = Target) & move = Right: Free;
2001 x7_2 = Agent & (x7_1 = Box | x7_1 = BoxOnTarget) & (x7_0 = Free | x7_0 = Target) & move = Left: Free;
2002 x7_2 = Agent & (x6_2 = Box | x6_2 = BoxOnTarget) & (x5_2 = Free | x5_2 = Target) & move = Up: Free;
2003 x7_2 = Box & (x7_3 = Agent | x7_3 = AgentOnTarget) & (x7_1 = Free | x7_1 = Target) & move = Left: Agent;
2004 x7_2 = Box & (x7_1 = Agent | x7_1 = AgentOnTarget) & (x7_3 = Free | x7_3 = Target) & move = Right : Agent;
2005 x7_2 = Target & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Left: AgentOnTarget;
2006 x7_2 = Target & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Right : AgentOnTarget;
2007 x7_2 = Target & (x6_2 = Agent | x6_2 = AgentOnTarget) & move = Down : AgentOnTarget;
2008 x7_2 = Target & (x7_3 = Box | x7_3 = BoxOnTarget) & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Left: BoxOnTarget;
2009 x7_2 = Target & (x7_1 = Box | x7_1 = BoxOnTarget) & (x7_0 = Agent | x7_0 = AgentOnTarget) & move = Right : BoxOnTarget;
2010 x7_2 = Target & (x6_2 = Box | x6_2 = BoxOnTarget) & (x5_2 = Agent | x5_2 = AgentOnTarget) & move = Down : BoxOnTarget;
2011 x7_2 = AgentOnTarget & (x7_3 = Free | x7_3 = Target) & move = Right: Target;
2012 x7_2 = AgentOnTarget & (x7_1 = Free | x7_1 = Target) & move = Left : Target;
2013 x7_2 = AgentOnTarget & (x6_2 = Free | x6_2 = Target) & move = Up : Target;
2014 x7_2 = BoxOnTarget & (x7_3 = Agent | x7_3 = AgentOnTarget) & (x7_1 = Free | x7_1 = Target) & move = Left: AgentOnTarget;
2015 x7_2 = BoxOnTarget & (x7_1 = Agent | x7_1 = AgentOnTarget) & (x7_3 = Free | x7_3 = Target) & move = Right : AgentOnTarget;
2016 TRUE : x7_2;
2017 esac;
2018 next(x7_3) := case
2019 x7_3 = Wall: Wall;
2020 x7_3 = Free & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Left: Agent;
2021 x7_3 = Free & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Right : Agent;
2022 x7_3 = Free & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Down : Agent;
2023 x7_3 = Free & (x7_4 = Box | x7_4 = BoxOnTarget) & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Left: Box;
2024 x7_3 = Free & (x7_2 = Box | x7_2 = BoxOnTarget) & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Right : Box;
2025 x7_3 = Free & (x6_3 = Box | x6_3 = BoxOnTarget) & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Down : Box;
2026 x7_3 = Agent & (x7_4 = Free | x7_4 = Target) & move = Right: Free;
2027 x7_3 = Agent & (x7_2 = Free | x7_2 = Target) & move = Left : Free;
2028 x7_3 = Agent & (x6_3= Free | x6_3 = Target) & move = Up : Free;
2029 x7_3 = Agent & (x7_4 = Box | x7_4 = BoxOnTarget) & (x7_5 = Free | x7_5 = Target) & move = Right: Free;
2030 x7_3 = Agent & (x7_2 = Box | x7_2 = BoxOnTarget) & (x7_1 = Free | x7_1 = Target) & move = Left: Free;
2031 x7_3 = Agent & (x6_3 = Box | x6_3 = BoxOnTarget) & (x5_3 = Free | x5_3 = Target) & move = Up: Free;
2032 x7_3 = Box & (x7_4 = Agent | x7_4 = AgentOnTarget) & (x7_2 = Free | x7_2 = Target) & move = Left: Agent;
2033 x7_3 = Box & (x7_2 = Agent | x7_2 = AgentOnTarget) & (x7_4 = Free | x7_4 = Target) & move = Right : Agent;
2034 x7_3 = Target & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Left: AgentOnTarget;
2035 x7_3 = Target & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Right : AgentOnTarget;
2036 x7_3 = Target & (x6_3 = Agent | x6_3 = AgentOnTarget) & move = Down : AgentOnTarget;
2037 x7_3 = Target & (x7_4 = Box | x7_4 = BoxOnTarget) & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Left: BoxOnTarget;
2038 x7_3 = Target & (x7_2 = Box | x7_2 = BoxOnTarget) & (x7_1 = Agent | x7_1 = AgentOnTarget) & move = Right : BoxOnTarget;
2039 x7_3 = Target & (x6_3 = Box | x6_3 = BoxOnTarget) & (x5_3 = Agent | x5_3 = AgentOnTarget) & move = Down : BoxOnTarget;
2040 x7_3 = AgentOnTarget & (x7_4 = Free | x7_4 = Target) & move = Right: Target;
2041 x7_3 = AgentOnTarget & (x7_2 = Free | x7_2 = Target) & move = Left : Target;
2042 x7_3 = AgentOnTarget & (x6_3 = Free | x6_3 = Target) & move = Up : Target;
2043 x7_3 = BoxOnTarget & (x7_4 = Agent | x7_4 = AgentOnTarget) & (x7_2 = Free | x7_2 = Target) & move = Left: AgentOnTarget;
2044 x7_3 = BoxOnTarget & (x7_2 = Agent | x7_2 = AgentOnTarget) & (x7_4 = Free | x7_4 = Target) & move = Right : AgentOnTarget;
2045 TRUE : x7_3;
2046 esac;
2047 next(x7_4) := case
2048 x7_4 = Wall: Wall;
2049 x7_4 = Free & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Left: Agent;
2050 x7_4 = Free & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Right : Agent;
2051 x7_4 = Free & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Down : Agent;
2052 x7_4 = Free & (x7_5 = Box | x7_5 = BoxOnTarget) & (x7_6 = Agent | x7_6 = AgentOnTarget) & move = Left: Box;
2053 x7_4 = Free & (x7_3 = Box | x7_3 = BoxOnTarget) & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Right : Box;
2054 x7_4 = Free & (x6_4 = Box | x6_4 = BoxOnTarget) & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Down : Box;
2055 x7_4 = Agent & (x7_5 = Free | x7_5 = Target) & move = Right: Free;
2056 x7_4 = Agent & (x7_3 = Free | x7_3 = Target) & move = Left : Free;
2057 x7_4 = Agent & (x6_4= Free | x6_4 = Target) & move = Up : Free;
2058 x7_4 = Agent & (x7_5 = Box | x7_5 = BoxOnTarget) & (x7_6 = Free | x7_6 = Target) & move = Right: Free;
2059 x7_4 = Agent & (x7_3 = Box | x7_3 = BoxOnTarget) & (x7_2 = Free | x7_2 = Target) & move = Left: Free;
2060 x7_4 = Agent & (x6_4 = Box | x6_4 = BoxOnTarget) & (x5_4 = Free | x5_4 = Target) & move = Up: Free;
2061 x7_4 = Box & (x7_5 = Agent | x7_5 = AgentOnTarget) & (x7_3 = Free | x7_3 = Target) & move = Left: Agent;
2062 x7_4 = Box & (x7_3 = Agent | x7_3 = AgentOnTarget) & (x7_5 = Free | x7_5 = Target) & move = Right : Agent;
2063 x7_4 = Target & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Left: AgentOnTarget;
2064 x7_4 = Target & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Right : AgentOnTarget;
2065 x7_4 = Target & (x6_4 = Agent | x6_4 = AgentOnTarget) & move = Down : AgentOnTarget;
2066 x7_4 = Target & (x7_5 = Box | x7_5 = BoxOnTarget) & (x7_6 = Agent | x7_6 = AgentOnTarget) & move = Left: BoxOnTarget;
2067 x7_4 = Target & (x7_3 = Box | x7_3 = BoxOnTarget) & (x7_2 = Agent | x7_2 = AgentOnTarget) & move = Right : BoxOnTarget;
2068 x7_4 = Target & (x6_4 = Box | x6_4 = BoxOnTarget) & (x5_4 = Agent | x5_4 = AgentOnTarget) & move = Down : BoxOnTarget;
2069 x7_4 = AgentOnTarget & (x7_5 = Free | x7_5 = Target) & move = Right: Target;
2070 x7_4 = AgentOnTarget & (x7_3 = Free | x7_3 = Target) & move = Left : Target;
2071 x7_4 = AgentOnTarget & (x6_4 = Free | x6_4 = Target) & move = Up : Target;
2072 x7_4 = BoxOnTarget & (x7_5 = Agent | x7_5 = AgentOnTarget) & (x7_3 = Free | x7_3 = Target) & move = Left: AgentOnTarget;
2073 x7_4 = BoxOnTarget & (x7_3 = Agent | x7_3 = AgentOnTarget) & (x7_5 = Free | x7_5 = Target) & move = Right : AgentOnTarget;
2074 TRUE : x7_4;
2075 esac;
2076 next(x7_5) := case
2077 x7_5 = Wall: Wall;
2078 x7_5 = Free & (x7_6 = Agent | x7_6 = AgentOnTarget) & move = Left: Agent;
2079 x7_5 = Free & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Right : Agent;
2080 x7_5 = Free & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Down : Agent;
2081 x7_5 = Free & (x7_4 = Box | x7_4 = BoxOnTarget) & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Right : Box;
2082 x7_5 = Free & (x6_5 = Box | x6_5 = BoxOnTarget) & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Down : Box;
2083 x7_5 = Agent & (x7_6 = Free | x7_6 = Target) & move = Right: Free;
2084 x7_5 = Agent & (x7_4 = Free | x7_4 = Target) & move = Left : Free;
2085 x7_5 = Agent & (x6_5= Free | x6_5 = Target) & move = Up : Free;
2086 x7_5 = Agent & (x7_4 = Box | x7_4 = BoxOnTarget) & (x7_3 = Free | x7_3 = Target) & move = Left: Free;
2087 x7_5 = Agent & (x6_5 = Box | x6_5 = BoxOnTarget) & (x5_5 = Free | x5_5 = Target) & move = Up: Free;
2088 x7_5 = Box & (x7_6 = Agent | x7_6 = AgentOnTarget) & (x7_4 = Free | x7_4 = Target) & move = Left: Agent;
2089 x7_5 = Box & (x7_4 = Agent | x7_4 = AgentOnTarget) & (x7_6 = Free | x7_6 = Target) & move = Right : Agent;
2090 x7_5 = Target & (x7_6 = Agent | x7_6 = AgentOnTarget) & move = Left: AgentOnTarget;
2091 x7_5 = Target & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Right : AgentOnTarget;
2092 x7_5 = Target & (x6_5 = Agent | x6_5 = AgentOnTarget) & move = Down : AgentOnTarget;
2093 x7_5 = Target & (x7_4 = Box | x7_4 = BoxOnTarget) & (x7_3 = Agent | x7_3 = AgentOnTarget) & move = Right : BoxOnTarget;
2094 x7_5 = Target & (x6_5 = Box | x6_5 = BoxOnTarget) & (x5_5 = Agent | x5_5 = AgentOnTarget) & move = Down : BoxOnTarget;
2095 x7_5 = AgentOnTarget & (x7_6 = Free | x7_6 = Target) & move = Right: Target;
2096 x7_5 = AgentOnTarget & (x7_4 = Free | x7_4 = Target) & move = Left : Target;
2097 x7_5 = AgentOnTarget & (x6_5 = Free | x6_5 = Target) & move = Up : Target;
2098 x7_5 = BoxOnTarget & (x7_6 = Agent | x7_6 = AgentOnTarget) & (x7_4 = Free | x7_4 = Target) & move = Left: AgentOnTarget;
2099 x7_5 = BoxOnTarget & (x7_4 = Agent | x7_4 = AgentOnTarget) & (x7_6 = Free | x7_6 = Target) & move = Right : AgentOnTarget;
2100 TRUE : x7_5;
2101 esac;
2102 next(x7_6) := case
2103 x7_6 = Wall: Wall;
2104 x7_6 = Free & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Right : Agent;
2105 x7_6 = Free & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Down : Agent;
2106 x7_6 = Free & (x7_5 = Box | x7_5 = BoxOnTarget) & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Right : Box;
2107 x7_6 = Free & (x6_6 = Box | x6_6 = BoxOnTarget) & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Down : Box;
2108 x7_6 = Agent & (x7_5 = Free | x7_5 = Target) & move = Left : Free;
2109 x7_6 = Agent & (x6_6= Free | x6_6 = Target) & move = Up : Free;
2110 x7_6 = Agent & (x7_5 = Box | x7_5 = BoxOnTarget) & (x7_4 = Free | x7_4 = Target) & move = Left: Free;
2111 x7_6 = Agent & (x6_6 = Box | x6_6 = BoxOnTarget) & (x5_6 = Free | x5_6 = Target) & move = Up: Free;
2112 x7_6 = Target & (x7_5 = Agent | x7_5 = AgentOnTarget) & move = Right : AgentOnTarget;
2113 x7_6 = Target & (x6_6 = Agent | x6_6 = AgentOnTarget) & move = Down : AgentOnTarget;
2114 x7_6 = Target & (x7_5 = Box | x7_5 = BoxOnTarget) & (x7_4 = Agent | x7_4 = AgentOnTarget) & move = Right : BoxOnTarget;
2115 x7_6 = Target & (x6_6 = Box | x6_6 = BoxOnTarget) & (x5_6 = Agent | x5_6 = AgentOnTarget) & move = Down : BoxOnTarget;
2116 x7_6 = AgentOnTarget & (x7_5 = Free | x7_5 = Target) & move = Left : Target;
2117 x7_6 = AgentOnTarget & (x6_6 = Free | x6_6 = Target) & move = Up : Target;
2118 TRUE : x7_6;
2119 esac;
2120 next(move) := {Up, Down, Left, Right};
2121 INVARSPEC !(
2122 x2_4 = BoxOnTarget &
2123 x2_5 = BoxOnTarget &
2124 x3_3 = BoxOnTarget
2125 )
Unnamed repository; edit this file 'description' to name the repository.