Artifact fc9286dad1b67886e1383a5319816cdec6520152:
Manifest of check-in
[fc9286dad1]
- uum
by
kinaba on
2012-07-15 12:11:33.
0000: 43 20 75 75 6d 0a 44 20 32 30 31 32 2d 30 37 2d C uum.D 2012-07-
0010: 31 35 54 31 32 3a 31 31 3a 33 33 2e 30 36 33 0a 15T12:11:33.063.
0020: 46 20 69 63 66 70 2d 39 36 35 33 33 36 33 32 2e F icfp-96533632.
0030: 74 67 7a 20 39 34 33 33 32 39 63 33 30 30 37 32 tgz 943329c30072
0040: 39 38 39 66 39 37 33 61 66 36 35 39 32 61 36 35 989f973af6592a65
0050: 63 30 62 37 62 66 61 31 64 39 62 64 0a 46 20 6d c0b7bfa1d9bd.F m
0060: 61 6b 65 2d 73 75 62 6d 69 73 73 69 6f 6e 20 62 ake-submission b
0070: 64 37 61 39 31 31 63 31 34 31 61 65 35 34 34 64 d7a911c141ae544d
0080: 65 36 64 64 39 30 34 30 64 61 36 39 32 64 34 31 e6dd9040da692d41
0090: 30 34 31 32 62 33 66 20 78 0a 46 20 6d 61 70 73 0412b3f x.F maps
00a0: 2f 31 30 30 78 31 30 30 2e 6d 61 70 20 35 62 65 /100x100.map 5be
00b0: 61 66 36 66 61 64 34 31 34 33 38 33 30 31 62 38 af6fad41438301b8
00c0: 61 64 39 65 61 30 31 65 61 36 63 34 36 63 34 66 ad9ea01ea6c46c4f
00d0: 31 37 66 38 31 0a 46 20 6d 61 70 73 2f 34 30 78 17f81.F maps/40x
00e0: 34 30 2e 6d 61 70 20 30 36 64 63 33 36 32 65 66 40.map 06dc362ef
00f0: 31 36 66 34 32 35 64 64 30 31 64 35 65 66 31 31 16f425dd01d5ef11
0100: 35 33 31 31 62 32 61 37 62 33 36 39 66 65 30 0a 5311b2a7b369fe0.
0110: 46 20 6d 61 70 73 2f 62 65 61 72 64 31 2e 6d 61 F maps/beard1.ma
0120: 70 20 62 62 36 39 32 36 37 39 33 61 35 31 33 31 p bb6926793a5131
0130: 31 61 34 39 35 35 37 31 36 37 37 61 30 31 61 38 1a495571677a01a8
0140: 62 34 62 35 38 66 63 31 38 30 0a 46 20 6d 61 70 b4b58fc180.F map
0150: 73 2f 62 65 61 72 64 32 2e 6d 61 70 20 32 65 39 s/beard2.map 2e9
0160: 34 32 30 30 39 63 38 39 37 31 37 64 37 35 38 31 42009c89717d7581
0170: 62 62 30 37 34 39 38 38 32 35 63 61 36 35 39 37 bb07498825ca6597
0180: 35 64 36 39 38 0a 46 20 6d 61 70 73 2f 62 65 61 5d698.F maps/bea
0190: 72 64 33 2e 6d 61 70 20 31 64 63 61 62 33 34 30 rd3.map 1dcab340
01a0: 34 39 33 38 35 37 64 30 30 39 32 38 63 36 31 39 493857d00928c619
01b0: 34 39 30 63 39 65 30 64 36 37 35 30 31 62 66 33 490c9e0d67501bf3
01c0: 0a 46 20 6d 61 70 73 2f 62 65 61 72 64 34 2e 6d .F maps/beard4.m
01d0: 61 70 20 62 36 32 39 36 37 65 62 34 37 61 35 66 ap b62967eb47a5f
01e0: 35 30 37 30 30 34 37 66 37 39 36 66 30 37 32 34 5070047f796f0724
01f0: 62 61 31 65 32 61 66 33 64 38 32 0a 46 20 6d 61 ba1e2af3d82.F ma
0200: 70 73 2f 63 6f 6e 74 65 73 74 31 2e 6d 61 70 20 ps/contest1.map
0210: 65 66 32 31 66 35 39 64 30 37 32 62 64 65 65 65 ef21f59d072bdeee
0220: 38 66 39 36 33 39 37 36 63 39 30 66 33 66 32 62 8f963976c90f3f2b
0230: 31 64 37 63 63 39 39 65 0a 46 20 6d 61 70 73 2f 1d7cc99e.F maps/
0240: 63 6f 6e 74 65 73 74 31 30 2e 6d 61 70 20 64 30 contest10.map d0
0250: 37 37 36 32 31 38 33 62 33 65 61 33 65 34 39 31 7762183b3ea3e491
0260: 33 36 34 64 66 39 35 32 62 35 36 64 38 30 36 35 364df952b56d8065
0270: 61 37 34 62 33 30 0a 46 20 6d 61 70 73 2f 63 6f a74b30.F maps/co
0280: 6e 74 65 73 74 32 2e 6d 61 70 20 36 61 61 33 37 ntest2.map 6aa37
0290: 33 37 65 34 37 39 39 35 30 63 61 63 37 63 61 36 37e479950cac7ca6
02a0: 65 63 62 37 31 38 37 30 61 32 38 31 32 63 34 64 ecb71870a2812c4d
02b0: 35 39 32 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 592.F maps/conte
02c0: 73 74 33 2e 6d 61 70 20 65 36 39 62 33 32 65 35 st3.map e69b32e5
02d0: 66 35 35 63 63 33 31 31 62 64 34 33 36 31 36 36 f55cc311bd436166
02e0: 63 38 31 66 37 38 64 30 35 30 37 65 38 39 33 62 c81f78d0507e893b
02f0: 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 34 .F maps/contest4
0300: 2e 6d 61 70 20 65 35 31 64 66 33 32 39 36 61 35 .map e51df3296a5
0310: 32 31 30 37 30 32 66 62 65 62 37 37 64 35 39 30 210702fbeb77d590
0320: 30 37 64 39 61 35 62 61 66 65 61 36 64 0a 46 20 07d9a5bafea6d.F
0330: 6d 61 70 73 2f 63 6f 6e 74 65 73 74 35 2e 6d 61 maps/contest5.ma
0340: 70 20 30 36 65 65 66 31 30 65 66 62 35 39 37 32 p 06eef10efb5972
0350: 35 39 64 33 35 62 31 30 35 38 32 64 30 62 39 34 59d35b10582d0b94
0360: 32 61 34 63 62 32 36 30 37 31 0a 46 20 6d 61 70 2a4cb26071.F map
0370: 73 2f 63 6f 6e 74 65 73 74 36 2e 6d 61 70 20 37 s/contest6.map 7
0380: 36 31 38 39 33 63 32 65 64 64 38 39 38 64 33 62 61893c2edd898d3b
0390: 63 62 36 38 64 33 64 39 32 64 36 32 61 37 66 66 cb68d3d92d62a7ff
03a0: 64 36 62 62 65 30 34 0a 46 20 6d 61 70 73 2f 63 d6bbe04.F maps/c
03b0: 6f 6e 74 65 73 74 37 2e 6d 61 70 20 65 39 63 65 ontest7.map e9ce
03c0: 39 35 35 38 37 33 65 65 61 32 63 61 63 31 30 66 955873eea2cac10f
03d0: 66 33 33 39 64 65 62 66 35 39 38 30 65 31 35 31 f339debf5980e151
03e0: 64 38 65 61 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 d8ea.F maps/cont
03f0: 65 73 74 38 2e 6d 61 70 20 61 33 35 64 66 61 32 est8.map a35dfa2
0400: 39 34 35 38 39 64 61 35 37 37 39 39 30 36 32 31 94589da577990621
0410: 34 36 61 38 39 38 31 37 38 32 30 61 61 37 38 31 46a89817820aa781
0420: 33 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 3.F maps/contest
0430: 39 2e 6d 61 70 20 63 61 33 62 61 36 65 31 32 61 9.map ca3ba6e12a
0440: 33 62 32 37 62 62 35 63 66 39 61 34 30 39 36 30 3b27bb5cf9a40960
0450: 39 62 37 33 62 31 30 35 37 66 32 36 61 33 0a 46 9b73b1057f26a3.F
0460: 20 6d 61 70 73 2f 66 6c 6f 6f 64 31 2e 6d 61 70 maps/flood1.map
0470: 20 31 33 65 36 33 35 36 63 30 33 32 30 63 35 61 13e6356c0320c5a
0480: 30 31 64 33 36 37 31 35 62 33 31 65 66 61 39 32 01d36715b31efa92
0490: 34 63 38 34 31 63 61 64 65 0a 46 20 6d 61 70 73 4c841cade.F maps
04a0: 2f 66 6c 6f 6f 64 32 2e 6d 61 70 20 65 66 63 33 /flood2.map efc3
04b0: 61 38 62 36 30 61 66 34 65 35 37 34 65 38 32 66 a8b60af4e574e82f
04c0: 34 64 65 33 32 30 37 66 37 32 37 37 31 35 66 66 4de3207f727715ff
04d0: 36 66 61 31 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 6fa1.F maps/floo
04e0: 64 33 2e 6d 61 70 20 30 65 36 39 31 30 36 62 64 d3.map 0e69106bd
04f0: 31 33 35 35 30 35 33 66 34 66 66 61 35 35 32 31 1355053f4ffa5521
0500: 63 62 62 62 64 30 33 33 32 36 31 30 63 62 65 0a cbbbd0332610cbe.
0510: 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 34 2e 6d 61 F maps/flood4.ma
0520: 70 20 63 39 63 39 37 64 63 31 61 33 66 37 38 30 p c9c97dc1a3f780
0530: 66 38 61 31 66 63 35 63 30 64 31 63 30 38 34 39 f8a1fc5c0d1c0849
0540: 39 62 33 66 30 38 35 38 32 33 0a 46 20 6d 61 70 9b3f085823.F map
0550: 73 2f 66 6c 6f 6f 64 35 2e 6d 61 70 20 63 31 32 s/flood5.map c12
0560: 36 63 66 61 39 33 39 38 33 34 38 31 39 34 65 34 6cfa9398348194e4
0570: 34 35 30 33 36 34 36 61 64 62 37 62 63 30 63 62 4503646adb7bc0cb
0580: 35 38 66 37 35 0a 46 20 6d 61 70 73 2f 66 75 6e 58f75.F maps/fun
0590: 31 2e 6d 61 70 20 32 66 37 66 38 37 61 34 64 30 1.map 2f7f87a4d0
05a0: 32 63 36 34 34 38 61 61 37 31 38 62 37 33 36 64 2c6448aa718b736d
05b0: 36 32 33 31 62 36 36 64 66 65 61 35 38 61 0a 46 6231b66dfea58a.F
05c0: 20 6d 61 70 73 2f 74 65 73 74 31 2e 6d 61 70 20 maps/test1.map
05d0: 62 39 61 34 38 64 38 32 64 36 34 64 65 39 31 62 b9a48d82d64de91b
05e0: 36 34 64 64 32 37 39 38 37 35 66 32 33 64 35 30 64dd279875f23d50
05f0: 61 39 32 62 64 66 35 38 0a 46 20 6d 61 70 73 2f a92bdf58.F maps/
0600: 74 72 61 6d 70 6f 6c 69 6e 65 31 2e 6d 61 70 20 trampoline1.map
0610: 35 61 66 36 39 37 63 30 30 30 33 64 35 35 31 36 5af697c0003d5516
0620: 63 38 62 30 39 61 66 64 36 63 32 65 62 64 64 32 c8b09afd6c2ebdd2
0630: 30 39 66 38 66 64 64 36 0a 46 20 6d 61 70 73 2f 09f8fdd6.F maps/
0640: 74 72 61 6d 70 6f 6c 69 6e 65 32 2e 6d 61 70 20 trampoline2.map
0650: 32 38 38 66 39 64 30 35 35 63 32 37 37 37 66 61 288f9d055c2777fa
0660: 64 36 39 61 32 65 65 32 32 62 37 33 32 65 31 39 d69a2ee22b732e19
0670: 38 33 30 39 36 39 38 64 0a 46 20 6d 61 70 73 2f 8309698d.F maps/
0680: 74 72 61 6d 70 6f 6c 69 6e 65 33 2e 6d 61 70 20 trampoline3.map
0690: 37 66 63 66 39 30 63 31 63 61 33 37 33 63 34 31 7fcf90c1ca373c41
06a0: 37 66 31 64 66 34 65 61 38 38 38 32 31 62 37 63 7f1df4ea88821b7c
06b0: 34 63 30 30 61 63 32 35 0a 46 20 73 63 6f 72 65 4c00ac25.F score
06c0: 5f 6d 65 6d 6f 2e 74 78 74 20 39 35 66 30 36 32 _memo.txt 95f062
06d0: 36 63 39 35 38 64 36 64 33 31 62 39 39 37 62 61 6c958d6d31b997ba
06e0: 34 65 34 37 37 39 31 33 62 38 62 35 33 38 35 64 4e477913b8b5385d
06f0: 32 37 0a 46 20 73 72 63 2f 4d 61 6b 65 66 69 6c 27.F src/Makefil
0700: 65 20 30 31 61 34 66 37 61 30 35 33 31 64 61 65 e 01a4f7a0531dae
0710: 37 31 35 62 30 38 36 31 39 61 39 65 64 62 62 31 715b08619a9edbb1
0720: 31 39 39 34 30 65 36 62 38 30 0a 46 20 73 72 63 19940e6b80.F src
0730: 2f 63 75 69 5f 61 75 74 6f 5f 6d 61 69 6e 2e 64 /cui_auto_main.d
0740: 20 62 33 38 64 36 30 65 61 33 39 64 31 31 65 36 b38d60ea39d11e6
0750: 65 62 38 38 30 63 66 39 31 65 37 33 33 65 64 33 eb880cf91e733ed3
0760: 35 66 63 32 62 37 64 36 33 0a 46 20 73 72 63 2f 5fc2b7d63.F src/
0770: 64 72 69 76 65 72 2e 64 20 33 64 31 35 66 66 32 driver.d 3d15ff2
0780: 30 65 37 36 31 36 34 62 38 33 31 30 31 64 30 65 0e76164b83101d0e
0790: 62 62 39 38 65 36 66 36 63 36 34 64 65 31 62 31 bb98e6f6c64de1b1
07a0: 62 0a 46 20 73 72 63 2f 67 61 6d 65 2e 64 20 66 b.F src/game.d f
07b0: 63 30 35 34 38 31 39 30 31 39 34 30 38 34 34 64 c05481901940844d
07c0: 66 33 64 62 66 32 30 62 64 61 39 61 32 65 64 32 f3dbf20bda9a2ed2
07d0: 65 36 37 37 39 64 64 0a 46 20 73 72 63 2f 67 75 e6779dd.F src/gu
07e0: 69 2e 64 20 65 38 34 63 61 63 64 36 32 36 32 66 i.d e84cacd6262f
07f0: 39 33 61 37 30 66 34 66 36 33 37 36 62 30 38 35 93a70f4f6376b085
0800: 31 61 63 36 33 35 34 32 61 36 31 37 0a 46 20 73 1ac63542a617.F s
0810: 72 63 2f 67 75 69 5f 6d 61 69 6e 2e 64 20 30 35 rc/gui_main.d 05
0820: 30 38 32 64 30 66 33 32 38 64 37 35 36 63 35 64 082d0f328d756c5d
0830: 32 34 37 66 35 38 37 32 35 37 31 32 33 37 37 38 247f587257123778
0840: 65 65 37 66 61 37 0a 46 20 73 72 63 2f 6f 75 74 ee7fa7.F src/out
0850: 70 75 74 2e 64 20 65 32 64 30 64 37 64 62 38 36 put.d e2d0d7db86
0860: 38 63 33 61 34 34 31 62 38 63 34 34 37 32 39 66 8c3a441b8c44729f
0870: 36 66 30 61 63 31 65 62 39 62 36 62 62 65 0a 46 6f0ac1eb9b6bbe.F
0880: 20 73 72 63 2f 73 6f 6c 76 65 72 2e 64 20 32 32 src/solver.d 22
0890: 63 33 35 36 66 66 31 39 37 35 65 39 32 66 31 32 c356ff1975e92f12
08a0: 66 34 35 65 61 65 36 31 66 31 35 31 63 37 63 32 f45eae61f151c7c2
08b0: 33 38 64 36 66 36 0a 46 20 73 72 63 2f 75 74 69 38d6f6.F src/uti
08c0: 6c 2e 64 20 62 37 36 62 65 31 66 36 61 64 39 37 l.d b76be1f6ad97
08d0: 37 64 35 36 37 35 32 64 63 66 31 36 31 36 64 37 7d56752dcf1616d7
08e0: 30 39 31 32 63 63 63 39 32 64 62 65 0a 46 20 73 0912ccc92dbe.F s
08f0: 75 62 6d 69 73 73 69 6f 6e 2f 50 41 43 4b 41 47 ubmission/PACKAG
0900: 45 53 20 64 61 33 39 61 33 65 65 35 65 36 62 34 ES da39a3ee5e6b4
0910: 62 30 64 33 32 35 35 62 66 65 66 39 35 36 30 31 b0d3255bfef95601
0920: 38 39 30 61 66 64 38 30 37 30 39 0a 46 20 73 75 890afd80709.F su
0930: 62 6d 69 73 73 69 6f 6e 2f 52 45 41 44 4d 45 20 bmission/README
0940: 39 63 65 30 36 33 38 35 35 66 34 31 66 66 30 35 9ce063855f41ff05
0950: 38 61 37 64 63 64 36 39 30 33 38 36 35 66 30 33 8a7dcd6903865f03
0960: 64 33 65 37 35 65 61 63 0a 46 20 73 75 62 6d 69 d3e75eac.F submi
0970: 73 73 69 6f 6e 2f 69 6e 73 74 61 6c 6c 20 62 65 ssion/install be
0980: 37 37 36 62 63 66 62 63 31 33 66 63 62 66 63 34 776bcfbc13fcbfc4
0990: 61 61 65 61 39 37 39 66 37 65 34 64 39 37 38 66 aaea979f7e4d978f
09a0: 61 37 32 66 37 61 20 78 0a 46 20 73 75 62 6d 69 a72f7a x.F submi
09b0: 73 73 69 6f 6e 2f 6c 69 66 74 65 72 20 35 31 30 ssion/lifter 510
09c0: 33 66 35 35 66 35 33 32 33 66 62 33 66 65 63 32 3f55f5323fb3fec2
09d0: 65 65 62 37 62 31 38 66 66 32 34 30 66 65 33 33 eeb7b18ff240fe33
09e0: 36 38 63 31 34 20 78 0a 50 20 61 30 33 35 38 34 68c14 x.P a03584
09f0: 66 31 63 36 31 31 33 66 39 35 61 61 36 36 33 38 f1c6113f95aa6638
0a00: 66 32 35 65 65 37 64 63 63 62 31 38 32 38 32 39 f25ee7dccb182829
0a10: 38 39 0a 52 20 37 36 62 61 64 66 66 65 65 63 39 89.R 76badffeec9
0a20: 63 66 38 36 66 63 65 36 38 35 63 62 39 61 34 35 cf86fce685cb9a45
0a30: 35 32 36 62 65 0a 54 20 2a 62 72 61 6e 63 68 20 526be.T *branch
0a40: 2a 20 72 65 64 65 73 69 67 6e 0a 54 20 2a 73 79 * redesign.T *sy
0a50: 6d 2d 72 65 64 65 73 69 67 6e 20 2a 0a 54 20 2d m-redesign *.T -
0a60: 73 79 6d 2d 74 72 75 6e 6b 20 2a 0a 55 20 6b 69 sym-trunk *.U ki
0a70: 6e 61 62 61 0a 5a 20 64 66 34 34 65 66 38 31 65 naba.Z df44ef81e
0a80: 64 36 32 32 39 34 38 37 37 33 38 36 33 66 37 32 d622948773863f72
0a90: 38 36 38 34 65 35 33 0a 8684e53.