Artifact 3a08e528e71ee872f10fae14328efc3e2766480c:
Manifest of check-in
[3a08e528e7]
- Using razor.
by
kinaba on
2012-07-15 02:11:16.
0000: 43 20 55 73 69 6e 67 5c 73 72 61 7a 6f 72 2e 0a C Using\srazor..
0010: 44 20 32 30 31 32 2d 30 37 2d 31 35 54 30 32 3a D 2012-07-15T02:
0020: 31 31 3a 31 36 2e 30 32 38 0a 46 20 69 63 66 70 11:16.028.F icfp
0030: 2d 39 36 35 33 33 36 33 32 2e 74 67 7a 20 39 34 -96533632.tgz 94
0040: 33 33 32 39 63 33 30 30 37 32 39 38 39 66 39 37 3329c30072989f97
0050: 33 61 66 36 35 39 32 61 36 35 63 30 62 37 62 66 3af6592a65c0b7bf
0060: 61 31 64 39 62 64 0a 46 20 6d 61 6b 65 2d 73 75 a1d9bd.F make-su
0070: 62 6d 69 73 73 69 6f 6e 20 62 64 37 61 39 31 31 bmission bd7a911
0080: 63 31 34 31 61 65 35 34 34 64 65 36 64 64 39 30 c141ae544de6dd90
0090: 34 30 64 61 36 39 32 64 34 31 30 34 31 32 62 33 40da692d410412b3
00a0: 66 20 78 0a 46 20 6d 61 70 73 2f 31 30 30 78 31 f x.F maps/100x1
00b0: 30 30 2e 6d 61 70 20 35 62 65 61 66 36 66 61 64 00.map 5beaf6fad
00c0: 34 31 34 33 38 33 30 31 62 38 61 64 39 65 61 30 41438301b8ad9ea0
00d0: 31 65 61 36 63 34 36 63 34 66 31 37 66 38 31 0a 1ea6c46c4f17f81.
00e0: 46 20 6d 61 70 73 2f 62 65 61 72 64 31 2e 6d 61 F maps/beard1.ma
00f0: 70 20 62 62 36 39 32 36 37 39 33 61 35 31 33 31 p bb6926793a5131
0100: 31 61 34 39 35 35 37 31 36 37 37 61 30 31 61 38 1a495571677a01a8
0110: 62 34 62 35 38 66 63 31 38 30 0a 46 20 6d 61 70 b4b58fc180.F map
0120: 73 2f 62 65 61 72 64 32 2e 6d 61 70 20 32 65 39 s/beard2.map 2e9
0130: 34 32 30 30 39 63 38 39 37 31 37 64 37 35 38 31 42009c89717d7581
0140: 62 62 30 37 34 39 38 38 32 35 63 61 36 35 39 37 bb07498825ca6597
0150: 35 64 36 39 38 0a 46 20 6d 61 70 73 2f 62 65 61 5d698.F maps/bea
0160: 72 64 33 2e 6d 61 70 20 31 64 63 61 62 33 34 30 rd3.map 1dcab340
0170: 34 39 33 38 35 37 64 30 30 39 32 38 63 36 31 39 493857d00928c619
0180: 34 39 30 63 39 65 30 64 36 37 35 30 31 62 66 33 490c9e0d67501bf3
0190: 0a 46 20 6d 61 70 73 2f 62 65 61 72 64 34 2e 6d .F maps/beard4.m
01a0: 61 70 20 62 36 32 39 36 37 65 62 34 37 61 35 66 ap b62967eb47a5f
01b0: 35 30 37 30 30 34 37 66 37 39 36 66 30 37 32 34 5070047f796f0724
01c0: 62 61 31 65 32 61 66 33 64 38 32 0a 46 20 6d 61 ba1e2af3d82.F ma
01d0: 70 73 2f 63 6f 6e 74 65 73 74 31 2e 6d 61 70 20 ps/contest1.map
01e0: 65 66 32 31 66 35 39 64 30 37 32 62 64 65 65 65 ef21f59d072bdeee
01f0: 38 66 39 36 33 39 37 36 63 39 30 66 33 66 32 62 8f963976c90f3f2b
0200: 31 64 37 63 63 39 39 65 0a 46 20 6d 61 70 73 2f 1d7cc99e.F maps/
0210: 63 6f 6e 74 65 73 74 31 30 2e 6d 61 70 20 64 30 contest10.map d0
0220: 37 37 36 32 31 38 33 62 33 65 61 33 65 34 39 31 7762183b3ea3e491
0230: 33 36 34 64 66 39 35 32 62 35 36 64 38 30 36 35 364df952b56d8065
0240: 61 37 34 62 33 30 0a 46 20 6d 61 70 73 2f 63 6f a74b30.F maps/co
0250: 6e 74 65 73 74 32 2e 6d 61 70 20 36 61 61 33 37 ntest2.map 6aa37
0260: 33 37 65 34 37 39 39 35 30 63 61 63 37 63 61 36 37e479950cac7ca6
0270: 65 63 62 37 31 38 37 30 61 32 38 31 32 63 34 64 ecb71870a2812c4d
0280: 35 39 32 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 592.F maps/conte
0290: 73 74 33 2e 6d 61 70 20 65 36 39 62 33 32 65 35 st3.map e69b32e5
02a0: 66 35 35 63 63 33 31 31 62 64 34 33 36 31 36 36 f55cc311bd436166
02b0: 63 38 31 66 37 38 64 30 35 30 37 65 38 39 33 62 c81f78d0507e893b
02c0: 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 34 .F maps/contest4
02d0: 2e 6d 61 70 20 65 35 31 64 66 33 32 39 36 61 35 .map e51df3296a5
02e0: 32 31 30 37 30 32 66 62 65 62 37 37 64 35 39 30 210702fbeb77d590
02f0: 30 37 64 39 61 35 62 61 66 65 61 36 64 0a 46 20 07d9a5bafea6d.F
0300: 6d 61 70 73 2f 63 6f 6e 74 65 73 74 35 2e 6d 61 maps/contest5.ma
0310: 70 20 30 36 65 65 66 31 30 65 66 62 35 39 37 32 p 06eef10efb5972
0320: 35 39 64 33 35 62 31 30 35 38 32 64 30 62 39 34 59d35b10582d0b94
0330: 32 61 34 63 62 32 36 30 37 31 0a 46 20 6d 61 70 2a4cb26071.F map
0340: 73 2f 63 6f 6e 74 65 73 74 36 2e 6d 61 70 20 37 s/contest6.map 7
0350: 36 31 38 39 33 63 32 65 64 64 38 39 38 64 33 62 61893c2edd898d3b
0360: 63 62 36 38 64 33 64 39 32 64 36 32 61 37 66 66 cb68d3d92d62a7ff
0370: 64 36 62 62 65 30 34 0a 46 20 6d 61 70 73 2f 63 d6bbe04.F maps/c
0380: 6f 6e 74 65 73 74 37 2e 6d 61 70 20 65 39 63 65 ontest7.map e9ce
0390: 39 35 35 38 37 33 65 65 61 32 63 61 63 31 30 66 955873eea2cac10f
03a0: 66 33 33 39 64 65 62 66 35 39 38 30 65 31 35 31 f339debf5980e151
03b0: 64 38 65 61 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 d8ea.F maps/cont
03c0: 65 73 74 38 2e 6d 61 70 20 61 33 35 64 66 61 32 est8.map a35dfa2
03d0: 39 34 35 38 39 64 61 35 37 37 39 39 30 36 32 31 94589da577990621
03e0: 34 36 61 38 39 38 31 37 38 32 30 61 61 37 38 31 46a89817820aa781
03f0: 33 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 3.F maps/contest
0400: 39 2e 6d 61 70 20 63 61 33 62 61 36 65 31 32 61 9.map ca3ba6e12a
0410: 33 62 32 37 62 62 35 63 66 39 61 34 30 39 36 30 3b27bb5cf9a40960
0420: 39 62 37 33 62 31 30 35 37 66 32 36 61 33 0a 46 9b73b1057f26a3.F
0430: 20 6d 61 70 73 2f 66 6c 6f 6f 64 31 2e 6d 61 70 maps/flood1.map
0440: 20 31 33 65 36 33 35 36 63 30 33 32 30 63 35 61 13e6356c0320c5a
0450: 30 31 64 33 36 37 31 35 62 33 31 65 66 61 39 32 01d36715b31efa92
0460: 34 63 38 34 31 63 61 64 65 0a 46 20 6d 61 70 73 4c841cade.F maps
0470: 2f 66 6c 6f 6f 64 32 2e 6d 61 70 20 65 66 63 33 /flood2.map efc3
0480: 61 38 62 36 30 61 66 34 65 35 37 34 65 38 32 66 a8b60af4e574e82f
0490: 34 64 65 33 32 30 37 66 37 32 37 37 31 35 66 66 4de3207f727715ff
04a0: 36 66 61 31 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 6fa1.F maps/floo
04b0: 64 33 2e 6d 61 70 20 30 65 36 39 31 30 36 62 64 d3.map 0e69106bd
04c0: 31 33 35 35 30 35 33 66 34 66 66 61 35 35 32 31 1355053f4ffa5521
04d0: 63 62 62 62 64 30 33 33 32 36 31 30 63 62 65 0a cbbbd0332610cbe.
04e0: 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 34 2e 6d 61 F maps/flood4.ma
04f0: 70 20 63 39 63 39 37 64 63 31 61 33 66 37 38 30 p c9c97dc1a3f780
0500: 66 38 61 31 66 63 35 63 30 64 31 63 30 38 34 39 f8a1fc5c0d1c0849
0510: 39 62 33 66 30 38 35 38 32 33 0a 46 20 6d 61 70 9b3f085823.F map
0520: 73 2f 66 6c 6f 6f 64 35 2e 6d 61 70 20 63 31 32 s/flood5.map c12
0530: 36 63 66 61 39 33 39 38 33 34 38 31 39 34 65 34 6cfa9398348194e4
0540: 34 35 30 33 36 34 36 61 64 62 37 62 63 30 63 62 4503646adb7bc0cb
0550: 35 38 66 37 35 0a 46 20 6d 61 70 73 2f 66 75 6e 58f75.F maps/fun
0560: 31 2e 6d 61 70 20 32 66 37 66 38 37 61 34 64 30 1.map 2f7f87a4d0
0570: 32 63 36 34 34 38 61 61 37 31 38 62 37 33 36 64 2c6448aa718b736d
0580: 36 32 33 31 62 36 36 64 66 65 61 35 38 61 0a 46 6231b66dfea58a.F
0590: 20 6d 61 70 73 2f 74 65 73 74 31 2e 6d 61 70 20 maps/test1.map
05a0: 62 39 61 34 38 64 38 32 64 36 34 64 65 39 31 62 b9a48d82d64de91b
05b0: 36 34 64 64 32 37 39 38 37 35 66 32 33 64 35 30 64dd279875f23d50
05c0: 61 39 32 62 64 66 35 38 0a 46 20 6d 61 70 73 2f a92bdf58.F maps/
05d0: 74 72 61 6d 70 6f 6c 69 6e 65 31 2e 6d 61 70 20 trampoline1.map
05e0: 35 61 66 36 39 37 63 30 30 30 33 64 35 35 31 36 5af697c0003d5516
05f0: 63 38 62 30 39 61 66 64 36 63 32 65 62 64 64 32 c8b09afd6c2ebdd2
0600: 30 39 66 38 66 64 64 36 0a 46 20 6d 61 70 73 2f 09f8fdd6.F maps/
0610: 74 72 61 6d 70 6f 6c 69 6e 65 32 2e 6d 61 70 20 trampoline2.map
0620: 32 38 38 66 39 64 30 35 35 63 32 37 37 37 66 61 288f9d055c2777fa
0630: 64 36 39 61 32 65 65 32 32 62 37 33 32 65 31 39 d69a2ee22b732e19
0640: 38 33 30 39 36 39 38 64 0a 46 20 6d 61 70 73 2f 8309698d.F maps/
0650: 74 72 61 6d 70 6f 6c 69 6e 65 33 2e 6d 61 70 20 trampoline3.map
0660: 37 66 63 66 39 30 63 31 63 61 33 37 33 63 34 31 7fcf90c1ca373c41
0670: 37 66 31 64 66 34 65 61 38 38 38 32 31 62 37 63 7f1df4ea88821b7c
0680: 34 63 30 30 61 63 32 35 0a 46 20 73 63 6f 72 65 4c00ac25.F score
0690: 5f 6d 65 6d 6f 2e 74 78 74 20 32 32 61 62 33 65 _memo.txt 22ab3e
06a0: 65 65 32 39 36 61 35 30 35 63 37 32 66 38 30 61 ee296a505c72f80a
06b0: 62 63 39 61 65 66 38 61 36 38 38 32 66 62 65 65 bc9aef8a6882fbee
06c0: 39 39 0a 46 20 73 72 63 2f 63 75 69 5f 61 75 74 99.F src/cui_aut
06d0: 6f 5f 6d 61 69 6e 2e 64 20 62 33 38 64 36 30 65 o_main.d b38d60e
06e0: 61 33 39 64 31 31 65 36 65 62 38 38 30 63 66 39 a39d11e6eb880cf9
06f0: 31 65 37 33 33 65 64 33 35 66 63 32 62 37 64 36 1e733ed35fc2b7d6
0700: 33 0a 46 20 73 72 63 2f 67 61 6d 65 2e 64 20 30 3.F src/game.d 0
0710: 39 38 34 32 63 39 31 34 62 33 64 39 39 66 30 32 9842c914b3d99f02
0720: 66 33 61 32 32 64 30 33 65 38 31 33 38 37 61 31 f3a22d03e81387a1
0730: 65 32 62 37 31 63 36 0a 46 20 73 72 63 2f 67 75 e2b71c6.F src/gu
0740: 69 2e 64 20 62 30 37 31 62 34 34 36 66 36 65 38 i.d b071b446f6e8
0750: 33 34 62 39 38 62 63 33 62 35 30 38 66 63 32 38 34b98bc3b508fc28
0760: 66 32 30 61 30 39 32 35 37 35 31 33 0a 46 20 73 f20a09257513.F s
0770: 72 63 2f 67 75 69 5f 6d 61 69 6e 2e 64 20 30 35 rc/gui_main.d 05
0780: 30 38 32 64 30 66 33 32 38 64 37 35 36 63 35 64 082d0f328d756c5d
0790: 32 34 37 66 35 38 37 32 35 37 31 32 33 37 37 38 247f587257123778
07a0: 65 65 37 66 61 37 0a 46 20 73 72 63 2f 6f 75 74 ee7fa7.F src/out
07b0: 70 75 74 2e 64 20 36 32 65 36 30 34 30 37 31 34 put.d 62e6040714
07c0: 34 33 38 65 66 66 31 32 37 34 36 34 35 36 66 39 438eff12746456f9
07d0: 35 35 35 39 30 31 63 31 30 65 35 31 64 31 0a 46 555901c10e51d1.F
07e0: 20 73 72 63 2f 73 6f 6c 76 65 72 2e 64 20 36 37 src/solver.d 67
07f0: 33 64 38 34 30 61 30 65 31 61 32 37 36 39 30 39 3d840a0e1a276909
0800: 35 32 32 30 33 35 62 31 62 37 36 33 63 64 35 30 522035b1b763cd50
0810: 64 34 36 34 37 35 0a 46 20 73 72 63 2f 75 74 69 d46475.F src/uti
0820: 6c 2e 64 20 30 36 36 35 39 37 30 62 34 37 62 61 l.d 0665970b47ba
0830: 36 33 65 64 62 31 66 36 32 64 32 38 66 33 37 36 63edb1f62d28f376
0840: 33 66 62 31 31 32 36 64 32 63 31 62 0a 46 20 73 3fb1126d2c1b.F s
0850: 75 62 6d 69 73 73 69 6f 6e 2f 50 41 43 4b 41 47 ubmission/PACKAG
0860: 45 53 20 64 61 33 39 61 33 65 65 35 65 36 62 34 ES da39a3ee5e6b4
0870: 62 30 64 33 32 35 35 62 66 65 66 39 35 36 30 31 b0d3255bfef95601
0880: 38 39 30 61 66 64 38 30 37 30 39 0a 46 20 73 75 890afd80709.F su
0890: 62 6d 69 73 73 69 6f 6e 2f 52 45 41 44 4d 45 20 bmission/README
08a0: 39 63 65 30 36 33 38 35 35 66 34 31 66 66 30 35 9ce063855f41ff05
08b0: 38 61 37 64 63 64 36 39 30 33 38 36 35 66 30 33 8a7dcd6903865f03
08c0: 64 33 65 37 35 65 61 63 0a 46 20 73 75 62 6d 69 d3e75eac.F submi
08d0: 73 73 69 6f 6e 2f 69 6e 73 74 61 6c 6c 20 62 65 ssion/install be
08e0: 37 37 36 62 63 66 62 63 31 33 66 63 62 66 63 34 776bcfbc13fcbfc4
08f0: 61 61 65 61 39 37 39 66 37 65 34 64 39 37 38 66 aaea979f7e4d978f
0900: 61 37 32 66 37 61 20 78 0a 46 20 73 75 62 6d 69 a72f7a x.F submi
0910: 73 73 69 6f 6e 2f 6c 69 66 74 65 72 20 35 31 30 ssion/lifter 510
0920: 33 66 35 35 66 35 33 32 33 66 62 33 66 65 63 32 3f55f5323fb3fec2
0930: 65 65 62 37 62 31 38 66 66 32 34 30 66 65 33 33 eeb7b18ff240fe33
0940: 36 38 63 31 34 20 78 0a 50 20 34 31 63 37 33 35 68c14 x.P 41c735
0950: 30 36 66 62 35 32 34 35 33 33 34 33 32 37 39 32 06fb524533432792
0960: 38 38 61 30 32 33 34 39 35 33 32 38 62 37 35 36 88a023495328b756
0970: 65 37 0a 52 20 39 61 30 39 38 34 37 64 33 33 38 e7.R 9a09847d338
0980: 37 36 61 39 33 66 37 66 37 37 65 36 39 30 65 62 76a93f7f77e690eb
0990: 33 62 38 35 62 0a 55 20 6b 69 6e 61 62 61 0a 5a 3b85b.U kinaba.Z
09a0: 20 35 64 66 63 38 61 31 38 65 33 39 33 38 66 64 5dfc8a18e3938fd
09b0: 61 38 33 32 66 33 65 30 38 34 66 62 61 63 64 36 a832f3e084fbacd6
09c0: 39 0a 9.