summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--apps/recorder/sokoban.c167
1 files changed, 83 insertions, 84 deletions
diff --git a/apps/recorder/sokoban.c b/apps/recorder/sokoban.c
index aef688d905..3951a71106 100644
--- a/apps/recorder/sokoban.c
+++ b/apps/recorder/sokoban.c
@@ -62,7 +62,7 @@ static const char levels[][320] = {
62 "00000000000000000000" 62 "00000000000000000000"
63 "00000000000000000000" 63 "00000000000000000000"
64 "00000000000000000000", 64 "00000000000000000000",
65 65
66 "00000000000000000000" 66 "00000000000000000000"
67 "00000000000000000000" 67 "00000000000000000000"
68 "00000000000000000000" 68 "00000000000000000000"
@@ -79,7 +79,7 @@ static const char levels[][320] = {
79 "00000000000000000000" 79 "00000000000000000000"
80 "00000000000000000000" 80 "00000000000000000000"
81 "00000000000000000000", 81 "00000000000000000000",
82 82
83 "00000000000000000000" 83 "00000000000000000000"
84 "00000000000000000000" 84 "00000000000000000000"
85 "00000000000000000000" 85 "00000000000000000000"
@@ -96,7 +96,7 @@ static const char levels[][320] = {
96 "00000000000000000000" 96 "00000000000000000000"
97 "00000000000000000000" 97 "00000000000000000000"
98 "00000000000000000000", 98 "00000000000000000000",
99 99
100 "00000000000000000000" 100 "00000000000000000000"
101 "00000000000000000000" 101 "00000000000000000000"
102 "00000000000000000000" 102 "00000000000000000000"
@@ -104,7 +104,7 @@ static const char levels[][320] = {
104 "00000000000000000000" 104 "00000000000000000000"
105 "00000000022222000000" 105 "00000000022222000000"
106 "00000022221132000000" 106 "00000022221132000000"
107 "00000021114112000000" 107 "00000021114172000000"
108 "00000021441432000000" 108 "00000021441432000000"
109 "00000022522332000000" 109 "00000022522332000000"
110 "00000002222222000000" 110 "00000002222222000000"
@@ -113,7 +113,7 @@ static const char levels[][320] = {
113 "00000000000000000000" 113 "00000000000000000000"
114 "00000000000000000000" 114 "00000000000000000000"
115 "00000000000000000000", 115 "00000000000000000000",
116 116
117 "00000000000000000000" 117 "00000000000000000000"
118 "00000000000000000000" 118 "00000000000000000000"
119 "00000000000000000000" 119 "00000000000000000000"
@@ -130,7 +130,7 @@ static const char levels[][320] = {
130 "00000000000000000000" 130 "00000000000000000000"
131 "00000000000000000000" 131 "00000000000000000000"
132 "00000000000000000000", 132 "00000000000000000000",
133 133
134 "00000000000000000000" 134 "00000000000000000000"
135 "00000000000000000000" 135 "00000000000000000000"
136 "00000000000000000000" 136 "00000000000000000000"
@@ -147,7 +147,7 @@ static const char levels[][320] = {
147 "00000000000000000000" 147 "00000000000000000000"
148 "00000000000000000000" 148 "00000000000000000000"
149 "00000000000000000000", 149 "00000000000000000000",
150 150
151 "00000000000000000000" 151 "00000000000000000000"
152 "00000000000000000000" 152 "00000000000000000000"
153 "00000000000000000000" 153 "00000000000000000000"
@@ -164,7 +164,7 @@ static const char levels[][320] = {
164 "00000000000000000000" 164 "00000000000000000000"
165 "00000000000000000000" 165 "00000000000000000000"
166 "00000000000000000000", 166 "00000000000000000000",
167 167
168 "00000000000000000000" 168 "00000000000000000000"
169 "00000000000000000000" 169 "00000000000000000000"
170 "00000000000000000000" 170 "00000000000000000000"
@@ -181,7 +181,7 @@ static const char levels[][320] = {
181 "00000000000000000000" 181 "00000000000000000000"
182 "00000000000000000000" 182 "00000000000000000000"
183 "00000000000000000000", 183 "00000000000000000000",
184 184
185 "00000000000000000000" 185 "00000000000000000000"
186 "00000000000000000000" 186 "00000000000000000000"
187 "00000000000000000000" 187 "00000000000000000000"
@@ -198,7 +198,7 @@ static const char levels[][320] = {
198 "00000000000000000000" 198 "00000000000000000000"
199 "00000000000000000000" 199 "00000000000000000000"
200 "00000000000000000000", 200 "00000000000000000000",
201 /* level 10 */ 201
202 "00000000000000000000" 202 "00000000000000000000"
203 "00000000000000000000" 203 "00000000000000000000"
204 "00000000000000000000" 204 "00000000000000000000"
@@ -208,15 +208,14 @@ static const char levels[][320] = {
208 "00000022211520000000" 208 "00000022211520000000"
209 "00000021143122000000" 209 "00000021143122000000"
210 "00000021134312000000" 210 "00000021134312000000"
211 "00000022211412000000" 211 "00000022217412000000"
212 "00000000211122000000" 212 "00000000211122000000"
213 "00000000222220000000" 213 "00000000222220000000"
214 "00000000000000000000" 214 "00000000000000000000"
215 "00000000000000000000" 215 "00000000000000000000"
216 "00000000000000000000" 216 "00000000000000000000"
217 "00000000000000000000", 217 "00000000000000000000",
218 218
219 "00000000000000000000"
220 "00000000000000000000" 219 "00000000000000000000"
221 "00000000000000000000" 220 "00000000000000000000"
222 "00000000000000000000" 221 "00000000000000000000"
@@ -224,16 +223,16 @@ static const char levels[][320] = {
224 "00000022222222000000" 223 "00000022222222000000"
225 "00000021121112000000" 224 "00000021121112000000"
226 "00000021433412000000" 225 "00000021433412000000"
227 "00000025431122000000" 226 "00000025437122000000"
228 "00000021433412000000" 227 "00000021433412000000"
229 "00000021121112000000" 228 "00000021121112000000"
230 "00000022222222000000" 229 "00000022222222000000"
231 "00000000000000000000" 230 "00000000000000000000"
232 "00000000000000000000" 231 "00000000000000000000"
233 "00000000000000000000" 232 "00000000000000000000"
234 "00000000000000000000",
235
236 "00000000000000000000" 233 "00000000000000000000"
234 "00000000000000000000",
235
237 "00000000000000000000" 236 "00000000000000000000"
238 "00000000000000000000" 237 "00000000000000000000"
239 "00000000000000000000" 238 "00000000000000000000"
@@ -248,9 +247,9 @@ static const char levels[][320] = {
248 "00000000211511200000" 247 "00000000211511200000"
249 "00000000222222200000" 248 "00000000222222200000"
250 "00000000000000000000" 249 "00000000000000000000"
251 "00000000000000000000",
252
253 "00000000000000000000" 250 "00000000000000000000"
251 "00000000000000000000",
252
254 "00000000000000000000" 253 "00000000000000000000"
255 "00000000000000000000" 254 "00000000000000000000"
256 "00000000000000000000" 255 "00000000000000000000"
@@ -265,9 +264,9 @@ static const char levels[][320] = {
265 "00000000000000000000" 264 "00000000000000000000"
266 "00000000000000000000" 265 "00000000000000000000"
267 "00000000000000000000" 266 "00000000000000000000"
268 "00000000000000000000",
269
270 "00000000000000000000" 267 "00000000000000000000"
268 "00000000000000000000",
269
271 "00000000000000000000" 270 "00000000000000000000"
272 "00000000000000000000" 271 "00000000000000000000"
273 "00000000000000000000" 272 "00000000000000000000"
@@ -275,16 +274,16 @@ static const char levels[][320] = {
275 "00000002222222200000" 274 "00000002222222200000"
276 "00000002111231200000" 275 "00000002111231200000"
277 "00000022114333200000" 276 "00000022114333200000"
278 "00000021141213200000" 277 "00000021141273200000"
279 "00000221224212200000" 278 "00000221224212200000"
280 "00000211141141200000" 279 "00000211141141200000"
281 "00000211121111200000" 280 "00000211121111200000"
282 "00000222222251200000" 281 "00000222222251200000"
283 "00000000000222200000" 282 "00000000000222200000"
284 "00000000000000000000" 283 "00000000000000000000"
285 "00000000000000000000",
286
287 "00000000000000000000" 284 "00000000000000000000"
285 "00000000000000000000",
286
288 "00000000000000000000" 287 "00000000000000000000"
289 "00000000000000000000" 288 "00000000000000000000"
290 "00000000000000000000" 289 "00000000000000000000"
@@ -299,9 +298,9 @@ static const char levels[][320] = {
299 "00000000222220000000" 298 "00000000222220000000"
300 "00000000000000000000" 299 "00000000000000000000"
301 "00000000000000000000" 300 "00000000000000000000"
302 "00000000000000000000",
303
304 "00000000000000000000" 301 "00000000000000000000"
302 "00000000000000000000",
303
305 "00000000000000000000" 304 "00000000000000000000"
306 "00000000000000000000" 305 "00000000000000000000"
307 "00000000000000000000" 306 "00000000000000000000"
@@ -316,9 +315,9 @@ static const char levels[][320] = {
316 "00000000000000000000" 315 "00000000000000000000"
317 "00000000000000000000" 316 "00000000000000000000"
318 "00000000000000000000" 317 "00000000000000000000"
319 "00000000000000000000",
320
321 "00000000000000000000" 318 "00000000000000000000"
319 "00000000000000000000",
320
322 "00000000000000000000" 321 "00000000000000000000"
323 "00000000000000000000" 322 "00000000000000000000"
324 "00000000000000000000" 323 "00000000000000000000"
@@ -333,9 +332,9 @@ static const char levels[][320] = {
333 "00000021121152000000" 332 "00000021121152000000"
334 "00000022222222000000" 333 "00000022222222000000"
335 "00000000000000000000" 334 "00000000000000000000"
336 "00000000000000000000",
337
338 "00000000000000000000" 335 "00000000000000000000"
336 "00000000000000000000",
337
339 "00000000000000000000" 338 "00000000000000000000"
340 "00000000000000000000" 339 "00000000000000000000"
341 "00000000000000000000" 340 "00000000000000000000"
@@ -350,26 +349,26 @@ static const char levels[][320] = {
350 "00000002222220000000" 349 "00000002222220000000"
351 "00000000000000000000" 350 "00000000000000000000"
352 "00000000000000000000" 351 "00000000000000000000"
353 "00000000000000000000",
354
355 "00000000000000000000" 352 "00000000000000000000"
353 "00000000000000000000",
354
356 "00000000000000000000" 355 "00000000000000000000"
357 "00000000000000000000" 356 "00000000000000000000"
358 "00000000000000000000" 357 "00000000000000000000"
359 "00000000000000000000" 358 "00000000000000000000"
360 "00000222222222000000" 359 "00000222222222000000"
361 "00000211111112000000" 360 "00000211171112000000"
362 "00000214343152000000" 361 "00000214343152000000"
363 "00000213434312000000" 362 "00000213434312000000"
364 "00000214343412000000" 363 "00000214343412000000"
365 "00000211111112000000" 364 "00000211171112000000"
366 "00000222222222000000" 365 "00000222222222000000"
367 "00000000000000000000" 366 "00000000000000000000"
368 "00000000000000000000" 367 "00000000000000000000"
369 "00000000000000000000" 368 "00000000000000000000"
370 "00000000000000000000",
371
372 "00000000000000000000" 369 "00000000000000000000"
370 "00000000000000000000",
371
373 "00000000000000000000" 372 "00000000000000000000"
374 "00000000000000000000" 373 "00000000000000000000"
375 "00000000000000000000" 374 "00000000000000000000"
@@ -384,9 +383,9 @@ static const char levels[][320] = {
384 "00000000000000000000" 383 "00000000000000000000"
385 "00000000000000000000" 384 "00000000000000000000"
386 "00000000000000000000" 385 "00000000000000000000"
387 "00000000000000000000",
388
389 "00000000000000000000" 386 "00000000000000000000"
387 "00000000000000000000",
388
390 "00000000000000000000" 389 "00000000000000000000"
391 "00000000000000000000" 390 "00000000000000000000"
392 "00000000000000000000" 391 "00000000000000000000"
@@ -401,9 +400,9 @@ static const char levels[][320] = {
401 "00000022222222000000" 400 "00000022222222000000"
402 "00000000000000000000" 401 "00000000000000000000"
403 "00000000000000000000" 402 "00000000000000000000"
404 "00000000000000000000",
405
406 "00000000000000000000" 403 "00000000000000000000"
404 "00000000000000000000",
405
407 "00000000000000000000" 406 "00000000000000000000"
408 "00000000000000000000" 407 "00000000000000000000"
409 "00000000000000000000" 408 "00000000000000000000"
@@ -413,14 +412,14 @@ static const char levels[][320] = {
413 "00000021112222000000" 412 "00000021112222000000"
414 "00000221241112000000" 413 "00000221241112000000"
415 "00000214114412000000" 414 "00000214114412000000"
416 "00000212423132000000" 415 "00000212423732000000"
417 "00000211153332000000" 416 "00000211153332000000"
418 "00000222222222000000" 417 "00000222222222000000"
419 "00000000000000000000" 418 "00000000000000000000"
420 "00000000000000000000" 419 "00000000000000000000"
421 "00000000000000000000",
422
423 "00000000000000000000" 420 "00000000000000000000"
421 "00000000000000000000",
422
424 "00000000000000000000" 423 "00000000000000000000"
425 "00000000000000000000" 424 "00000000000000000000"
426 "00000000000000000000" 425 "00000000000000000000"
@@ -428,16 +427,16 @@ static const char levels[][320] = {
428 "00000000022222000000" 427 "00000000022222000000"
429 "00000022221112200000" 428 "00000022221112200000"
430 "00000021414111200000" 429 "00000021414111200000"
431 "00000025231321200000" 430 "00000025237321200000"
432 "00000021231321200000" 431 "00000021237321200000"
433 "00000021114141200000" 432 "00000021114141200000"
434 "00000022111222200000" 433 "00000022111222200000"
435 "00000002222200000000" 434 "00000002222200000000"
436 "00000000000000000000" 435 "00000000000000000000"
437 "00000000000000000000" 436 "00000000000000000000"
438 "00000000000000000000",
439
440 "00000000000000000000" 437 "00000000000000000000"
438 "00000000000000000000",
439
441 "00000000000000000000" 440 "00000000000000000000"
442 "00000000000000000000" 441 "00000000000000000000"
443 "00000000000000000000" 442 "00000000000000000000"
@@ -452,9 +451,9 @@ static const char levels[][320] = {
452 "00000002222222000000" 451 "00000002222222000000"
453 "00000000000000000000" 452 "00000000000000000000"
454 "00000000000000000000" 453 "00000000000000000000"
455 "00000000000000000000",
456
457 "00000000000000000000" 454 "00000000000000000000"
455 "00000000000000000000",
456
458 "00000000000000000000" 457 "00000000000000000000"
459 "00000000000000000000" 458 "00000000000000000000"
460 "00000000000000000000" 459 "00000000000000000000"
@@ -469,8 +468,9 @@ static const char levels[][320] = {
469 "00000000000000000000" 468 "00000000000000000000"
470 "00000000000000000000" 469 "00000000000000000000"
471 "00000000000000000000" 470 "00000000000000000000"
471 "00000000000000000000"
472 "00000000000000000000", 472 "00000000000000000000",
473 /*level 25 */ 473
474 "00000000000000000000" 474 "00000000000000000000"
475 "00000000000000000000" 475 "00000000000000000000"
476 "00000000000000000000" 476 "00000000000000000000"
@@ -478,9 +478,9 @@ static const char levels[][320] = {
478 "00000000000000000000" 478 "00000000000000000000"
479 "00000222222200000000" 479 "00000222222200000000"
480 "00000211111222220000" 480 "00000211111222220000"
481 "00000214131314120000" 481 "00000214137314120000"
482 "00000254311134120000" 482 "00000254371734120000"
483 "00000214131314120000" 483 "00000214137314120000"
484 "00000222222111120000" 484 "00000222222111120000"
485 "00000000002222220000" 485 "00000000002222220000"
486 "00000000000000000000" 486 "00000000000000000000"
@@ -495,8 +495,8 @@ static const char levels[][320] = {
495 "00000222222000000000" 495 "00000222222000000000"
496 "00000211112000000000" 496 "00000211112000000000"
497 "00000214112222000000" 497 "00000214112222000000"
498 "00000214133112000000" 498 "00000214733712000000"
499 "00000211331412000000" 499 "00000217337412000000"
500 "00000222211412000000" 500 "00000222211412000000"
501 "00000000215112000000" 501 "00000000215112000000"
502 "00000000222222000000" 502 "00000000222222000000"
@@ -580,9 +580,9 @@ static const char levels[][320] = {
580 "00000000000000000000" 580 "00000000000000000000"
581 "00000022222222000000" 581 "00000022222222000000"
582 "00000021123312200000" 582 "00000021123312200000"
583 "00000021431411200000" 583 "00000021431471200000"
584 "00000021145411200000" 584 "00000021145411200000"
585 "00000021141341200000" 585 "00000021741341200000"
586 "00000022133211200000" 586 "00000022133211200000"
587 "00000002222222200000" 587 "00000002222222200000"
588 "00000000000000000000" 588 "00000000000000000000"
@@ -595,13 +595,13 @@ static const char levels[][320] = {
595 "00000000000000000000" 595 "00000000000000000000"
596 "00000000000000000000" 596 "00000000000000000000"
597 "00000022222220000000" 597 "00000022222220000000"
598 "00000221111122000000" 598 "00000221171122000000"
599 "00000213131312000000" 599 "00000213131312000000"
600 "00000214111112000000" 600 "00000214171112000000"
601 "00000214414412000000" 601 "00000274474472000000"
602 "00000211111412000000" 602 "00000211171412000000"
603 "00000213135312000000" 603 "00000213135312000000"
604 "00000221111122000000" 604 "00000221171122000000"
605 "00000022222220000000" 605 "00000022222220000000"
606 "00000000000000000000" 606 "00000000000000000000"
607 "00000000000000000000" 607 "00000000000000000000"
@@ -613,9 +613,9 @@ static const char levels[][320] = {
613 "00000000000000000000" 613 "00000000000000000000"
614 "00000222222222000000" 614 "00000222222222000000"
615 "00000211134152000000" 615 "00000211134152000000"
616 "00000214111412000000" 616 "00000214171412000000"
617 "00000213331312000000" 617 "00000273337372000000"
618 "00000214411112000000" 618 "00000214471112000000"
619 "00000211131412000000" 619 "00000211131412000000"
620 "00000222222222000000" 620 "00000222222222000000"
621 "00000000000000000000" 621 "00000000000000000000"
@@ -648,9 +648,9 @@ static const char levels[][320] = {
648 "00000002222220000000" 648 "00000002222220000000"
649 "00000002133320000000" 649 "00000002133320000000"
650 "00002222333320000000" 650 "00002222333320000000"
651 "00002112221122200000" 651 "00002112224122200000"
652 "00002141411441200000" 652 "00002141411441200000"
653 "00002514144111200000" 653 "00002514141111200000"
654 "00002112222111200000" 654 "00002112222111200000"
655 "00002222002222200000" 655 "00002222002222200000"
656 "00000000000000000000" 656 "00000000000000000000"
@@ -681,7 +681,7 @@ static const char levels[][320] = {
681 "00000022211111200000" 681 "00000022211111200000"
682 "00000221112121200000" 682 "00000221112121200000"
683 "00000211234441200000" 683 "00000211234441200000"
684 "00000212312122200000" 684 "00000212372122200000"
685 "00000211332120000000" 685 "00000211332120000000"
686 "00000222334122000000" 686 "00000222334122000000"
687 "00000002321412000000" 687 "00000002321412000000"
@@ -716,12 +716,12 @@ static const char levels[][320] = {
716 "00000215142120000000" 716 "00000215142120000000"
717 "00000221211120000000" 717 "00000221211120000000"
718 "00000214232120000000" 718 "00000214232120000000"
719 "00000211313420000000" 719 "00000211373420000000"
720 "00000221232120000000" 720 "00000221232120000000"
721 "00000021231122000000" 721 "00000021231122000000"
722 "00000221432112000000" 722 "00000221432112000000"
723 "00000211214112000000" 723 "00000211214112000000"
724 "00000211111222000000" 724 "00000214111222000000"
725 "00000211222200000000" 725 "00000211222200000000"
726 "00000222200000000000" 726 "00000222200000000000"
727 "00000000000000000000", 727 "00000000000000000000",
@@ -734,7 +734,7 @@ static const char levels[][320] = {
734 "00002111322212200000" 734 "00002111322212200000"
735 "00002121211112200000" 735 "00002121211112200000"
736 "00002121414231200000" 736 "00002121414231200000"
737 "00002121111121200000" 737 "00002121171121200000"
738 "00002132414121200000" 738 "00002132414121200000"
739 "00002211112121200000" 739 "00002211112121200000"
740 "00000212223111200000" 740 "00000212223111200000"
@@ -770,9 +770,9 @@ static const char levels[][320] = {
770 "00000002124212000000" 770 "00000002124212000000"
771 "00000022311312000000" 771 "00000022311312000000"
772 "00000021122112000000" 772 "00000021122112000000"
773 "00000021121112000000" 773 "00000021121172000000"
774 "00000021411412000000" 774 "00000021411412000000"
775 "00000021421152000000" 775 "00000021427152000000"
776 "00000021123222000000" 776 "00000021123222000000"
777 "00000022222200000000" 777 "00000022222200000000"
778 "00000000000000000000", 778 "00000000000000000000",
@@ -800,11 +800,11 @@ static const char levels[][320] = {
800 "00000002221122000000" 800 "00000002221122000000"
801 "00000022111112200000" 801 "00000022111112200000"
802 "00000021112133200000" 802 "00000021112133200000"
803 "00000221421243200000" 803 "00000221427243200000"
804 "00000211412143200000" 804 "00000211412143200000"
805 "00000211415143200000" 805 "00000211415143200000"
806 "00000211412143200000" 806 "00000211412143200000"
807 "00000224421243200000" 807 "00000224427243200000"
808 "00000023112133200000" 808 "00000023112133200000"
809 "00000022311112200000" 809 "00000022311112200000"
810 "00000002221122000000" 810 "00000002221122000000"
@@ -882,20 +882,19 @@ static const char levels[][320] = {
882 "00000000000000000000" 882 "00000000000000000000"
883 "00000000000000000000" 883 "00000000000000000000"
884 "00000222222222200000" 884 "00000222222222200000"
885 "00000233414113200000" 885 "00000233414173200000"
886 "00000231141433200000" 886 "00000237141433200000"
887 "00000223414112200000" 887 "00000223414172200000"
888 "00000021141432000000" 888 "00000027141432000000"
889 "00000023414132000000" 889 "00000023414132000000"
890 "00000023141432000000" 890 "00000023141432000000"
891 "00000023454112000000" 891 "00000023454172000000"
892 "00000221141432200000" 892 "00000227141432200000"
893 "00000233414113200000" 893 "00000233414173200000"
894 "00000231141433200000" 894 "00000237141433200000"
895 "00000222222222200000" 895 "00000222222222200000"
896 "00000000000000000000" 896 "00000000000000000000"
897 "00000000000000000000", 897 "00000000000000000000"
898
899}; 898};
900 899
901 900
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-27 21:29:09 +0000