Artifact 8acc8e6c78ff200ae4c6da882e29acc222ffc840:

Manifest of check-in [8acc8e6c78] - Prioritize distant lambda. by kinaba on 2012-07-15 07:02:32.

---

0000: 43 20 50 72 69 6f 72 69 74 69 7a 65 5c 73 64 69  C Prioritize\sdi
0010: 73 74 61 6e 74 5c 73 6c 61 6d 62 64 61 2e 0a 44  stant\slambda..D
0020: 20 32 30 31 32 2d 30 37 2d 31 35 54 30 37 3a 30   2012-07-15T07:0
0030: 32 3a 33 32 2e 33 33 32 0a 46 20 69 63 66 70 2d  2:32.332.F icfp-
0040: 39 36 35 33 33 36 33 32 2e 74 67 7a 20 39 34 33  96533632.tgz 943
0050: 33 32 39 63 33 30 30 37 32 39 38 39 66 39 37 33  329c30072989f973
0060: 61 66 36 35 39 32 61 36 35 63 30 62 37 62 66 61  af6592a65c0b7bfa
0070: 31 64 39 62 64 0a 46 20 6d 61 6b 65 2d 73 75 62  1d9bd.F make-sub
0080: 6d 69 73 73 69 6f 6e 20 62 64 37 61 39 31 31 63  mission bd7a911c
0090: 31 34 31 61 65 35 34 34 64 65 36 64 64 39 30 34  141ae544de6dd904
00a0: 30 64 61 36 39 32 64 34 31 30 34 31 32 62 33 66  0da692d410412b3f
00b0: 20 78 0a 46 20 6d 61 70 73 2f 31 30 30 78 31 30   x.F maps/100x10
00c0: 30 2e 6d 61 70 20 35 62 65 61 66 36 66 61 64 34  0.map 5beaf6fad4
00d0: 31 34 33 38 33 30 31 62 38 61 64 39 65 61 30 31  1438301b8ad9ea01
00e0: 65 61 36 63 34 36 63 34 66 31 37 66 38 31 0a 46  ea6c46c4f17f81.F
00f0: 20 6d 61 70 73 2f 34 30 78 34 30 2e 6d 61 70 20   maps/40x40.map 
0100: 30 36 64 63 33 36 32 65 66 31 36 66 34 32 35 64  06dc362ef16f425d
0110: 64 30 31 64 35 65 66 31 31 35 33 31 31 62 32 61  d01d5ef115311b2a
0120: 37 62 33 36 39 66 65 30 0a 46 20 6d 61 70 73 2f  7b369fe0.F maps/
0130: 62 65 61 72 64 31 2e 6d 61 70 20 62 62 36 39 32  beard1.map bb692
0140: 36 37 39 33 61 35 31 33 31 31 61 34 39 35 35 37  6793a51311a49557
0150: 31 36 37 37 61 30 31 61 38 62 34 62 35 38 66 63  1677a01a8b4b58fc
0160: 31 38 30 0a 46 20 6d 61 70 73 2f 62 65 61 72 64  180.F maps/beard
0170: 32 2e 6d 61 70 20 32 65 39 34 32 30 30 39 63 38  2.map 2e942009c8
0180: 39 37 31 37 64 37 35 38 31 62 62 30 37 34 39 38  9717d7581bb07498
0190: 38 32 35 63 61 36 35 39 37 35 64 36 39 38 0a 46  825ca65975d698.F
01a0: 20 6d 61 70 73 2f 62 65 61 72 64 33 2e 6d 61 70   maps/beard3.map
01b0: 20 31 64 63 61 62 33 34 30 34 39 33 38 35 37 64   1dcab340493857d
01c0: 30 30 39 32 38 63 36 31 39 34 39 30 63 39 65 30  00928c619490c9e0
01d0: 64 36 37 35 30 31 62 66 33 0a 46 20 6d 61 70 73  d67501bf3.F maps
01e0: 2f 62 65 61 72 64 34 2e 6d 61 70 20 62 36 32 39  /beard4.map b629
01f0: 36 37 65 62 34 37 61 35 66 35 30 37 30 30 34 37  67eb47a5f5070047
0200: 66 37 39 36 66 30 37 32 34 62 61 31 65 32 61 66  f796f0724ba1e2af
0210: 33 64 38 32 0a 46 20 6d 61 70 73 2f 63 6f 6e 74  3d82.F maps/cont
0220: 65 73 74 31 2e 6d 61 70 20 65 66 32 31 66 35 39  est1.map ef21f59
0230: 64 30 37 32 62 64 65 65 65 38 66 39 36 33 39 37  d072bdeee8f96397
0240: 36 63 39 30 66 33 66 32 62 31 64 37 63 63 39 39  6c90f3f2b1d7cc99
0250: 65 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74  e.F maps/contest
0260: 31 30 2e 6d 61 70 20 64 30 37 37 36 32 31 38 33  10.map d07762183
0270: 62 33 65 61 33 65 34 39 31 33 36 34 64 66 39 35  b3ea3e491364df95
0280: 32 62 35 36 64 38 30 36 35 61 37 34 62 33 30 0a  2b56d8065a74b30.
0290: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 32 2e  F maps/contest2.
02a0: 6d 61 70 20 36 61 61 33 37 33 37 65 34 37 39 39  map 6aa3737e4799
02b0: 35 30 63 61 63 37 63 61 36 65 63 62 37 31 38 37  50cac7ca6ecb7187
02c0: 30 61 32 38 31 32 63 34 64 35 39 32 0a 46 20 6d  0a2812c4d592.F m
02d0: 61 70 73 2f 63 6f 6e 74 65 73 74 33 2e 6d 61 70  aps/contest3.map
02e0: 20 65 36 39 62 33 32 65 35 66 35 35 63 63 33 31   e69b32e5f55cc31
02f0: 31 62 64 34 33 36 31 36 36 63 38 31 66 37 38 64  1bd436166c81f78d
0300: 30 35 30 37 65 38 39 33 62 0a 46 20 6d 61 70 73  0507e893b.F maps
0310: 2f 63 6f 6e 74 65 73 74 34 2e 6d 61 70 20 65 35  /contest4.map e5
0320: 31 64 66 33 32 39 36 61 35 32 31 30 37 30 32 66  1df3296a5210702f
0330: 62 65 62 37 37 64 35 39 30 30 37 64 39 61 35 62  beb77d59007d9a5b
0340: 61 66 65 61 36 64 0a 46 20 6d 61 70 73 2f 63 6f  afea6d.F maps/co
0350: 6e 74 65 73 74 35 2e 6d 61 70 20 30 36 65 65 66  ntest5.map 06eef
0360: 31 30 65 66 62 35 39 37 32 35 39 64 33 35 62 31  10efb597259d35b1
0370: 30 35 38 32 64 30 62 39 34 32 61 34 63 62 32 36  0582d0b942a4cb26
0380: 30 37 31 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65  071.F maps/conte
0390: 73 74 36 2e 6d 61 70 20 37 36 31 38 39 33 63 32  st6.map 761893c2
03a0: 65 64 64 38 39 38 64 33 62 63 62 36 38 64 33 64  edd898d3bcb68d3d
03b0: 39 32 64 36 32 61 37 66 66 64 36 62 62 65 30 34  92d62a7ffd6bbe04
03c0: 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 37  .F maps/contest7
03d0: 2e 6d 61 70 20 65 39 63 65 39 35 35 38 37 33 65  .map e9ce955873e
03e0: 65 61 32 63 61 63 31 30 66 66 33 33 39 64 65 62  ea2cac10ff339deb
03f0: 66 35 39 38 30 65 31 35 31 64 38 65 61 0a 46 20  f5980e151d8ea.F 
0400: 6d 61 70 73 2f 63 6f 6e 74 65 73 74 38 2e 6d 61  maps/contest8.ma
0410: 70 20 61 33 35 64 66 61 32 39 34 35 38 39 64 61  p a35dfa294589da
0420: 35 37 37 39 39 30 36 32 31 34 36 61 38 39 38 31  57799062146a8981
0430: 37 38 32 30 61 61 37 38 31 33 0a 46 20 6d 61 70  7820aa7813.F map
0440: 73 2f 63 6f 6e 74 65 73 74 39 2e 6d 61 70 20 63  s/contest9.map c
0450: 61 33 62 61 36 65 31 32 61 33 62 32 37 62 62 35  a3ba6e12a3b27bb5
0460: 63 66 39 61 34 30 39 36 30 39 62 37 33 62 31 30  cf9a409609b73b10
0470: 35 37 66 32 36 61 33 0a 46 20 6d 61 70 73 2f 66  57f26a3.F maps/f
0480: 6c 6f 6f 64 31 2e 6d 61 70 20 31 33 65 36 33 35  lood1.map 13e635
0490: 36 63 30 33 32 30 63 35 61 30 31 64 33 36 37 31  6c0320c5a01d3671
04a0: 35 62 33 31 65 66 61 39 32 34 63 38 34 31 63 61  5b31efa924c841ca
04b0: 64 65 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 32  de.F maps/flood2
04c0: 2e 6d 61 70 20 65 66 63 33 61 38 62 36 30 61 66  .map efc3a8b60af
04d0: 34 65 35 37 34 65 38 32 66 34 64 65 33 32 30 37  4e574e82f4de3207
04e0: 66 37 32 37 37 31 35 66 66 36 66 61 31 0a 46 20  f727715ff6fa1.F 
04f0: 6d 61 70 73 2f 66 6c 6f 6f 64 33 2e 6d 61 70 20  maps/flood3.map 
0500: 30 65 36 39 31 30 36 62 64 31 33 35 35 30 35 33  0e69106bd1355053
0510: 66 34 66 66 61 35 35 32 31 63 62 62 62 64 30 33  f4ffa5521cbbbd03
0520: 33 32 36 31 30 63 62 65 0a 46 20 6d 61 70 73 2f  32610cbe.F maps/
0530: 66 6c 6f 6f 64 34 2e 6d 61 70 20 63 39 63 39 37  flood4.map c9c97
0540: 64 63 31 61 33 66 37 38 30 66 38 61 31 66 63 35  dc1a3f780f8a1fc5
0550: 63 30 64 31 63 30 38 34 39 39 62 33 66 30 38 35  c0d1c08499b3f085
0560: 38 32 33 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64  823.F maps/flood
0570: 35 2e 6d 61 70 20 63 31 32 36 63 66 61 39 33 39  5.map c126cfa939
0580: 38 33 34 38 31 39 34 65 34 34 35 30 33 36 34 36  8348194e44503646
0590: 61 64 62 37 62 63 30 63 62 35 38 66 37 35 0a 46  adb7bc0cb58f75.F
05a0: 20 6d 61 70 73 2f 66 75 6e 31 2e 6d 61 70 20 32   maps/fun1.map 2
05b0: 66 37 66 38 37 61 34 64 30 32 63 36 34 34 38 61  f7f87a4d02c6448a
05c0: 61 37 31 38 62 37 33 36 64 36 32 33 31 62 36 36  a718b736d6231b66
05d0: 64 66 65 61 35 38 61 0a 46 20 6d 61 70 73 2f 74  dfea58a.F maps/t
05e0: 65 73 74 31 2e 6d 61 70 20 62 39 61 34 38 64 38  est1.map b9a48d8
05f0: 32 64 36 34 64 65 39 31 62 36 34 64 64 32 37 39  2d64de91b64dd279
0600: 38 37 35 66 32 33 64 35 30 61 39 32 62 64 66 35  875f23d50a92bdf5
0610: 38 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c  8.F maps/trampol
0620: 69 6e 65 31 2e 6d 61 70 20 35 61 66 36 39 37 63  ine1.map 5af697c
0630: 30 30 30 33 64 35 35 31 36 63 38 62 30 39 61 66  0003d5516c8b09af
0640: 64 36 63 32 65 62 64 64 32 30 39 66 38 66 64 64  d6c2ebdd209f8fdd
0650: 36 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c  6.F maps/trampol
0660: 69 6e 65 32 2e 6d 61 70 20 32 38 38 66 39 64 30  ine2.map 288f9d0
0670: 35 35 63 32 37 37 37 66 61 64 36 39 61 32 65 65  55c2777fad69a2ee
0680: 32 32 62 37 33 32 65 31 39 38 33 30 39 36 39 38  22b732e198309698
0690: 64 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c  d.F maps/trampol
06a0: 69 6e 65 33 2e 6d 61 70 20 37 66 63 66 39 30 63  ine3.map 7fcf90c
06b0: 31 63 61 33 37 33 63 34 31 37 66 31 64 66 34 65  1ca373c417f1df4e
06c0: 61 38 38 38 32 31 62 37 63 34 63 30 30 61 63 32  a88821b7c4c00ac2
06d0: 35 0a 46 20 73 63 6f 72 65 5f 6d 65 6d 6f 2e 74  5.F score_memo.t
06e0: 78 74 20 64 34 36 64 61 39 38 31 34 63 62 38 36  xt d46da9814cb86
06f0: 31 39 64 63 31 66 39 34 61 39 65 37 62 66 37 32  19dc1f94a9e7bf72
0700: 33 66 33 64 34 30 64 33 34 61 36 0a 46 20 73 72  3f3d40d34a6.F sr
0710: 63 2f 4d 61 6b 65 66 69 6c 65 20 30 31 61 34 66  c/Makefile 01a4f
0720: 37 61 30 35 33 31 64 61 65 37 31 35 62 30 38 36  7a0531dae715b086
0730: 31 39 61 39 65 64 62 62 31 31 39 39 34 30 65 36  19a9edbb119940e6
0740: 62 38 30 0a 46 20 73 72 63 2f 63 75 69 5f 61 75  b80.F src/cui_au
0750: 74 6f 5f 6d 61 69 6e 2e 64 20 62 33 38 64 36 30  to_main.d b38d60
0760: 65 61 33 39 64 31 31 65 36 65 62 38 38 30 63 66  ea39d11e6eb880cf
0770: 39 31 65 37 33 33 65 64 33 35 66 63 32 62 37 64  91e733ed35fc2b7d
0780: 36 33 0a 46 20 73 72 63 2f 67 61 6d 65 2e 64 20  63.F src/game.d 
0790: 65 32 35 63 37 35 65 61 39 36 64 38 30 35 30 37  e25c75ea96d80507
07a0: 34 37 66 34 62 34 61 64 38 30 30 34 35 30 61 65  47f4b4ad800450ae
07b0: 39 66 62 63 36 39 62 35 0a 46 20 73 72 63 2f 67  9fbc69b5.F src/g
07c0: 75 69 2e 64 20 64 34 35 37 37 39 30 30 62 34 64  ui.d d4577900b4d
07d0: 62 39 37 63 31 30 35 34 30 37 62 34 31 39 39 39  b97c105407b41999
07e0: 66 31 63 66 36 33 31 35 61 63 35 66 34 0a 46 20  f1cf6315ac5f4.F 
07f0: 73 72 63 2f 67 75 69 5f 6d 61 69 6e 2e 64 20 30  src/gui_main.d 0
0800: 35 30 38 32 64 30 66 33 32 38 64 37 35 36 63 35  5082d0f328d756c5
0810: 64 32 34 37 66 35 38 37 32 35 37 31 32 33 37 37  d247f58725712377
0820: 38 65 65 37 66 61 37 0a 46 20 73 72 63 2f 6f 75  8ee7fa7.F src/ou
0830: 74 70 75 74 2e 64 20 30 34 35 62 38 34 35 32 36  tput.d 045b84526
0840: 38 39 31 38 35 34 36 36 64 39 37 34 35 34 61 32  89185466d97454a2
0850: 66 32 30 31 36 34 66 63 37 36 63 34 32 61 62 0a  f20164fc76c42ab.
0860: 46 20 73 72 63 2f 73 6f 6c 76 65 72 2e 64 20 35  F src/solver.d 5
0870: 37 66 36 66 37 33 36 35 37 63 63 33 36 35 35 62  7f6f73657cc3655b
0880: 38 64 37 65 62 34 61 62 33 37 37 38 62 32 36 66  8d7eb4ab3778b26f
0890: 64 33 65 65 61 66 38 0a 46 20 73 72 63 2f 75 74  d3eeaf8.F src/ut
08a0: 69 6c 2e 64 20 34 31 62 61 34 32 30 64 30 63 34  il.d 41ba420d0c4
08b0: 39 63 65 38 64 62 33 66 33 30 65 32 65 31 63 33  9ce8db3f30e2e1c3
08c0: 39 64 39 66 39 62 66 33 61 61 39 34 62 0a 46 20  9d9f9bf3aa94b.F 
08d0: 73 75 62 6d 69 73 73 69 6f 6e 2f 50 41 43 4b 41  submission/PACKA
08e0: 47 45 53 20 64 61 33 39 61 33 65 65 35 65 36 62  GES da39a3ee5e6b
08f0: 34 62 30 64 33 32 35 35 62 66 65 66 39 35 36 30  4b0d3255bfef9560
0900: 31 38 39 30 61 66 64 38 30 37 30 39 0a 46 20 73  1890afd80709.F s
0910: 75 62 6d 69 73 73 69 6f 6e 2f 52 45 41 44 4d 45  ubmission/README
0920: 20 39 63 65 30 36 33 38 35 35 66 34 31 66 66 30   9ce063855f41ff0
0930: 35 38 61 37 64 63 64 36 39 30 33 38 36 35 66 30  58a7dcd6903865f0
0940: 33 64 33 65 37 35 65 61 63 0a 46 20 73 75 62 6d  3d3e75eac.F subm
0950: 69 73 73 69 6f 6e 2f 69 6e 73 74 61 6c 6c 20 62  ission/install b
0960: 65 37 37 36 62 63 66 62 63 31 33 66 63 62 66 63  e776bcfbc13fcbfc
0970: 34 61 61 65 61 39 37 39 66 37 65 34 64 39 37 38  4aaea979f7e4d978
0980: 66 61 37 32 66 37 61 20 78 0a 46 20 73 75 62 6d  fa72f7a x.F subm
0990: 69 73 73 69 6f 6e 2f 6c 69 66 74 65 72 20 35 31  ission/lifter 51
09a0: 30 33 66 35 35 66 35 33 32 33 66 62 33 66 65 63  03f55f5323fb3fec
09b0: 32 65 65 62 37 62 31 38 66 66 32 34 30 66 65 33  2eeb7b18ff240fe3
09c0: 33 36 38 63 31 34 20 78 0a 50 20 33 31 32 33 62  368c14 x.P 3123b
09d0: 62 66 34 38 66 64 32 64 65 34 64 37 30 66 33 66  bf48fd2de4d70f3f
09e0: 36 37 35 30 38 32 62 33 30 62 33 65 61 61 33 34  675082b30b3eaa34
09f0: 64 30 35 0a 52 20 64 37 65 64 61 36 34 30 33 36  d05.R d7eda64036
0a00: 37 30 63 63 31 38 61 35 36 38 35 66 64 30 31 34  70cc18a5685fd014
0a10: 62 33 62 34 35 33 0a 55 20 6b 69 6e 61 62 61 0a  b3b453.U kinaba.
0a20: 5a 20 34 65 61 63 33 34 31 38 34 37 66 32 32 65  Z 4eac341847f22e
0a30: 32 32 33 61 65 37 33 66 63 61 38 38 36 31 34 31  223ae73fca886141
0a40: 31 31 0a                                         11.