Artifact 6e4c06b01887a43d7eea6e7b518fa246cd1330e3:

Manifest of check-in [6e4c06b018] - Solver supports trampoline. by kinaba on 2012-07-14 18:00:27.

---

0000: 43 20 53 6f 6c 76 65 72 5c 73 73 75 70 70 6f 72  C Solver\ssuppor
0010: 74 73 5c 73 74 72 61 6d 70 6f 6c 69 6e 65 2e 0a  ts\strampoline..
0020: 44 20 32 30 31 32 2d 30 37 2d 31 34 54 31 38 3a  D 2012-07-14T18:
0030: 30 30 3a 32 37 2e 31 33 37 0a 46 20 69 63 66 70  00:27.137.F icfp
0040: 2d 39 36 35 33 33 36 33 32 2e 74 67 7a 20 39 34  -96533632.tgz 94
0050: 33 33 32 39 63 33 30 30 37 32 39 38 39 66 39 37  3329c30072989f97
0060: 33 61 66 36 35 39 32 61 36 35 63 30 62 37 62 66  3af6592a65c0b7bf
0070: 61 31 64 39 62 64 0a 46 20 6d 61 6b 65 2d 73 75  a1d9bd.F make-su
0080: 62 6d 69 73 73 69 6f 6e 20 62 64 37 61 39 31 31  bmission bd7a911
0090: 63 31 34 31 61 65 35 34 34 64 65 36 64 64 39 30  c141ae544de6dd90
00a0: 34 30 64 61 36 39 32 64 34 31 30 34 31 32 62 33  40da692d410412b3
00b0: 66 20 78 0a 46 20 6d 61 70 73 2f 31 30 30 78 31  f x.F maps/100x1
00c0: 30 30 2e 6d 61 70 20 35 62 65 61 66 36 66 61 64  00.map 5beaf6fad
00d0: 34 31 34 33 38 33 30 31 62 38 61 64 39 65 61 30  41438301b8ad9ea0
00e0: 31 65 61 36 63 34 36 63 34 66 31 37 66 38 31 0a  1ea6c46c4f17f81.
00f0: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 31 2e  F maps/contest1.
0100: 6d 61 70 20 65 66 32 31 66 35 39 64 30 37 32 62  map ef21f59d072b
0110: 64 65 65 65 38 66 39 36 33 39 37 36 63 39 30 66  deee8f963976c90f
0120: 33 66 32 62 31 64 37 63 63 39 39 65 0a 46 20 6d  3f2b1d7cc99e.F m
0130: 61 70 73 2f 63 6f 6e 74 65 73 74 31 30 2e 6d 61  aps/contest10.ma
0140: 70 20 64 30 37 37 36 32 31 38 33 62 33 65 61 33  p d07762183b3ea3
0150: 65 34 39 31 33 36 34 64 66 39 35 32 62 35 36 64  e491364df952b56d
0160: 38 30 36 35 61 37 34 62 33 30 0a 46 20 6d 61 70  8065a74b30.F map
0170: 73 2f 63 6f 6e 74 65 73 74 32 2e 6d 61 70 20 36  s/contest2.map 6
0180: 61 61 33 37 33 37 65 34 37 39 39 35 30 63 61 63  aa3737e479950cac
0190: 37 63 61 36 65 63 62 37 31 38 37 30 61 32 38 31  7ca6ecb71870a281
01a0: 32 63 34 64 35 39 32 0a 46 20 6d 61 70 73 2f 63  2c4d592.F maps/c
01b0: 6f 6e 74 65 73 74 33 2e 6d 61 70 20 65 36 39 62  ontest3.map e69b
01c0: 33 32 65 35 66 35 35 63 63 33 31 31 62 64 34 33  32e5f55cc311bd43
01d0: 36 31 36 36 63 38 31 66 37 38 64 30 35 30 37 65  6166c81f78d0507e
01e0: 38 39 33 62 0a 46 20 6d 61 70 73 2f 63 6f 6e 74  893b.F maps/cont
01f0: 65 73 74 34 2e 6d 61 70 20 65 35 31 64 66 33 32  est4.map e51df32
0200: 39 36 61 35 32 31 30 37 30 32 66 62 65 62 37 37  96a5210702fbeb77
0210: 64 35 39 30 30 37 64 39 61 35 62 61 66 65 61 36  d59007d9a5bafea6
0220: 64 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74  d.F maps/contest
0230: 35 2e 6d 61 70 20 30 36 65 65 66 31 30 65 66 62  5.map 06eef10efb
0240: 35 39 37 32 35 39 64 33 35 62 31 30 35 38 32 64  597259d35b10582d
0250: 30 62 39 34 32 61 34 63 62 32 36 30 37 31 0a 46  0b942a4cb26071.F
0260: 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 36 2e 6d   maps/contest6.m
0270: 61 70 20 37 36 31 38 39 33 63 32 65 64 64 38 39  ap 761893c2edd89
0280: 38 64 33 62 63 62 36 38 64 33 64 39 32 64 36 32  8d3bcb68d3d92d62
0290: 61 37 66 66 64 36 62 62 65 30 34 0a 46 20 6d 61  a7ffd6bbe04.F ma
02a0: 70 73 2f 63 6f 6e 74 65 73 74 37 2e 6d 61 70 20  ps/contest7.map 
02b0: 65 39 63 65 39 35 35 38 37 33 65 65 61 32 63 61  e9ce955873eea2ca
02c0: 63 31 30 66 66 33 33 39 64 65 62 66 35 39 38 30  c10ff339debf5980
02d0: 65 31 35 31 64 38 65 61 0a 46 20 6d 61 70 73 2f  e151d8ea.F maps/
02e0: 63 6f 6e 74 65 73 74 38 2e 6d 61 70 20 61 33 35  contest8.map a35
02f0: 64 66 61 32 39 34 35 38 39 64 61 35 37 37 39 39  dfa294589da57799
0300: 30 36 32 31 34 36 61 38 39 38 31 37 38 32 30 61  062146a89817820a
0310: 61 37 38 31 33 0a 46 20 6d 61 70 73 2f 63 6f 6e  a7813.F maps/con
0320: 74 65 73 74 39 2e 6d 61 70 20 63 61 33 62 61 36  test9.map ca3ba6
0330: 65 31 32 61 33 62 32 37 62 62 35 63 66 39 61 34  e12a3b27bb5cf9a4
0340: 30 39 36 30 39 62 37 33 62 31 30 35 37 66 32 36  09609b73b1057f26
0350: 61 33 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 31  a3.F maps/flood1
0360: 2e 6d 61 70 20 31 33 65 36 33 35 36 63 30 33 32  .map 13e6356c032
0370: 30 63 35 61 30 31 64 33 36 37 31 35 62 33 31 65  0c5a01d36715b31e
0380: 66 61 39 32 34 63 38 34 31 63 61 64 65 0a 46 20  fa924c841cade.F 
0390: 6d 61 70 73 2f 66 6c 6f 6f 64 32 2e 6d 61 70 20  maps/flood2.map 
03a0: 65 66 63 33 61 38 62 36 30 61 66 34 65 35 37 34  efc3a8b60af4e574
03b0: 65 38 32 66 34 64 65 33 32 30 37 66 37 32 37 37  e82f4de3207f7277
03c0: 31 35 66 66 36 66 61 31 0a 46 20 6d 61 70 73 2f  15ff6fa1.F maps/
03d0: 66 6c 6f 6f 64 33 2e 6d 61 70 20 30 65 36 39 31  flood3.map 0e691
03e0: 30 36 62 64 31 33 35 35 30 35 33 66 34 66 66 61  06bd1355053f4ffa
03f0: 35 35 32 31 63 62 62 62 64 30 33 33 32 36 31 30  5521cbbbd0332610
0400: 63 62 65 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64  cbe.F maps/flood
0410: 34 2e 6d 61 70 20 63 39 63 39 37 64 63 31 61 33  4.map c9c97dc1a3
0420: 66 37 38 30 66 38 61 31 66 63 35 63 30 64 31 63  f780f8a1fc5c0d1c
0430: 30 38 34 39 39 62 33 66 30 38 35 38 32 33 0a 46  08499b3f085823.F
0440: 20 6d 61 70 73 2f 66 6c 6f 6f 64 35 2e 6d 61 70   maps/flood5.map
0450: 20 63 31 32 36 63 66 61 39 33 39 38 33 34 38 31   c126cfa93983481
0460: 39 34 65 34 34 35 30 33 36 34 36 61 64 62 37 62  94e44503646adb7b
0470: 63 30 63 62 35 38 66 37 35 0a 46 20 6d 61 70 73  c0cb58f75.F maps
0480: 2f 66 75 6e 31 2e 6d 61 70 20 32 66 37 66 38 37  /fun1.map 2f7f87
0490: 61 34 64 30 32 63 36 34 34 38 61 61 37 31 38 62  a4d02c6448aa718b
04a0: 37 33 36 64 36 32 33 31 62 36 36 64 66 65 61 35  736d6231b66dfea5
04b0: 38 61 0a 46 20 6d 61 70 73 2f 74 65 73 74 31 2e  8a.F maps/test1.
04c0: 6d 61 70 20 62 39 61 34 38 64 38 32 64 36 34 64  map b9a48d82d64d
04d0: 65 39 31 62 36 34 64 64 32 37 39 38 37 35 66 32  e91b64dd279875f2
04e0: 33 64 35 30 61 39 32 62 64 66 35 38 0a 46 20 6d  3d50a92bdf58.F m
04f0: 61 70 73 2f 74 72 61 6d 70 6f 6c 69 6e 65 31 2e  aps/trampoline1.
0500: 6d 61 70 20 35 61 66 36 39 37 63 30 30 30 33 64  map 5af697c0003d
0510: 35 35 31 36 63 38 62 30 39 61 66 64 36 63 32 65  5516c8b09afd6c2e
0520: 62 64 64 32 30 39 66 38 66 64 64 36 0a 46 20 6d  bdd209f8fdd6.F m
0530: 61 70 73 2f 74 72 61 6d 70 6f 6c 69 6e 65 32 2e  aps/trampoline2.
0540: 6d 61 70 20 32 38 38 66 39 64 30 35 35 63 32 37  map 288f9d055c27
0550: 37 37 66 61 64 36 39 61 32 65 65 32 32 62 37 33  77fad69a2ee22b73
0560: 32 65 31 39 38 33 30 39 36 39 38 64 0a 46 20 6d  2e198309698d.F m
0570: 61 70 73 2f 74 72 61 6d 70 6f 6c 69 6e 65 33 2e  aps/trampoline3.
0580: 6d 61 70 20 37 66 63 66 39 30 63 31 63 61 33 37  map 7fcf90c1ca37
0590: 33 63 34 31 37 66 31 64 66 34 65 61 38 38 38 32  3c417f1df4ea8882
05a0: 31 62 37 63 34 63 30 30 61 63 32 35 0a 46 20 6d  1b7c4c00ac25.F m
05b0: 61 70 73 2f 74 72 61 6d 70 6f 6c 69 6e 65 34 2e  aps/trampoline4.
05c0: 6d 61 70 20 32 38 38 66 39 64 30 35 35 63 32 37  map 288f9d055c27
05d0: 37 37 66 61 64 36 39 61 32 65 65 32 32 62 37 33  77fad69a2ee22b73
05e0: 32 65 31 39 38 33 30 39 36 39 38 64 0a 46 20 73  2e198309698d.F s
05f0: 72 63 2f 63 75 69 5f 61 75 74 6f 5f 6d 61 69 6e  rc/cui_auto_main
0600: 2e 64 20 62 33 38 64 36 30 65 61 33 39 64 31 31  .d b38d60ea39d11
0610: 65 36 65 62 38 38 30 63 66 39 31 65 37 33 33 65  e6eb880cf91e733e
0620: 64 33 35 66 63 32 62 37 64 36 33 0a 46 20 73 72  d35fc2b7d63.F sr
0630: 63 2f 67 61 6d 65 2e 64 20 31 62 32 65 34 61 64  c/game.d 1b2e4ad
0640: 32 64 61 65 32 30 32 35 31 64 38 39 33 61 65 61  2dae20251d893aea
0650: 32 61 35 35 38 35 61 32 63 34 33 30 35 65 30 66  2a5585a2c4305e0f
0660: 32 0a 46 20 73 72 63 2f 67 75 69 2e 64 20 38 61  2.F src/gui.d 8a
0670: 31 65 62 61 34 38 66 30 33 34 36 65 65 63 31 37  1eba48f0346eec17
0680: 39 64 33 64 62 63 65 35 35 39 34 32 35 33 39 34  9d3dbce559425394
0690: 64 38 63 35 64 34 0a 46 20 73 72 63 2f 67 75 69  d8c5d4.F src/gui
06a0: 5f 6d 61 69 6e 2e 64 20 30 35 30 38 32 64 30 66  _main.d 05082d0f
06b0: 33 32 38 64 37 35 36 63 35 64 32 34 37 66 35 38  328d756c5d247f58
06c0: 37 32 35 37 31 32 33 37 37 38 65 65 37 66 61 37  7257123778ee7fa7
06d0: 0a 46 20 73 72 63 2f 6f 75 74 70 75 74 2e 64 20  .F src/output.d 
06e0: 36 32 65 36 30 34 30 37 31 34 34 33 38 65 66 66  62e6040714438eff
06f0: 31 32 37 34 36 34 35 36 66 39 35 35 35 39 30 31  12746456f9555901
0700: 63 31 30 65 35 31 64 31 0a 46 20 73 72 63 2f 73  c10e51d1.F src/s
0710: 6f 6c 76 65 72 2e 64 20 34 61 61 63 33 39 30 64  olver.d 4aac390d
0720: 65 62 35 31 33 30 30 32 34 39 31 32 63 35 64 32  eb5130024912c5d2
0730: 65 34 33 66 33 64 61 63 62 65 32 33 32 61 65 65  e43f3dacbe232aee
0740: 0a 46 20 73 72 63 2f 75 74 69 6c 2e 64 20 37 38  .F src/util.d 78
0750: 33 35 35 34 62 66 36 36 37 34 31 32 65 64 36 66  3554bf667412ed6f
0760: 38 32 61 37 39 34 33 37 38 31 36 30 64 31 66 31  82a794378160d1f1
0770: 31 32 64 37 32 61 0a 46 20 73 75 62 6d 69 73 73  12d72a.F submiss
0780: 69 6f 6e 2f 50 41 43 4b 41 47 45 53 20 64 61 33  ion/PACKAGES da3
0790: 39 61 33 65 65 35 65 36 62 34 62 30 64 33 32 35  9a3ee5e6b4b0d325
07a0: 35 62 66 65 66 39 35 36 30 31 38 39 30 61 66 64  5bfef95601890afd
07b0: 38 30 37 30 39 0a 46 20 73 75 62 6d 69 73 73 69  80709.F submissi
07c0: 6f 6e 2f 52 45 41 44 4d 45 20 39 63 65 30 36 33  on/README 9ce063
07d0: 38 35 35 66 34 31 66 66 30 35 38 61 37 64 63 64  855f41ff058a7dcd
07e0: 36 39 30 33 38 36 35 66 30 33 64 33 65 37 35 65  6903865f03d3e75e
07f0: 61 63 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f  ac.F submission/
0800: 69 6e 73 74 61 6c 6c 20 62 65 37 37 36 62 63 66  install be776bcf
0810: 62 63 31 33 66 63 62 66 63 34 61 61 65 61 39 37  bc13fcbfc4aaea97
0820: 39 66 37 65 34 64 39 37 38 66 61 37 32 66 37 61  9f7e4d978fa72f7a
0830: 20 78 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f   x.F submission/
0840: 6c 69 66 74 65 72 20 35 31 30 33 66 35 35 66 35  lifter 5103f55f5
0850: 33 32 33 66 62 33 66 65 63 32 65 65 62 37 62 31  323fb3fec2eeb7b1
0860: 38 66 66 32 34 30 66 65 33 33 36 38 63 31 34 20  8ff240fe3368c14 
0870: 78 0a 50 20 37 31 63 62 63 65 37 30 62 35 65 63  x.P 71cbce70b5ec
0880: 31 31 33 65 63 38 39 35 38 38 35 34 31 64 39 62  113ec89588541d9b
0890: 37 63 37 35 38 65 36 34 31 30 36 30 0a 52 20 66  7c758e641060.R f
08a0: 33 39 37 62 38 34 30 31 39 35 64 32 64 61 31 37  397b840195d2da17
08b0: 32 37 62 37 32 33 37 63 64 65 39 31 62 64 64 0a  27b7237cde91bdd.
08c0: 55 20 6b 69 6e 61 62 61 0a 5a 20 38 31 61 34 37  U kinaba.Z 81a47
08d0: 32 38 38 37 33 32 38 62 61 63 39 35 39 61 65 36  2887328bac959ae6
08e0: 65 65 64 66 35 66 32 32 63 66 35 0a              eedf5f22cf5.