Artifact b1ce0206cdf26c77a8c6462a22782278607955a8:
Manifest of check-in
[b1ce0206cd]
- Revert.
by
kinaba on
2012-07-14 16:58:31.
0000: 43 20 52 65 76 65 72 74 2e 0a 44 20 32 30 31 32 C Revert..D 2012
0010: 2d 30 37 2d 31 34 54 31 36 3a 35 38 3a 33 31 2e -07-14T16:58:31.
0020: 33 32 36 0a 46 20 69 63 66 70 2d 39 36 35 33 33 326.F icfp-96533
0030: 36 33 32 2e 74 67 7a 20 39 34 33 33 32 39 63 33 632.tgz 943329c3
0040: 30 30 37 32 39 38 39 66 39 37 33 61 66 36 35 39 0072989f973af659
0050: 32 61 36 35 63 30 62 37 62 66 61 31 64 39 62 64 2a65c0b7bfa1d9bd
0060: 0a 46 20 6d 61 6b 65 2d 73 75 62 6d 69 73 73 69 .F make-submissi
0070: 6f 6e 20 62 64 37 61 39 31 31 63 31 34 31 61 65 on bd7a911c141ae
0080: 35 34 34 64 65 36 64 64 39 30 34 30 64 61 36 39 544de6dd9040da69
0090: 32 64 34 31 30 34 31 32 62 33 66 20 78 0a 46 20 2d410412b3f x.F
00a0: 6d 61 70 73 2f 31 30 30 78 31 30 30 2e 6d 61 70 maps/100x100.map
00b0: 20 35 62 65 61 66 36 66 61 64 34 31 34 33 38 33 5beaf6fad414383
00c0: 30 31 62 38 61 64 39 65 61 30 31 65 61 36 63 34 01b8ad9ea01ea6c4
00d0: 36 63 34 66 31 37 66 38 31 0a 46 20 6d 61 70 73 6c4f17f81.F maps
00e0: 2f 63 6f 6e 74 65 73 74 31 2e 6d 61 70 20 65 66 /contest1.map ef
00f0: 32 31 66 35 39 64 30 37 32 62 64 65 65 65 38 66 21f59d072bdeee8f
0100: 39 36 33 39 37 36 63 39 30 66 33 66 32 62 31 64 963976c90f3f2b1d
0110: 37 63 63 39 39 65 0a 46 20 6d 61 70 73 2f 63 6f 7cc99e.F maps/co
0120: 6e 74 65 73 74 31 30 2e 6d 61 70 20 64 30 37 37 ntest10.map d077
0130: 36 32 31 38 33 62 33 65 61 33 65 34 39 31 33 36 62183b3ea3e49136
0140: 34 64 66 39 35 32 62 35 36 64 38 30 36 35 61 37 4df952b56d8065a7
0150: 34 62 33 30 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 4b30.F maps/cont
0160: 65 73 74 32 2e 6d 61 70 20 36 61 61 33 37 33 37 est2.map 6aa3737
0170: 65 34 37 39 39 35 30 63 61 63 37 63 61 36 65 63 e479950cac7ca6ec
0180: 62 37 31 38 37 30 61 32 38 31 32 63 34 64 35 39 b71870a2812c4d59
0190: 32 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 2.F maps/contest
01a0: 33 2e 6d 61 70 20 65 36 39 62 33 32 65 35 66 35 3.map e69b32e5f5
01b0: 35 63 63 33 31 31 62 64 34 33 36 31 36 36 63 38 5cc311bd436166c8
01c0: 31 66 37 38 64 30 35 30 37 65 38 39 33 62 0a 46 1f78d0507e893b.F
01d0: 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 34 2e 6d maps/contest4.m
01e0: 61 70 20 65 35 31 64 66 33 32 39 36 61 35 32 31 ap e51df3296a521
01f0: 30 37 30 32 66 62 65 62 37 37 64 35 39 30 30 37 0702fbeb77d59007
0200: 64 39 61 35 62 61 66 65 61 36 64 0a 46 20 6d 61 d9a5bafea6d.F ma
0210: 70 73 2f 63 6f 6e 74 65 73 74 35 2e 6d 61 70 20 ps/contest5.map
0220: 30 36 65 65 66 31 30 65 66 62 35 39 37 32 35 39 06eef10efb597259
0230: 64 33 35 62 31 30 35 38 32 64 30 62 39 34 32 61 d35b10582d0b942a
0240: 34 63 62 32 36 30 37 31 0a 46 20 6d 61 70 73 2f 4cb26071.F maps/
0250: 63 6f 6e 74 65 73 74 36 2e 6d 61 70 20 37 36 31 contest6.map 761
0260: 38 39 33 63 32 65 64 64 38 39 38 64 33 62 63 62 893c2edd898d3bcb
0270: 36 38 64 33 64 39 32 64 36 32 61 37 66 66 64 36 68d3d92d62a7ffd6
0280: 62 62 65 30 34 0a 46 20 6d 61 70 73 2f 63 6f 6e bbe04.F maps/con
0290: 74 65 73 74 37 2e 6d 61 70 20 65 39 63 65 39 35 test7.map e9ce95
02a0: 35 38 37 33 65 65 61 32 63 61 63 31 30 66 66 33 5873eea2cac10ff3
02b0: 33 39 64 65 62 66 35 39 38 30 65 31 35 31 64 38 39debf5980e151d8
02c0: 65 61 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 ea.F maps/contes
02d0: 74 38 2e 6d 61 70 20 61 33 35 64 66 61 32 39 34 t8.map a35dfa294
02e0: 35 38 39 64 61 35 37 37 39 39 30 36 32 31 34 36 589da57799062146
02f0: 61 38 39 38 31 37 38 32 30 61 61 37 38 31 33 0a a89817820aa7813.
0300: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 39 2e F maps/contest9.
0310: 6d 61 70 20 63 61 33 62 61 36 65 31 32 61 33 62 map ca3ba6e12a3b
0320: 32 37 62 62 35 63 66 39 61 34 30 39 36 30 39 62 27bb5cf9a409609b
0330: 37 33 62 31 30 35 37 66 32 36 61 33 0a 46 20 6d 73b1057f26a3.F m
0340: 61 70 73 2f 66 6c 6f 6f 64 31 2e 6d 61 70 20 31 aps/flood1.map 1
0350: 33 65 36 33 35 36 63 30 33 32 30 63 35 61 30 31 3e6356c0320c5a01
0360: 64 33 36 37 31 35 62 33 31 65 66 61 39 32 34 63 d36715b31efa924c
0370: 38 34 31 63 61 64 65 0a 46 20 6d 61 70 73 2f 66 841cade.F maps/f
0380: 6c 6f 6f 64 32 2e 6d 61 70 20 65 66 63 33 61 38 lood2.map efc3a8
0390: 62 36 30 61 66 34 65 35 37 34 65 38 32 66 34 64 b60af4e574e82f4d
03a0: 65 33 32 30 37 66 37 32 37 37 31 35 66 66 36 66 e3207f727715ff6f
03b0: 61 31 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 33 a1.F maps/flood3
03c0: 2e 6d 61 70 20 30 65 36 39 31 30 36 62 64 31 33 .map 0e69106bd13
03d0: 35 35 30 35 33 66 34 66 66 61 35 35 32 31 63 62 55053f4ffa5521cb
03e0: 62 62 64 30 33 33 32 36 31 30 63 62 65 0a 46 20 bbd0332610cbe.F
03f0: 6d 61 70 73 2f 66 6c 6f 6f 64 34 2e 6d 61 70 20 maps/flood4.map
0400: 63 39 63 39 37 64 63 31 61 33 66 37 38 30 66 38 c9c97dc1a3f780f8
0410: 61 31 66 63 35 63 30 64 31 63 30 38 34 39 39 62 a1fc5c0d1c08499b
0420: 33 66 30 38 35 38 32 33 0a 46 20 6d 61 70 73 2f 3f085823.F maps/
0430: 66 6c 6f 6f 64 35 2e 6d 61 70 20 63 31 32 36 63 flood5.map c126c
0440: 66 61 39 33 39 38 33 34 38 31 39 34 65 34 34 35 fa9398348194e445
0450: 30 33 36 34 36 61 64 62 37 62 63 30 63 62 35 38 03646adb7bc0cb58
0460: 66 37 35 0a 46 20 6d 61 70 73 2f 66 75 6e 31 2e f75.F maps/fun1.
0470: 6d 61 70 20 32 66 37 66 38 37 61 34 64 30 32 63 map 2f7f87a4d02c
0480: 36 34 34 38 61 61 37 31 38 62 37 33 36 64 36 32 6448aa718b736d62
0490: 33 31 62 36 36 64 66 65 61 35 38 61 0a 46 20 6d 31b66dfea58a.F m
04a0: 61 70 73 2f 74 65 73 74 31 2e 6d 61 70 20 62 39 aps/test1.map b9
04b0: 61 34 38 64 38 32 64 36 34 64 65 39 31 62 36 34 a48d82d64de91b64
04c0: 64 64 32 37 39 38 37 35 66 32 33 64 35 30 61 39 dd279875f23d50a9
04d0: 32 62 64 66 35 38 0a 46 20 6d 61 70 73 2f 74 72 2bdf58.F maps/tr
04e0: 61 6d 70 6f 6c 69 6e 65 31 2e 6d 61 70 20 35 61 ampoline1.map 5a
04f0: 66 36 39 37 63 30 30 30 33 64 35 35 31 36 63 38 f697c0003d5516c8
0500: 62 30 39 61 66 64 36 63 32 65 62 64 64 32 30 39 b09afd6c2ebdd209
0510: 66 38 66 64 64 36 0a 46 20 6d 61 70 73 2f 74 72 f8fdd6.F maps/tr
0520: 61 6d 70 6f 6c 69 6e 65 32 2e 6d 61 70 20 32 38 ampoline2.map 28
0530: 38 66 39 64 30 35 35 63 32 37 37 37 66 61 64 36 8f9d055c2777fad6
0540: 39 61 32 65 65 32 32 62 37 33 32 65 31 39 38 33 9a2ee22b732e1983
0550: 30 39 36 39 38 64 0a 46 20 6d 61 70 73 2f 74 72 09698d.F maps/tr
0560: 61 6d 70 6f 6c 69 6e 65 33 2e 6d 61 70 20 37 66 ampoline3.map 7f
0570: 63 66 39 30 63 31 63 61 33 37 33 63 34 31 37 66 cf90c1ca373c417f
0580: 31 64 66 34 65 61 38 38 38 32 31 62 37 63 34 63 1df4ea88821b7c4c
0590: 30 30 61 63 32 35 0a 46 20 6d 61 70 73 2f 74 72 00ac25.F maps/tr
05a0: 61 6d 70 6f 6c 69 6e 65 34 2e 6d 61 70 20 32 38 ampoline4.map 28
05b0: 38 66 39 64 30 35 35 63 32 37 37 37 66 61 64 36 8f9d055c2777fad6
05c0: 39 61 32 65 65 32 32 62 37 33 32 65 31 39 38 33 9a2ee22b732e1983
05d0: 30 39 36 39 38 64 0a 46 20 73 72 63 2f 63 75 69 09698d.F src/cui
05e0: 5f 61 75 74 6f 5f 6d 61 69 6e 2e 64 20 62 33 38 _auto_main.d b38
05f0: 64 36 30 65 61 33 39 64 31 31 65 36 65 62 38 38 d60ea39d11e6eb88
0600: 30 63 66 39 31 65 37 33 33 65 64 33 35 66 63 32 0cf91e733ed35fc2
0610: 62 37 64 36 33 0a 46 20 73 72 63 2f 67 61 6d 65 b7d63.F src/game
0620: 2e 64 20 33 62 61 61 62 30 64 64 66 31 31 63 63 .d 3baab0ddf11cc
0630: 61 37 64 34 64 33 65 65 34 64 38 37 66 36 63 39 a7d4d3ee4d87f6c9
0640: 63 37 37 33 39 34 39 61 38 66 66 0a 46 20 73 72 c773949a8ff.F sr
0650: 63 2f 67 75 69 2e 64 20 36 66 39 64 30 66 38 32 c/gui.d 6f9d0f82
0660: 63 35 35 61 32 31 35 32 62 61 30 37 39 34 34 36 c55a2152ba079446
0670: 39 31 36 34 65 38 32 65 36 30 65 37 33 36 32 31 9164e82e60e73621
0680: 0a 46 20 73 72 63 2f 67 75 69 5f 6d 61 69 6e 2e .F src/gui_main.
0690: 64 20 30 35 30 38 32 64 30 66 33 32 38 64 37 35 d 05082d0f328d75
06a0: 36 63 35 64 32 34 37 66 35 38 37 32 35 37 31 32 6c5d247f58725712
06b0: 33 37 37 38 65 65 37 66 61 37 0a 46 20 73 72 63 3778ee7fa7.F src
06c0: 2f 6f 75 74 70 75 74 2e 64 20 36 32 65 36 30 34 /output.d 62e604
06d0: 30 37 31 34 34 33 38 65 66 66 31 32 37 34 36 34 0714438eff127464
06e0: 35 36 66 39 35 35 35 39 30 31 63 31 30 65 35 31 56f9555901c10e51
06f0: 64 31 0a 46 20 73 72 63 2f 73 6f 6c 76 65 72 2e d1.F src/solver.
0700: 64 20 36 39 63 31 39 64 35 66 65 31 39 37 65 61 d 69c19d5fe197ea
0710: 61 64 61 30 35 31 36 37 36 37 64 66 30 37 31 33 ada0516767df0713
0720: 65 34 33 32 38 35 66 39 32 30 0a 46 20 73 72 63 e43285f920.F src
0730: 2f 75 74 69 6c 2e 64 20 37 38 33 35 35 34 62 66 /util.d 783554bf
0740: 36 36 37 34 31 32 65 64 36 66 38 32 61 37 39 34 667412ed6f82a794
0750: 33 37 38 31 36 30 64 31 66 31 31 32 64 37 32 61 378160d1f112d72a
0760: 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 50 41 .F submission/PA
0770: 43 4b 41 47 45 53 20 64 61 33 39 61 33 65 65 35 CKAGES da39a3ee5
0780: 65 36 62 34 62 30 64 33 32 35 35 62 66 65 66 39 e6b4b0d3255bfef9
0790: 35 36 30 31 38 39 30 61 66 64 38 30 37 30 39 0a 5601890afd80709.
07a0: 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 52 45 41 F submission/REA
07b0: 44 4d 45 20 39 63 65 30 36 33 38 35 35 66 34 31 DME 9ce063855f41
07c0: 66 66 30 35 38 61 37 64 63 64 36 39 30 33 38 36 ff058a7dcd690386
07d0: 35 66 30 33 64 33 65 37 35 65 61 63 0a 46 20 73 5f03d3e75eac.F s
07e0: 75 62 6d 69 73 73 69 6f 6e 2f 69 6e 73 74 61 6c ubmission/instal
07f0: 6c 20 62 65 37 37 36 62 63 66 62 63 31 33 66 63 l be776bcfbc13fc
0800: 62 66 63 34 61 61 65 61 39 37 39 66 37 65 34 64 bfc4aaea979f7e4d
0810: 39 37 38 66 61 37 32 66 37 61 20 78 0a 46 20 73 978fa72f7a x.F s
0820: 75 62 6d 69 73 73 69 6f 6e 2f 6c 69 66 74 65 72 ubmission/lifter
0830: 20 35 31 30 33 66 35 35 66 35 33 32 33 66 62 33 5103f55f5323fb3
0840: 66 65 63 32 65 65 62 37 62 31 38 66 66 32 34 30 fec2eeb7b18ff240
0850: 66 65 33 33 36 38 63 31 34 20 78 0a 50 20 39 39 fe3368c14 x.P 99
0860: 64 32 37 64 31 61 30 33 39 65 33 64 35 30 35 39 d27d1a039e3d5059
0870: 37 62 31 33 33 31 34 34 62 31 35 37 39 34 64 35 7b133144b15794d5
0880: 66 30 38 66 39 66 20 33 30 63 36 31 64 30 64 39 f08f9f 30c61d0d9
0890: 30 35 33 34 63 66 65 38 30 39 30 35 39 39 66 34 0534cfe8090599f4
08a0: 34 62 63 39 34 36 36 37 31 34 37 32 33 36 66 0a 4bc94667147236f.
08b0: 52 20 63 32 35 61 34 30 34 32 35 39 64 62 61 39 R c25a404259dba9
08c0: 39 65 34 34 33 35 31 36 34 32 61 35 35 33 62 62 9e44351642a553bb
08d0: 39 36 0a 55 20 6b 69 6e 61 62 61 0a 5a 20 33 31 96.U kinaba.Z 31
08e0: 61 65 39 35 66 37 36 66 33 30 31 64 31 34 63 63 ae95f76f301d14cc
08f0: 62 62 31 62 34 34 65 39 37 64 31 62 61 36 0a bb1b44e97d1ba6.