---
name: otter
version: 3.3f_1
origin: misc/otter
comment: A theorem prover and finite model searcher
arch: freebsd:9:x86:64
www: http://www-unix.mcs.anl.gov/AR/otter/
maintainer: wollman@FreeBSD.org
prefix: /usr/local
licenselogic: single
flatsize: 4476935
desc: |
  Otter is an automated deduction system (theorem prover) for
  first-order logic with equality developed at Argonne National
  Laboratories.

  WWW: http://www-unix.mcs.anl.gov/AR/otter/
categories: [misc]
files:
  /usr/local/bin/anldp: addc6e6f0f502764cc0b57848894e0423baffa9349df9984aa497b94ed93c9d3
  /usr/local/bin/mace2: 5f70d5295ab7051ff4709bf6e1d053884ba542a0e0fd1c69fbaab351fa5a251a
  /usr/local/bin/otter: 6bf802715f8e31b1bc6fcc00706fadc88f06833c504c2479f73a115fec969998
  /usr/local/share/doc/otter/README: 512604779049413db116759fb47198743f72bad632dda4500bc245e769709c9a
  /usr/local/share/doc/otter/anldp.pdf: 6c4b97461c65fb378eb5c76ae44ae7bc1a1f6b8d4c5751b536bd3f9c1a6a2dbc
  /usr/local/share/doc/otter/mace2.pdf: 5bd0ea718bce6c7928c4b2eb5818c8a8837d97e8e32b7c864e4f5d467fa1b52a
  /usr/local/share/doc/otter/otter33.pdf: 76e238d916338b1fb4d34793ee64f6ae5795d955d61ba0426a7a5938d17d0994
  /usr/local/share/examples/mace2/Makefile: 86aee65ed7ab5458611875dffc43c859a6baaaa1abd263ccd18c00e39254b4fc
  /usr/local/share/examples/mace2/Perl-examples/README: b88708375cdbe013b03ced73f08468027d1c7d990034b7601e46d7194fbb3538
  /usr/local/share/examples/mace2/Perl-examples/Sheffer-mgi-without-mirrors: 99ec884d869c55799bcf44abeb98d4fb7f55524cd5a10a0b7d5811cc80ef3d8d
  /usr/local/share/examples/mace2/Perl-examples/candidates: afd0668dd21f8fdea90dcffd3cef29ca6dd4234b55009be07cf392a5e6e9f5b1
  /usr/local/share/examples/mace2/Perl-examples/commute4_filter: 7aaabb833c0d84a7d973ba37e909da10eee3a94aec7d4ff70bf4220412adecd2
  /usr/local/share/examples/mace2/Perl-examples/index.html: 89f3eaf3b9435a248c3c51b81f65bc638f035a4e04bd5bcb93243eadfcbccb23
  /usr/local/share/examples/mace2/README: 3f69cc27bbddf28b6609b43e0c084ed759269c9590bd1544fae432230e30d54f
  /usr/local/share/examples/mace2/Run_all: a39bb93eddabfc3cfd3b91caa8fd686ecc8b9d7b412ea1b2e9752e0485e95ec6
  /usr/local/share/examples/mace2/Run_all.out: b3b041b8d9c570078abcbdf38c1a085101d7747ad70009c465d0094b3b7cea25
  /usr/local/share/examples/mace2/Run_anldp: 0b96f09e60c0bae67b0b41b8b6f9fd1d8a6b90dbc81aa4c0875ac75ea83516ac
  /usr/local/share/examples/mace2/Run_mace: 8d95da7b256bf33b17808a8c7d1305ee5f853a9ce1e43e2436319b3593fd8183
  /usr/local/share/examples/mace2/basic/README: 604424563ecc3b4e93d37d422f863583b215bea8852e333985ff1f0d0bb6547d
  /usr/local/share/examples/mace2/basic/cd.in: 9d6e5667dc57e7b4e8e6bcec318cd5b4bec58a6012f5304dd266ee87ef007915
  /usr/local/share/examples/mace2/basic/cd.out: 9bb2d1baea63ea0dd7c885bf4b033a9075ff1e15e06f400b135a317509378435
  /usr/local/share/examples/mace2/basic/cl_ql.in: 9540dddf9d6309ea1e8760406da79bc68fc6f34aa92b5153b5f3c37b8f7e314f
  /usr/local/share/examples/mace2/basic/cl_ql.out: 7f4a05458210fc1b9b8c56ec8ea87a92eb36fe1384be9f946aa0ec77ece402e3
  /usr/local/share/examples/mace2/basic/cl_sw.in: e1d1cce948531798b30bb0f3619fe34d630175252fdbb654c9d84db781656efd
  /usr/local/share/examples/mace2/basic/cl_sw.out: 57be410bea504f1cc520a101c4ca814b5c87717bc13baef2fd023fae99d151e6
  /usr/local/share/examples/mace2/basic/index.html: 0b20422cf9d3768ddd6187330e2fe220a2f33e636684339dedfcc14a11c90591
  /usr/local/share/examples/mace2/basic/noncommutative_group.in: dc247ca30127123c58083d25cf6ee24186c382067a5b8f057ef1d487b27e3e18
  /usr/local/share/examples/mace2/basic/noncommutative_group.out: 0225d793ce41bbb159efe3d834904fc058bc8085d6f6a046d470a7cff9cfda46
  /usr/local/share/examples/mace2/basic/ordered_semi.in: 9c45e3beb236b661f9b2da86b89062acbda86962b3202fe0a53846162d769628
  /usr/local/share/examples/mace2/basic/ordered_semi.out: 08f1c0163e3d85d166da8fabea81f2f28d16c6ecf96a0310ba5e145a881fe230
  /usr/local/share/examples/mace2/basic/program: 1152012a70ef0b5622750ac4e3971435e35ad6d80d8de434fc8f6a55b32874ec
  /usr/local/share/examples/mace2/basic/ring.in: 1163982bb9ed2eaf3c44274885bfe9eec3c4ab3b8f2e99cd3d54c3b48172b864
  /usr/local/share/examples/mace2/basic/ring.out: c7dcd66ef87a2fe54ae06ddaed0aa54610d8d1a02daedc1080cd8b6b2077e8ba
  /usr/local/share/examples/mace2/basic/tba.in: 283f7d48e5f548a16d855a8af38b14a12fa0fac8b265d843f506720d3d5e45c8
  /usr/local/share/examples/mace2/basic/tba.out: c2a8e4bcb347371c48cb27dbcb17f00751d803070459419000ee0d7ff2b09909
  /usr/local/share/examples/mace2/basic/temp: bcb3624845b6dd21545765b5aba39daeb5e83bd561f5383cb2d12cf259b78a27
  /usr/local/share/examples/mace2/basic/tough-nut.in: 4e11bd4961b0c20ef630e0b7aedf34a33d6fbd2210b4392eed90c3718222d508
  /usr/local/share/examples/mace2/basic/tough-nut.out: e36739903f42dd5a97c2bb8e269f9aa75e5353cacfff9a3569100de4a550af0e
  /usr/local/share/examples/mace2/index.html: 3a19483ba1ccdf2779879c4625004b3af86363806c0ea0451e66f1bc4833382d
  /usr/local/share/examples/mace2/iterate/BOO032-1.in: 01bfdb0ec08497baa9f61410a28349e53f52ef8aac5e7396c52d4d2ae9a8f92c
  /usr/local/share/examples/mace2/iterate/BOO032-1.out: 64394df7d58e3d699a636b2d3fcc9b2fa2eefe28beba3f1339e0fc24e18cedfb
  /usr/local/share/examples/mace2/iterate/CAT019-5.in: e7d49b506c152bccaf7623e7607f5cfeddf30e130e44f692b5e2e01fe1db9a31
  /usr/local/share/examples/mace2/iterate/CAT019-5.out: 273832311470984dac52b861884c2c554232cec26265f36f9ac9783e3ae60030
  /usr/local/share/examples/mace2/iterate/LAT025-1.in: 5c14d4b2b569b9dcc5e46a325eea3abb4e022cee93da84cfad36befc580f34bd
  /usr/local/share/examples/mace2/iterate/LAT025-1.out: 9cc69a86d87282e9d311a95d027a97642cb912c50e6212d93bfbc2ff5705f664
  /usr/local/share/examples/mace2/iterate/LCL136-1.in: 3b2da9104f553fbbcacc99aa406d3b4af41b510b548cf586170e5eabf471df93
  /usr/local/share/examples/mace2/iterate/LCL136-1.out: c202f5ff840232f1ed0c79159a5bb531a79bc8b966817e742c2d9dc5eeca1c09
  /usr/local/share/examples/mace2/iterate/PUZ001-3.in: 4a0a1c5b4736b1e68d5a5b66cb3e255344574dfda430e85c567e875e2376d135
  /usr/local/share/examples/mace2/iterate/PUZ001-3.out: 3d7f61a66b86178b8b01109e84e2d64a38602941d3b0b8c9a8a93b755ca33158
  /usr/local/share/examples/mace2/iterate/README: 53a794e699354d1dde6eda7a45131b8635d80132a55907fc13b45e15e3918cbd
  /usr/local/share/examples/mace2/iterate/RNG025-8.in: c5966fb751f7e2c0fe2e827d041e94fbd3ce344dbb1c6122d92f8085ff6f50bc
  /usr/local/share/examples/mace2/iterate/RNG025-8.out: edb560206d5058b26e1d0ea775e6bbb77ef454d887e64517b9f6242ebeca1608
  /usr/local/share/examples/mace2/iterate/cd.in: 9a363198e7f6651982a1b9023882b8d7ec3c4e4caf7101046075b11ef6a7160a
  /usr/local/share/examples/mace2/iterate/cd.out: 0842835baac191ec18b0bca611bad156311118124d0ea7be76f7f61e5d180ef9
  /usr/local/share/examples/mace2/iterate/index.html: 0e171c3ace2de3e903599b83cd4ddef4597bf647c2727dc3ac09f9ae32ed5d14
  /usr/local/share/examples/mace2/iterate/kauer.in: 49d056cf3c5bdac23a8892d4d446925e88453c8c259057c6562daad749e8c44a
  /usr/local/share/examples/mace2/iterate/kauer.out: 6f5ba3170d8b75390a640827a989b057e2bea0b13ed6dda59770590fa5a32b6f
  /usr/local/share/examples/mace2/iterate/noncommutative_group.in: bfafb512cf0c9a795ab447568713c951def43cf51ad1c5809704693adfea0cb2
  /usr/local/share/examples/mace2/iterate/noncommutative_group.out: 3d8eca8f5d7d8e366d429cb3c9cb52c3f32326a16c05c58d70ab606ac3dd5f8e
  /usr/local/share/examples/mace2/iterate/noncommutive_ring1.in: 3fe638eb1d636e3799e4a418ddeef1a17e5a99e98071d09480101098bbe77c3a
  /usr/local/share/examples/mace2/iterate/noncommutive_ring1.out: fa4639f5f78136bc8b66826c8590be9cb1b977b997f4e640ed0fd1fc9c62fa64
  /usr/local/share/examples/mace2/iterate/program: 1152012a70ef0b5622750ac4e3971435e35ad6d80d8de434fc8f6a55b32874ec
  /usr/local/share/examples/mace2/lattice/README: 7282f6d11a1b0bdab1d98ebf43f107bbbeddaf3239e313897c0f0409ef224a86
  /usr/local/share/examples/mace2/lattice/finite-lattice: 29dd9b6963d7c5d54b74a71dd16748d99b43ae83191b31fabf03b86e8957cd5a
  /usr/local/share/examples/mace2/lattice/index.html: a4ed741506ba2620ad3020fa9b41043d216f936859126c45b3ce9c8277ac1ae4
  /usr/local/share/examples/mace2/lattice/lattice-axioms: 7867cc3ef7958923f1bc8a539bc18251e291bce143b701153571ba6a5bd2e76c
  /usr/local/share/examples/mace2/lattice/lt-ml.in: 02b1473d3f5eeef7b86f20c892e214b5a6cd0676d05b309828067cd1a636f9f5
  /usr/local/share/examples/mace2/lattice/lt-ml.out: 751d1b0e194f399d44e0cc7d64b73e74a44aad1276e171d69ff7eda37edfdc1f
  /usr/local/share/examples/mace2/lattice/lt-ol.in: 489ebc6c4a9c927f359b0994e89059e165d53d42ab1620752a2c6c27becd794e
  /usr/local/share/examples/mace2/lattice/lt-ol.out: 7b488b44ca2c84d1b9f8e1d01ef0ee616d9ab0c5af732a1c5256a2575272cded
  /usr/local/share/examples/mace2/lattice/ml-mol.in: fa0f2a013df5fa81ee3fc7b0a6b8d785c2dccdc62e6565839f735261d75f8e96
  /usr/local/share/examples/mace2/lattice/ml-mol.out: 9955305073bce2e2b289cd94a164666500e062c549931d6d0ed744f37f97cd38
  /usr/local/share/examples/mace2/lattice/mol-ba.in: e1f7f6b689126637f078b0e628971dd2562e4ae2e23c68b6b70e3e41351c56e5
  /usr/local/share/examples/mace2/lattice/mol-ba.out: 53e978510055344b269e7f44a3cd6b9506f066ef00502b4afe57a75d01a5976e
  /usr/local/share/examples/mace2/lattice/ol-e1.in: ba5702e08d3604731a0cdcdeace4e976e615f0306292611bb4ecc6b9af27b687
  /usr/local/share/examples/mace2/lattice/ol-e1.out: 92f9cb49ed694332d2cf60d1cd23f116e507d1c4c0ab44d603278b08212b104a
  /usr/local/share/examples/mace2/lattice/ol-e4.in: d2e063094c832f59cdc93c71f724b2ae4a342944d9acad206ae6dd93e6857582
  /usr/local/share/examples/mace2/lattice/ol-e4.out: 13bb9832c82de3cc52c1d94789ba05454d53457565c5be36a02bd860399d4334
  /usr/local/share/examples/mace2/lattice/ol-oml.in: 4c3fb4298e15b43358aba7862f4bdd1f78c7d691174b8c8e2efab432917ac99d
  /usr/local/share/examples/mace2/lattice/ol-oml.out: f12712555b8dc205ca9b72ad44b52ea9ea2234bfe0e11e85a13484b8374cf9c7
  /usr/local/share/examples/mace2/lattice/oml-mol.in: 1e2a54b00a493915df980001aecbd98f183fa2d063e6ea6418e736779040e577
  /usr/local/share/examples/mace2/lattice/oml-mol.out: 2d578f1247f36c1e4144d8a939d905855403a815272061f2c79dfc997db07e10
  /usr/local/share/examples/mace2/lattice/ortholattice: da511b8cf67b3939c6fb703607ba90d1cedec4fe98c5b72db567a1ba61db474c
  /usr/local/share/examples/mace2/lattice/program: 1152012a70ef0b5622750ac4e3971435e35ad6d80d8de434fc8f6a55b32874ec
  /usr/local/share/examples/mace2/propositional/README: c9cf88776f98266eeb9997d3627badb4d134991d7072bf6d9a425bc17b875c66
  /usr/local/share/examples/mace2/propositional/README.more: 581ca08d11cf9609ae71ba45dc57f55e816d20aa01f73e88862821222b700648
  /usr/local/share/examples/mace2/propositional/f2.in: 0a47cc7562b6848ced08276de0aa980896d48fb164b6d13189da1eb64643a825
  /usr/local/share/examples/mace2/propositional/f2.out: bf27193de6f45163fc74471a0fe6a1685c7607fc5136ca72592ccd947e801c3f
  /usr/local/share/examples/mace2/propositional/f3.in: dc162d747e3577f6259b5872b9903ff0a190bb997a051b9115d99283280799ee
  /usr/local/share/examples/mace2/propositional/f3.out: b1304c33e92b08315207f6bdcc71f1f311fbf642ff0ecd8a79b2769707322210
  /usr/local/share/examples/mace2/propositional/f4.in: c5523578e877bd017b141bbdafd5401b2b120c445e0085458afda458d19d6e4a
  /usr/local/share/examples/mace2/propositional/f4.out: fcd364ace350b84bfae50025d7a68b0d5e26e8dfe8ccd6ed88b89d4b3cc2b2ac
  /usr/local/share/examples/mace2/propositional/index.html: bbb56148ca860f900ca7900efe30a37de846683781af6ba3b62c1418242917db
  /usr/local/share/examples/mace2/propositional/p10.IN: 449a2fa0ddb3a5b8d566bc03360489840e89056f255102e580ebc9d083bfcfbb
  /usr/local/share/examples/mace2/propositional/p5.in: eaaaebd2af27811addb59109de80138ddb74bd6f402c76825065a7c40b485899
  /usr/local/share/examples/mace2/propositional/p5.out: 1d1ade96404b70ef145d65f1341c28b6c08ff6e20d6bf206ef70db10df077b2d
  /usr/local/share/examples/mace2/propositional/p6.in: 92206651047b139c0b252d00c6d39b64c92cdaf40924f979a55630191ad9910f
  /usr/local/share/examples/mace2/propositional/p6.out: 57648b744b190cb6240cf3ed553c9ef75f09d3840ad57b93aefcb221032e558c
  /usr/local/share/examples/mace2/propositional/p7.in: a72ceba29e088b24982bd738bd5b07ae73e56ba1901611d54d9d45448ae95135
  /usr/local/share/examples/mace2/propositional/p7.out: 605bb4ece3dfa047ebf0157e505a94d00f55608765630432c8d88dc5f414ba82
  /usr/local/share/examples/mace2/propositional/p8.in: 8866092354228fd094896e18f2bc66e802060ea74360546c5f0a30b77aa1566d
  /usr/local/share/examples/mace2/propositional/p8.out: 926ab5beb6fb7761f6f02cf493426a10e4b0561585ed34afe3b9d1ad9d43b6b6
  /usr/local/share/examples/mace2/propositional/p9.in: 30fbaa3b1419c39858692ddc0636941ab9a7fdd711bbafd952420952ddb19a23
  /usr/local/share/examples/mace2/propositional/p9.out: c7d19f224c7a3a7184137547e7803f7b92ed9ed724fa600f67589c5b34c04026
  /usr/local/share/examples/mace2/propositional/program: 57b128ddf935d602618332f23581eb743dff77a671553facb35ac5b5ee57f6d4
  /usr/local/share/examples/mace2/propositional/q10.in: 82d20b467b091eed829828bfe7138a8bf6e7baec9dff9bac967e7c97ebe63cb9
  /usr/local/share/examples/mace2/propositional/q10.out: c6638744edbc36fa718d83190283b238083bd99b9c786a1f55460929beda116c
  /usr/local/share/examples/mace2/quasigroup/README: 88e0523a66c3723d13a55a0c7228076714337c6578b69f9503ade68c0a9deece
  /usr/local/share/examples/mace2/quasigroup/index.html: 17ab5dc9dc90820e373d18e06d5fdec18a8f47f5ec25e8d36ba960251253db1e
  /usr/local/share/examples/mace2/quasigroup/omts9.in: c1fe8fa63d03a72362269f8d5661b8172dd3489cb926d7a491cdae05c0a8abbb
  /usr/local/share/examples/mace2/quasigroup/omts9.out: fe0d038cac86afdd90091ca5c48e791f073196042e30df58eca0e668c42df6c7
  /usr/local/share/examples/mace2/quasigroup/program: 1152012a70ef0b5622750ac4e3971435e35ad6d80d8de434fc8f6a55b32874ec
  /usr/local/share/examples/mace2/quasigroup/qg1d.in: 2d22cc5f81b37ce874640c9b055a777f3d46da2b09dee7f0d8a2e191de7a240b
  /usr/local/share/examples/mace2/quasigroup/qg1d.out: 3129401d58956170da60328ca664c26341883a1188026bda3adf91fb23caafb0
  /usr/local/share/examples/mace2/quasigroup/qg2d.in: f490bff4265d340032879e748f562ebe2317b90b003ca5b7310149e81b037f77
  /usr/local/share/examples/mace2/quasigroup/qg2d.out: 86206aa9d6991a8fcaa6532b2c872aad6ba5cbed4cc8457d7aaf9c4cb94de96d
  /usr/local/share/examples/mace2/quasigroup/qg3.in: 7ce98334574c7dd3083571fd98a13111adcf795d46682c95a615b1cd0de48890
  /usr/local/share/examples/mace2/quasigroup/qg3.out: e98718b9bc345f43440b63631d32ff5250ae1cbb93f054cf852e5b42e3caa912
  /usr/local/share/examples/mace2/quasigroup/qg4.in: 9432099d1f6c3d10cceb18d59e1a28754b6c1eefee39113ed9554f5a448e4996
  /usr/local/share/examples/mace2/quasigroup/qg4.out: 8fc0861090d559cf2669c215d62ead9e2446c0ebfc8d24b3b4d2893e2d398235
  /usr/local/share/examples/mace2/quasigroup/qg5l.in: fcfe6436dbf1a9c8841a26e3eda793b2b670fdc428dc0165511a7515d722b933
  /usr/local/share/examples/mace2/quasigroup/qg5l.out: e4b3bbe09ed0d74f486a0a0072e831574795b8308e1552a31204ef363887afde
  /usr/local/share/examples/mace2/quasigroup/qg6.in: 3e5f7617016b6c3e4cfae13ac8d63b37a10df5369470d332869cce1aeb465966
  /usr/local/share/examples/mace2/quasigroup/qg6.out: f98bdf5cff721d94fa3207909ef4cacb548aaac5a830f1e1acd24bc069ca5f13
  /usr/local/share/examples/mace2/quasigroup/qg7bl.in: 3a217fabdea42db23cac82f754b878d458967da1ff4ed6e6085d9d7713e11476
  /usr/local/share/examples/mace2/quasigroup/qg7bl.out: 713a4ae6cec8e412184e674f81c7556a7d412ac13b05c5df99445d61349fd55e
  /usr/local/share/examples/otter/Loop/README: 381d1dd9bcd1a52e3fe987ce55080039e5df169b82bfd1827ffb81becd3bc8c6
  /usr/local/share/examples/otter/Loop/Sheffer-mgi-without-mirrors: 99ec884d869c55799bcf44abeb98d4fb7f55524cd5a10a0b7d5811cc80ef3d8d
  /usr/local/share/examples/otter/Loop/head: 3e0b14a950eeba81b3b49158f9a7d9f2404f023f7f2f02aec6675850e3c5f5a7
  /usr/local/share/examples/otter/Loop/otter-ploop: 77dd1ed98b3b66b40b2a4c1149e00a016ec60ea90284781f355335a4af0ee8f0
  /usr/local/share/examples/otter/Loop/temp: 361cd20151b8e9b77d504abc3003e10b1380195623a2bb49207525fbc85ffa8f
  /usr/local/share/examples/otter/Makefile: 86aee65ed7ab5458611875dffc43c859a6baaaa1abd263ccd18c00e39254b4fc
  /usr/local/share/examples/otter/README: 1ebbedac19926dc8da8a4a3457fd43847246b6afb79e4fe3c9e664ae4cc3a1e4
  /usr/local/share/examples/otter/Run_all: c02c12d98d3a657ec35252eefda0eb3fa46d2b1f22dba802cde9a95b592a75b6
  /usr/local/share/examples/otter/Run_all.out: 99211dc3d80426a6c9f11f5241cf663d5787973bf61db1db5fc23f10820348fe
  /usr/local/share/examples/otter/Run_group: 58431a78c46b94728f59fff5c221d4995ea1c1e741eb61c53ecbf04408208b85
  /usr/local/share/examples/otter/auto/README: 2643b98176ac900d34c34e108fe4c7bb24d43fbe107561fbb7c83956f5eb45f4
  /usr/local/share/examples/otter/auto/cn19.in: b829e8ec8d0960dd80813b4443fa506b6772d75d9aba324d82dba406410c4e6d
  /usr/local/share/examples/otter/auto/cn19.out: 7deef98d0279e8cf62a06094aca0a43667e53d72507a09e275976bd7fedb9630
  /usr/local/share/examples/otter/auto/comm.in: 00b9c85125222722032f4e837a4f5ee795899bf5a51a9ee4b2455e3811b6f3b4
  /usr/local/share/examples/otter/auto/comm.out: 6e419636416713da037fcb29dfd1ed2ee56c93cea92335fa89a632e68dcd0a09
  /usr/local/share/examples/otter/auto/ec_yq.in: 55ff9d2cfd5b38860cd7e45ac2658bc8b56f98323a662438c2ee2b89f09fb613
  /usr/local/share/examples/otter/auto/ec_yq.out: 3d25ba8b6b1ea0040991c9d85415ddce06294d41f9a013b349eb59510b0b110c
  /usr/local/share/examples/otter/auto/group.in: 921615170bd3ba312988d8885f1821f0fbadc5abcba37698ef6a5b784542ec0f
  /usr/local/share/examples/otter/auto/group.out: 800386020bd34230df607edb3816c6d1175b35dc9fea5632972dc2e7bb3a7a18
  /usr/local/share/examples/otter/auto/index.html: 098767d53e6e074d6783b5e49fcbb5f9dd6c50c2b21a43c0fdc117f3bc2d41bc
  /usr/local/share/examples/otter/auto/lifsch.in: 1bca6f01a560b875d76845cc1fe0975e4fb561699300d2c3bbe1960044552ab1
  /usr/local/share/examples/otter/auto/lifsch.out: 09684fb1a9b85c4a909990a41df8d3fb5e22d1ba33f7e4b7f6d4226ed282df93
  /usr/local/share/examples/otter/auto/mv25.in: a0b3d1cab4933a7c99fe63a3cf5c8b17952db43b92c64c45ced79ab5d8e5073e
  /usr/local/share/examples/otter/auto/mv25.out: 2e197678410a5c84893ff96750819e9be7e81f8aea8e0775a74131bd30c611b2
  /usr/local/share/examples/otter/auto/pigeon.in: a947be0a5ffaf1fa051f169b86e4417acf026e65f8b429d26cf27cb88ad58bb5
  /usr/local/share/examples/otter/auto/pigeon.out: a817dc31a9e4ae451dd7481177e3a5ec46e21729bd8ecbf62a6aa356e54ba613
  /usr/local/share/examples/otter/auto/ring_x2.in: 088e7125cba082652c06037114c9794ed38ed6e0113f7f4ae50afa34535d5cf6
  /usr/local/share/examples/otter/auto/ring_x2.out: 8843087def3a0125e68beac1bc9c1fdc63bc436221e7d643a3f0bc9a27a9cb21
  /usr/local/share/examples/otter/auto/robbins.in: 35f9f01b4bdcb8687a214cac46d8beea92d1314cc5c6c74de2e20aed4af51c69
  /usr/local/share/examples/otter/auto/robbins.out: b782cb09b3c0678aa523ec3721feb20388d94c95baeb6d8c2260a441469db447
  /usr/local/share/examples/otter/auto/salt.in: dcff89f05147bdf97351e0ad75a70c7e7c4376ce63bd2fe8af3908312e5364fb
  /usr/local/share/examples/otter/auto/salt.out: eeb94c269348eaf19f81c8ec75e1f31f458423fe7c82f6268f6fbd2c35a239c0
  /usr/local/share/examples/otter/auto/sam.in: b57474009d2a020c9b0da6c55bb78a8ea40bdc02f42aa2cd0263ed0585992524
  /usr/local/share/examples/otter/auto/sam.out: cd30eceb19b22d2c9902423c841078528aed484962b2b3dfc7c8299f8b015891
  /usr/local/share/examples/otter/auto/steam.in: 275c2e06b4b20b10db9a1fe366c72b68ebf39b3ff3b0f321aeb12fb7ebbcb4f5
  /usr/local/share/examples/otter/auto/steam.out: 282b26ce95ab63bbae93ba1f5bd5550ebb79dc8806cd8acfcffedad8458a8fd6
  /usr/local/share/examples/otter/auto/tba_gg.in: c1a5221600defe88a1ea4ffd57f46925e0a0d741105716efaee33c96633aa36c
  /usr/local/share/examples/otter/auto/tba_gg.out: b5d65f5712732e15ca9895e647185475c22872c55a240d73316c382a36e42e01
  /usr/local/share/examples/otter/auto/w_sk.in: 4cc6c393116a13ec41b7af83936b873620f20f82505528adb8a2cfdc8b2bfea4
  /usr/local/share/examples/otter/auto/w_sk.out: 44ccff31d77d56322c4d447073ea7cc61443d0fd4fa90f2029ca6bfbca722ea3
  /usr/local/share/examples/otter/auto/wang1.in: 9b0d5255f60ab0ea616f64523b2988b7bab71495412fe18a7542da2d6cf7983b
  /usr/local/share/examples/otter/auto/wang1.out: 74f2f0b28858f6b0e074ec6057c3f33f89cab534db41103c48064569eb279c8d
  /usr/local/share/examples/otter/auto/x2_quant.in: 7bc02182388ff05f18dadc5c9d6d80b87e5c26d21fa376377c42eb06b4b079a5
  /usr/local/share/examples/otter/auto/x2_quant.out: a8b96cd0293231cb532075804ba0896102110c9947e2395b9df6ce24d328edfd
  /usr/local/share/examples/otter/auto/z11.in: 2339997cf0fc60bd685d2c813163b59f38cb3bcc49d3277d998f2aea53e40ae4
  /usr/local/share/examples/otter/auto/z11.out: 616c08564d0eb3f62497e277539f8bcd315793acc61ecea686d224500749371c
  /usr/local/share/examples/otter/fringe/README: 51eb8dea7d1e6d57ef23d3720305e193374cc5ad48568b8efa4ca89ceadc9675
  /usr/local/share/examples/otter/fringe/bring.in: 5f56a1052e4ffce7e27683df59711797736588ea41eab7ebc997a0b02f736add
  /usr/local/share/examples/otter/fringe/bring.out: 1978353d3444253ed83e59845386a1171a8d5f751a4021dc181e69cfb73462c9
  /usr/local/share/examples/otter/fringe/ec_yql.in: 7e40bf3b1b899a82155898948f260d5cfc56c6ed48fbff9182e3a4c109b53151
  /usr/local/share/examples/otter/fringe/ec_yql.in.28897: 10bd7e0455577b236581dc01aa90fb3f6718c90362834f0512bc6449cf7d3c03
  /usr/local/share/examples/otter/fringe/ec_yql.out: 2933e6d82cd9127ac1c84f02d071152d99aa54dfa100dd31359785362538b022
  /usr/local/share/examples/otter/fringe/gl4.in: 4aa0c75c7fcca9d8084e094088206a28ccb3629553a8bc21fe5ab3ef76f2df5d
  /usr/local/share/examples/otter/fringe/gl4.in.28897: 8e02ab34ceb02cf8351d8867322b548e49ee5e120b8f60f012db30e0657c6e5e
  /usr/local/share/examples/otter/fringe/gl4.out: 81654a8d7c1afc2c57cf12addf16854284866c801ea874375879220a74b641ed
  /usr/local/share/examples/otter/fringe/gl8.in: ffb441a1d2b2bb2dbfe3bc48542b6ee6a02969fb93b8447b873c498bdc806824
  /usr/local/share/examples/otter/fringe/gl8.out: 710ea4ba55988a52f9ba33ce33de53f63e007a7e2b014d92a5a0e44bd245370b
  /usr/local/share/examples/otter/fringe/if.in: f4f3bce661768e64adc1579efc603db6d6bd517442fb8b6acb508be8e5b73cdf
  /usr/local/share/examples/otter/fringe/if.out: 912f200ef86155ff2dc3f70985feb955c853649da7d9e4c64692b803ee82c75c
  /usr/local/share/examples/otter/fringe/index.html: 5b008f90cd311af9116e4a957e6a18c1bb899999e81a397bbe5873e0ff6d888d
  /usr/local/share/examples/otter/fringe/lexical1.in: 2936ef93b2fa7819c66f55afca3523272e22bf22f5fb2f235bf45971d0671331
  /usr/local/share/examples/otter/fringe/lexical1.out: cb9d0dca7550cec14620c2ef35b3fa56619f3e25e0e83b4f8ef691b83dcccf54
  /usr/local/share/examples/otter/fringe/lexical2.in: 26fdcc25b95009dfc3f0376e31202235ab40574e05599abeaac395e0f777a8c6
  /usr/local/share/examples/otter/fringe/lexical2.out: 836f75211d583a2b0552900f068047c313cee626ee03f3bf56ff9b286688522d
  /usr/local/share/examples/otter/fringe/lexical3.in: c6f48f092f21ad400ade6292bd811709ac4aa514855b3a734eff10c89c28639e
  /usr/local/share/examples/otter/fringe/lexical3.out: a4dbff1af8a5740190470c319d58ab269a495038304bfa86e535edac071a47b1
  /usr/local/share/examples/otter/fringe/luka5h.in: 013505d32f221ae4c4b2feaf0eac99a50adce768bb879b960fd2261996419da4
  /usr/local/share/examples/otter/fringe/luka5h.out: 895ee72b09a85d688c95c67394f337892a598064108f0e74b0bb2779fe3b294e
  /usr/local/share/examples/otter/fringe/mfl_13.in: f571310aaf4ac00b5388747eeab96a10de780aff99afb6eb27bc91404f9f4b68
  /usr/local/share/examples/otter/fringe/mfl_13.out: 3d1cc6a887dbec9d3a9eabda11e25b1dc0f04ba6687acca7eae59941365bcbf1
  /usr/local/share/examples/otter/fringe/olsax_hints.in: 35f2a257f6db5b08dcdc566aee1eb3009cfbd4c7219053f10d7467e17b351359
  /usr/local/share/examples/otter/fringe/olsax_hints.out: 2ec1481ffad10012c22f6ca6854ac2094eafa8bdbb4d3686e6ec2d5c847289e1
  /usr/local/share/examples/otter/fringe/rob_ocd.in: b3cfbb390192d804120f54eb293ec1fa0d27312a556a18613dd5afe29a87791b
  /usr/local/share/examples/otter/fringe/rob_ocd.out: c92d9e306829725007ab627df9fb118fe4e35344ce1b68512e0f13e74b21dff0
  /usr/local/share/examples/otter/fringe/x3tricks.in: e9f2e4b8c10d03ad892e93c66af9c0bf00b33b8977564eab9e7ff56d5a088072
  /usr/local/share/examples/otter/fringe/x3tricks.out: ea915da59748574f7524a0d2fe4ecba9bd22fc090b8b47455ca5f798051abc8e
  /usr/local/share/examples/otter/index.html: d0c564323be9beb681859c7642ff70d934a707ceb1f9be99a02aa5edd4092490
  /usr/local/share/examples/otter/ivy/README: 1604c49aa62935c06e6757a43360e492ba634b833f4986bd0e04c71b069bc9e9
  /usr/local/share/examples/otter/ivy/cd-cn19.in: 6667901ec617c6e4a4aa823ced86cf75b6ee1d02c205bec7e892abcb8b65edc9
  /usr/local/share/examples/otter/ivy/cd-cn19.out: db9a92c33d3792c6d615c4d8c9df91a2a486caa6ef971a1ea6f33257425de0ae
  /usr/local/share/examples/otter/ivy/comb-sk-w.in: 5eba309469c4497f4ea6055f2284f43b03299a60335fc169ec5680d962041d65
  /usr/local/share/examples/otter/ivy/comb-sk-w.out: 51f4003a5d2187f0815348911dd69c9107731f95b648d29d856c9db35119fe8f
  /usr/local/share/examples/otter/ivy/group-comm.in: 32b84d980312a7cd4410103c1ceefec55946d2450d8e52b696e3685fbb2f7f70
  /usr/local/share/examples/otter/ivy/group-comm.out: bd45106c7d8c3fcb50bb6145cfaeb6c58a6fd2e2c5ceda6151555fabbbee8196
  /usr/local/share/examples/otter/ivy/group-x2-refute.in: 9edea20e38749ad15f76e6b2c59ecced531b16c5ce2ba07c2c7170923db9cfda
  /usr/local/share/examples/otter/ivy/group-x2-refute.out: 877666bab6c949222aa4516fa7ed0fd6928c25144de5094446a2eea6f057f201
  /usr/local/share/examples/otter/ivy/group-x2.in: 9edea20e38749ad15f76e6b2c59ecced531b16c5ce2ba07c2c7170923db9cfda
  /usr/local/share/examples/otter/ivy/group-x2.out: 2d09b5808483e5d2b68cb525efc42f90e7e0cc6225cca294b6251e25c8b188a6
  /usr/local/share/examples/otter/ivy/index.html: 1d661eadb1d54bf39e62038157988533bda97db1df7fc03c8106496c56cf58b3
  /usr/local/share/examples/otter/ivy/lifsch.in: c2cd7c010fcaf2a9ba94cbf5bfb0741121a963fe8138ff2ed6f3153b6b7af28c
  /usr/local/share/examples/otter/ivy/lifsch.out: d7b38f1ec7115bfc3a636fa91707845c3616c173f4cb834928e5cf2710e29dd3
  /usr/local/share/examples/otter/ivy/p-and-not-p.in: 0cd0117a4c727d975929dc448b2b31f3edda960d49a4f3f9302bfc41b3d7897a
  /usr/local/share/examples/otter/ivy/p-and-not-p.out: 426e7832c0c66ecb36b6fe3fca32c9263f2cd6e647f50a37c0c7894b09e9cdd0
  /usr/local/share/examples/otter/ivy/steam.in: f84f3fce19fd8240803d8110a117d1bd623df6a5095d16d404df8ea93253dd6f
  /usr/local/share/examples/otter/ivy/steam.out: f7d68d0c4b9784426396e896c1fed22448384c83f14b719109e48642e82e235e
  /usr/local/share/examples/otter/ivy/t1.in: 48542daf3f51ecc5735967e6ae510ff00dd057be0ac61bb8c7b4d67fcbeac759
  /usr/local/share/examples/otter/ivy/t1.out: 2b51b33e873ae13f2e4d65ba83de8ff4ff118426876d67b245f1e196c1e6d87c
  /usr/local/share/examples/otter/kalman/README: 139bedab9e71c4c6540f5128d8503c3d85bcef8003336ae77d04494b8b3da170
  /usr/local/share/examples/otter/kalman/ex_1.in: faa96f72a5c734ad16d50ccfba00e845d9871aa08c0df1b4c6f9df92ed496eba
  /usr/local/share/examples/otter/kalman/ex_1.out: 10d591bf5b28ed0f4baadf4de39e40cc6e03746d32edb86850e30ef7945d8465
  /usr/local/share/examples/otter/kalman/ex_2.in: 8715523562b46ff333265ac2edba6a3928a99d7fbc4285b45356bc14ae502c9f
  /usr/local/share/examples/otter/kalman/ex_2.out: 809663cd665d9f1073c186fd33cb80d9a5576307b7c708f5883419369d04e237
  /usr/local/share/examples/otter/kalman/ex_3.in: 553c6b1876d46a1035c24de066ce0c75eb16a4ec34eb9091970572435280631b
  /usr/local/share/examples/otter/kalman/ex_3.out: c4d23c800a78c5c4414d8cffc7ee62b5434f2ca2f12ceea808244847d67ab78a
  /usr/local/share/examples/otter/kalman/ex_4.in: 68395f5563636b75464493e327f10e6d0bae729e95fad99779d447fcfb179e2c
  /usr/local/share/examples/otter/kalman/ex_4.out: 604346e0dd3bfdcb160ade9574efd331349a4bf68b50bffc098f0cc94ebb1016
  /usr/local/share/examples/otter/kalman/i1.in: 8f5dce95c1882d9d0e6f28226007c3f148d7022d195b619ec0e44409fe3ac894
  /usr/local/share/examples/otter/kalman/i1.out: b4630a796a425c795abb6581db3a87b3a1c9ba9e35f9e43cfdfc263cdc251d94
  /usr/local/share/examples/otter/kalman/i2.in: 744734c73ce0592c9845a22f6179250c47e1587f01398587697da64842e412f9
  /usr/local/share/examples/otter/kalman/i2.out: d0fb6848043fc90050fbb195f18f4ccd444cc0562d083165ea136a417917ce23
  /usr/local/share/examples/otter/kalman/i3.in: 4aecaf3f7b3d373a2eb1b2949201e6c74beaaeebee0b14be66dfa6b879e4d8e3
  /usr/local/share/examples/otter/kalman/i3.out: ec706eafbed6a6301ee02b822fa5b8fdcf1041ee189304f801fababe221235bd
  /usr/local/share/examples/otter/kalman/i4.in: 76e89634f7d096a3e70424984fc762a0f4cc665af70da774d585ef98062b7776
  /usr/local/share/examples/otter/kalman/i4.out: 886623caca07f8335f354aafd4412092b1be174f80ada35f22b9533b8f187566
  /usr/local/share/examples/otter/kalman/index.html: 68c67c5553fab40360fed7440029ef85605a5cb5a79aff9cf02c3d5131c43ee6
  /usr/local/share/examples/otter/misc/README: c704fb02808409c0aac880d2525288400ba48c7514ba1731f5362f3eb04c2068
  /usr/local/share/examples/otter/misc/andrews.in: c15bd20eef3688ae8e1f8e61fbff46e67bb8bbf73d44008c978cb89a6aa75f08
  /usr/local/share/examples/otter/misc/andrews.in.28752: 1ad1f1a4cfa70228c629a67309036a1c635c865e542b782e8982d5ba170e8c3d
  /usr/local/share/examples/otter/misc/andrews.out: a3cc8aa722789e79ff332fc6e971f3fbf738f1e42452cdca97940c4f8cfee48d
  /usr/local/share/examples/otter/misc/cn.in: bd2adf47bc0118395d239a0d2d1180b21a3faf83a76d7813a4f37d0de1c08b25
  /usr/local/share/examples/otter/misc/cn.in.28752: 62962f3aca0c1f9b06cdd980b439353df064755352551270b4d0fa2bfcdf950f
  /usr/local/share/examples/otter/misc/cn.out: d757dcebc860c2aff1d9f28d62be6a41ea102334c30fc4832164e604a9a33d5d
  /usr/local/share/examples/otter/misc/dem_alu.in: 9f3a3b033bd00151b99f7692bedaf71760ac97e14e4182c71857404e707dc7e2
  /usr/local/share/examples/otter/misc/dem_alu.in.28752: 8b9051544b5ecb994a97962dc93d975351608cc4969dc037d6fb6a19568d7cdf
  /usr/local/share/examples/otter/misc/dem_alu.out: 70143c7ec27f4608e58b2b1ce4299e3e344236adc2267a7e635aef6496f122df
  /usr/local/share/examples/otter/misc/ec.in: a666242e5d2b34fe18d86e02d37237895210115f8d64887824503f8023301413
  /usr/local/share/examples/otter/misc/ec.out: 4f04048da77903e6803586e6a7d0233e426bba6874e03a330792fd5a54f472ff
  /usr/local/share/examples/otter/misc/index.html: 2c4c08569b6048a617d6d70e34739fe14a4f5bc7a354c4778b686d6b2e431c00
  /usr/local/share/examples/otter/misc/kb_bench.in: 6d3ea2b1eb1320bf636f352666844df90c5539fbca9e3ee6e5c1b1ca11158e74
  /usr/local/share/examples/otter/misc/kb_bench.out: c30898f1006f1fbc185a5255756b73ffae7e62ad5a9b5687003905d8430e5d6d
  /usr/local/share/examples/otter/misc/mv.in: bedb8681641615f92e963f0fcacd956472bd2b6078f617225e0bbb5fae336b70
  /usr/local/share/examples/otter/misc/mv.in.28752: a22cceb14766ba5b4b91338c0a41dc6ae9310abc486e5a96fc20f358aac667b2
  /usr/local/share/examples/otter/misc/mv.out: ddee562babdebc032e29b9c72a164fff5697f8062533522d331b5a2534cd0de2
  /usr/local/share/examples/otter/misc/sax1.in: 65761cff9094d3c24ad425925611fcbaa60bc8e1159c43ac093f996983cde03a
  /usr/local/share/examples/otter/misc/sax1.out: 01dacf2d95390d5b68e27c9f68569c2ceffed24b4d444cc38d0a97ec1caf3771
  /usr/local/share/examples/otter/misc/sax2.in: b65fe435099e049f82dbe8dadaea84c67c30e839e7ccd2e93e2e18c2ec60d8e0
  /usr/local/share/examples/otter/misc/sax2.out: 22468676bc789411c98fb34b3f6af573d053620515aa5d6b354c8551e363d8b3
  /usr/local/share/examples/otter/misc/stage1.in: 85ee3618be63dfed4626bca81e6c8a4fe8285c37c4622ddd89dffaae7a1fe41b
  /usr/local/share/examples/otter/misc/stage1.out: 24f35291be63f33045979f369b3520520f8134bf9d14f33d36a245d1131979db
  /usr/local/share/examples/otter/misc/stage2.in: 3a2ffbe34e172445bb8c09fe9f00247070652fac2dccbc8cb33d49fe3170099b
  /usr/local/share/examples/otter/misc/stage2.out: 62eebbc54dc84f35bb5317bede46752ee36210fb31f348103a65f6709565889b
  /usr/local/share/examples/otter/misc/str_bws.in: 4bb34f1a735d4077e2ebfa772f8d510503aabf1abada3a5f478492c67849f280
  /usr/local/share/examples/otter/misc/str_bws.in.28752: 541d8f57dd43344f8d0b19ef9b409287542ef1da9adb10e6468c0475c9d2d65b
  /usr/local/share/examples/otter/misc/str_bws.out: 33c7c1137f282dd1e9ddf08f56cf284cca71d172082a1880fd07af84fe6d252c
  /usr/local/share/examples/otter/program/README: 021a3dbdf36459ea0ea27bb7d704d601b1d7b60643e6dec1b22aee5917ccf0a8
  /usr/local/share/examples/otter/program/eval.in: d1a5623cfc58f0c761df4c95be9db418140d7683ade0d1b4444f55f271f7307e
  /usr/local/share/examples/otter/program/eval.out: e17bc61bde9d44d5a9a9f3f58609421217d5cef26df29d6edcc3680636bd6034
  /usr/local/share/examples/otter/program/index.html: cf03f08612602269877793d6da5cc7f3b951f8de19738fbca06014b2960eaf10
  /usr/local/share/examples/otter/program/jugs.in: 0d6ce4ea974ca0b66d60e73ec7a1c638152a8e33f53e29b4cf7d5c799d4de4cd
  /usr/local/share/examples/otter/program/jugs.out: 2330ac020b7d5e9f9df436d41c5fe87e67668b6e0b428f4014c57ce88508ecf9
  /usr/local/share/examples/otter/program/mission.in: 105421ad0f033b6561ff633b4fb6d108e2212a77ca32aa0989d0a888597d57e0
  /usr/local/share/examples/otter/program/mission.out: c9275e04ba2c63627ec8f4f0c460878b1d893b77f28caf31334da35517f564d2
  /usr/local/share/examples/otter/program/queens.in: 09a6b5a90b36ea65c23bf380946914ea8a04309bb7a9c3ef2539444f93a54161
  /usr/local/share/examples/otter/program/queens.out: 3d3000caace4fe7d685a269cd765374c9ae5a49454e6932e3c53cba66d299cc2
  /usr/local/share/examples/otter/program/two_inv.in: f0bf75320a3feec59c6d158c816cd2d7acfbd5e7ba0e8f2f82f5c871d151fbaf
  /usr/local/share/examples/otter/program/two_inv.out: d138b9037e78f43a28c76b02fbc86b1270ee9100df33ec7b71a65745415b8c48
  /usr/local/share/examples/otter/split/GEO010-2.in: d6908e90d008dd6a46983604007e2d1d4a4efffacfab603eebe981b3ef012ef3
  /usr/local/share/examples/otter/split/GEO010-2.out: 69b9fce9e75432210f7f8d7fb53162f5b06464842b69a98a3b6114058f4a0196
  /usr/local/share/examples/otter/split/GEO036-2.in: ca3f53bf9bd93a5c22650313a1e5cc5022e66f6cdbc4a7a8608e69c2a0f63344
  /usr/local/share/examples/otter/split/GEO036-2.out: aead2d9e73b31e899226de5eeecf73530c7ac665110720a24a61e938b135a0e0
  /usr/local/share/examples/otter/split/GRP025-1.in: b79cfcee82ca4ecf9e007b7abad08f7b490b321990ceb3a3fb3dd3301fdc48c9
  /usr/local/share/examples/otter/split/GRP025-1.out: ddec28ae30f9c55ac8dc1d61ed291dd91b9126e0d3718e70a2e4593aa20b3230
  /usr/local/share/examples/otter/split/README: b4012753596a35f96436f82ab1cf28e556cfd6a78743d14904cedc11597564bf
  /usr/local/share/examples/otter/split/README.more: 0b42afd121cc371b2da714ef662f807361b9a25b44518a65a89affef1e22a5a5
  /usr/local/share/examples/otter/split/group2.in: 48f585dd58b94d2dda051d9177daf3b418cb6afe3e152691cd2a09a807bbc591
  /usr/local/share/examples/otter/split/group2.out: df2e4d051c17f209b26f8131c48ee466bedab7ba40f8ad728bde56c46123d822
  /usr/local/share/examples/otter/split/index.html: 415cf82c2d399a34bc773817595db8ca985e4750a12b9a90480975c386dc8b52
  /usr/local/share/examples/otter/split/noncomm-group.in: 3bbee627e0dbc456d694f0a6eb57cb52b1335cb1e6d638d922f0eb417b6d4e6d
  /usr/local/share/examples/otter/split/noncomm-group.out: 09a1af5c50d0e655a33e33eae29370f1817b5cf020321967d55e14b00d83a299
  /usr/local/share/examples/otter/split/pair.in: 02c03e133397cf2e7f1dfbd467ceda41ec2d789fa078f72603d8b41f5668cc03
  /usr/local/share/examples/otter/split/pair.out: 8d63f55d54d70b72c832e73f2fa7544ec97b0a8cf580cb784bc06c3bd189d066
  /usr/local/share/examples/otter/split/pigeon5.in: 355eaf46ebcb0016ea2c9bed574dee575b33f2224265e6d2f43697f6e5ccce1c
  /usr/local/share/examples/otter/split/pigeon5.out: 7c1e56e38e2d04d5d24c5ae769e1c23b33fa75b1a7d9e9d80a6e9b2d4c4e4fbb
  /usr/local/share/examples/otter/split/power.in: 7663782bca4c834201e165ccd5814cdae714e3e79c8a1e164988176a452387ab
  /usr/local/share/examples/otter/split/power.out: 99766bc029b96e94736caaa18376ca920335f6064874d051fbef9df61a489a89
  /usr/local/share/examples/otter/split/temp1: e2ab290a170510d5774f78d4ed4e229df13a7ae30ef2ed6b8ec15effafb4979a
  /usr/local/share/examples/otter/split/wang3.in: d5ed892569568d0b827cfc7bd2ca430f2622927d66e9b8c91b328507239d33cf
  /usr/local/share/examples/otter/split/wang3.out: 129c56552cf343fee75faa251cfe56be9e15e4e6a18b231bc3b7c07245bed336
  /usr/local/share/examples/otter/split/zebra2.in: bf3436c1dde9a06a800bf8609ec7ce560e97b445fb5010204e16d59e5d74ad91
  /usr/local/share/examples/otter/split/zebra2.out: e6cff4ea3452459258eb2db72c43dfebdd60aa3e741c0088244eb3c6fb9aa7e2
  /usr/local/share/examples/otter/split/zebra4.in: 59334036d8cb05ca32658b335a206a110ca78f5ab77b8159bc4b63c4ef91bc38
  /usr/local/share/examples/otter/split/zebra4.out: c0694d5ecfc9597b3b0296faa3d922f2679884b5774d429b153fa63fc0afd035
  /usr/local/share/examples/otter/summary: c25cc69fd9164bfbb6a6c288fea630bd264bb4caa48168cb084e1b8a1f45e71f
  /usr/local/share/examples/otter/wos/README: ac6489f7a28305b9cfb2544802d1eb59f4f18549e9f0c2d5245c2689e4d7a881
  /usr/local/share/examples/otter/wos/README.more: 51963dbc30df445646f3a32e1e2a15f17fb0ed6b35efc20ceb2a3fc386525f26
  /usr/local/share/examples/otter/wos/cursory.in: 15a83e64872685a5b2472eebba7403789a2fcf94767cb079955eca16d568feb1
  /usr/local/share/examples/otter/wos/cursory.out: 266e3e8ad1752956c28e6b9ce686c74bd349f2fd9c1a949edf73603d27e66b6d
  /usr/local/share/examples/otter/wos/grp_exp3.in: ffcf68fd70b5919a2d823be49357d3561c677daab3d1598b0a6b50234c832931
  /usr/local/share/examples/otter/wos/grp_exp3.out: 1fb83511af3931812e3be08c52ef6a9a3a79aadccddf419d24277516bfd7452e
  /usr/local/share/examples/otter/wos/grp_exp4.in: f9b8f5b4d7b4a7423aaecbba5546799380fb934f67aa3dc5d95a1bd464afbd86
  /usr/local/share/examples/otter/wos/grp_exp4.out: 6be3f4847411be4f7efe4865f70eda04844439c95e77483f21dacb00faca8e81
  /usr/local/share/examples/otter/wos/index.html: f4b261aee1898a4f67b6fe8cf6db283e295718b6d2e049d933ebb1997fb80854
  /usr/local/share/examples/otter/wos/manyval.in: 1827ec41254753c534a2234f283e5e28ea0eb27121147ae1e7e1fc41a8859517
  /usr/local/share/examples/otter/wos/manyval.out: 1517dba2e2384e6a3fb28cc4556068ba85ea7ab0a658f81a2ceed826bf47027d
  /usr/local/share/examples/otter/wos/rigorous.in: 8ea84c8a9b44b31443481f233dfb3ed0c9b8e3a353e16e6baa2130fb0ef0e464
  /usr/local/share/examples/otter/wos/rigorous.out: aa726dd724922d80586bdd4b83a11ce5f8992fa7a592c61a81cd2ed99b798e88
  /usr/local/share/examples/otter/wos/rob_occ.in: 88137ab509a1faed2085bf74108de23a7f8a659b5034a65dcdc55f7f829291bd
  /usr/local/share/examples/otter/wos/rob_occ.out: e012ae127477cd79d590f685f69fb0f4e57eb09c7cdfe2bcf50e5c3cac722f63
  /usr/local/share/examples/otter/wos/twoval.in: ded6cccea6eedf78d405ad6b85dad93f9302467f9077413ea3f51a763b210390
  /usr/local/share/examples/otter/wos/twoval.out: 392fd1349db638c74486718293c7a08260bc6e052122a7ddd5e341dcb5aac823
directories:
  /usr/local/share/examples/otter/wos/: n
  /usr/local/share/examples/otter/split/: n
  /usr/local/share/examples/otter/program/: n
  /usr/local/share/examples/otter/misc/: n
  /usr/local/share/examples/otter/kalman/: n
  /usr/local/share/examples/otter/ivy/: n
  /usr/local/share/examples/otter/fringe/: n
  /usr/local/share/examples/otter/auto/: n
  /usr/local/share/examples/otter/Loop/: n
  /usr/local/share/examples/otter/: n
  /usr/local/share/examples/mace2/quasigroup/: n
  /usr/local/share/examples/mace2/propositional/: n
  /usr/local/share/examples/mace2/lattice/: n
  /usr/local/share/examples/mace2/iterate/: n
  /usr/local/share/examples/mace2/basic/: n
  /usr/local/share/examples/mace2/Perl-examples/: n
  /usr/local/share/examples/mace2/: n
  /usr/local/share/doc/otter/: n
scripts: {}
