)]}'
{
  "id": "2c176ac5b81176e6c26b45e451fcec4f5b79375e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "c373ede86cf15698408caf6efce3729d9d4c90ba",
      "name": "AUTHORS"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eeb586b392a5a7dc63d64ba697374ea37e6e122a",
      "name": "COPYING"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "72712689ff8bdc9507ca4549b6d97e6ee70b835b",
      "name": "LICENSE.TXT"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "320f6221bff8f98d6d05e4eb0177439042b5e7c0",
      "name": "Makefile"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "efdfb84f1ebd35beec890e64367048cfe74f5528",
      "name": "README"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "448870ccde1710c01f49be6c89950e9426cbf786",
      "name": "VERSIONHISTORY"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f5605542084bf9505e4e47d003d1af3956363a8",
      "name": "analyze.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d3b9656f1524ae5dae644b41247b5fa3d2934451",
      "name": "analyze.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7529d82c07a362a8e31638685dc9b690e3d5b2ee",
      "name": "approx.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4207913b5b147371237354ffa2575a1bb20f876f",
      "name": "clause.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "351e9c6dfd0fa0db902ed2e45cbb97d998f9629a",
      "name": "clause.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1166782b434ef1c1c3ec01f4ae89cf8f44291293",
      "name": "clock.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f643de2cb78bbbd271d2b80037e09c642945ecba",
      "name": "clock.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fa2e557f552dc4757ee62cd991c82c3bc8feeebb",
      "name": "closure.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "857639d30622929855c3e7e450c36fc81f6626c4",
      "name": "closure.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3de67aa457e34f96650cf1c6f6e53de69e21a299",
      "name": "cnf.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2e8df006cc839c9aeecb95d7b3d899874f059b83",
      "name": "cnf.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "56fc33bbae7d8eb5b63767a22513187be008ddda",
      "name": "component.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c3ab27061e11e0e6a634ff26034765974565d9a",
      "name": "component.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ed60480dc579dfe492b84cac4257990fa4da80ec",
      "name": "condensing.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1bafc8342e3ed975bf318e8cb0d3183cf523db49",
      "name": "condensing.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7bbecc680e6a901fa02cd58b20fbdf87d2849085",
      "name": "context.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "798b04ac1b73cfcd0e9a328b5f88a5e08392049d",
      "name": "context.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "51be4b6cb420f90658164fc2942b76f7722b8325",
      "name": "defs.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "34f80677567a89f5fb0eaace7b359d5a56a02a0c",
      "name": "defs.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c555455fac51ab8e6f8a99615b92c9fa9f6625e8",
      "name": "dfg.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3691271b53b6548d9cb773130c6dadaf2ea40cf0",
      "name": "dfgparser.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "252f1409c891ecbec04131ad072dbfe7ac887c29",
      "name": "dfgparser.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2adac3afe5be1259e452ef2121562348de8b9d8e",
      "name": "dfgscanner.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "12b3c5cd06d56ebe87f45a2f0f29f6facbece878",
      "name": "doc-proof.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f39dede8956797620d3b3d5f79a51b54610a62ea",
      "name": "doc-proof.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9e7c2020d2d68482ec11a6f3796ed1f97b97bb7a",
      "name": "flags.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9f70e82c78e017fe33e80952c3fc32f2b66fcc48",
      "name": "flags.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cf021212c5692a62a1f86cb939007ff972c7e198",
      "name": "foldfg.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cb587fca18e9fdcbd237c8dac6f8acf581a5750e",
      "name": "foldfg.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c8cb25cfbe322db89c60abe8054223c42b0f2a71",
      "name": "graph.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3df7acc1a9ba7aa20645aac4c0389a36465d95b8",
      "name": "graph.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9d0b9d589640b019e51cb7bb63b9f88603ab2561",
      "name": "hash.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1a86bbf2e308310dc8b068ac3426e9bb7ba8af79",
      "name": "hash.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2092c907d3c6ada84688a1e9bb8bcee9f20d8dd5",
      "name": "hasharray.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "35b0aac1b2182ce703ee41be7a6ad36e4404e828",
      "name": "hasharray.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6f6fd4496575bb5d01782db216937d7ea5ce5af6",
      "name": "ia.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4fa8697954a6ef20ea365094f830cf02c20cf218",
      "name": "iaparser.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32fb09369d1cf32aa8d3a023aacd2988092f8f46",
      "name": "iaparser.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a3388c867366bcf0a2fa7b4f8603c27ae001d867",
      "name": "iascanner.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "81836a30efed52ef12be0c1d102ad7fc2f57a2cc",
      "name": "kbo.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fd6cab12bfa356ced86ad7d1cf20f6b2e69f3d95",
      "name": "kbo.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "89c3276f44a3439af7ea23ce7902f1749f090909",
      "name": "list.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b28ad5da87d30c753e89481400773dd43cc28291",
      "name": "list.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "22dd945d5828478beca3cfab46252dd15b2ac820",
      "name": "memory.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8c243c80c1e078900fccc73b7439e596096ee5a2",
      "name": "memory.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ffb01ab4addf06856485843b4302bab0001520b3",
      "name": "misc.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b1c2540df98d91e6a05a19f71a0b8527dc0b1455",
      "name": "misc.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eccbb608131d4c3ea040a85e14f7248b44a0388b",
      "name": "options.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ea696e2316965fe7947cd9ac9df32dfd0fecbf10",
      "name": "options.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5f00e80b67333c50d5c5eaef5b9654b0976b35d9",
      "name": "order.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "13352c42f0a23ff59ea75e2a4c0faf7b389a41d4",
      "name": "order.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bde18a90c8ad3a9c139e1e9318deb735885d2375",
      "name": "partition.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5e45d5a416a7495f34ba54dd7899ff76b323b75f",
      "name": "partition.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4527e6aaa0f95e6f009dc52c51e4a1a8f1190889",
      "name": "problem.dfg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4dcba4fea16e9ab884a717a61173fe926d04fbf2",
      "name": "proofcheck.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4a56a7eebc8038f25452c11862e3db4137930347",
      "name": "proofcheck.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f2ce0e7aa525bddba66ea6b3cc995a1ff94fbbcb",
      "name": "ras.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "99053c2cd59816f0c1d75dac4e65e27f90a36666",
      "name": "renaming.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4778d56f1bc8d43e9f3093f85aa3d653319c0409",
      "name": "renaming.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2bd322239eff2b52598f923e53fd98bda7c35b9f",
      "name": "resolution.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ed097740d6c3edcdcc6125cb41b0605e94084fdc",
      "name": "resolution.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7feeca8fa8c8645542adaa8e767d2a3b624bd30a",
      "name": "rpos.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ad6a747ac73f44773acf5281ac7c069727d4f846",
      "name": "rpos.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "da6d959ed613115899430c4fe5095381277df482",
      "name": "rules-inf.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d679c5766679e23f0e1ee577ae46f54756b0a545",
      "name": "rules-inf.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c4bee6be2854e9f56684f47df017eba049f2a3e6",
      "name": "rules-red.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "39f62f68ab38e178fd24c515515d5fb5b0f2f00d",
      "name": "rules-red.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6ea442bfedb3981c52a8a96a861942b81b19aa53",
      "name": "rules-sort.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4efef92b722dd7c357c63caf1f5dad839bb36664",
      "name": "rules-sort.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9ebf06f28f3f83276c313bd3c0487178af7a5474",
      "name": "rules-split.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a6b3b809ff10c9624061a0922bbbc7be7d3ad8c5",
      "name": "rules-split.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f28ef2942c022dfc0eb96c8c8e3f447232d3330",
      "name": "rules-ur.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1596ad7674ace97242d03e9e000aafaa3db28b34",
      "name": "rules-ur.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a1b8aac4065ea7c4766d6904b1f68d29584cfd20",
      "name": "search.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7415eb16b0f7aa2ca6c7a0884197e09950acb289",
      "name": "search.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6e43f7a49a9c7c27080085b8a5320d1be155bdb3",
      "name": "sharing.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ff803d93347858cfd5e3f6c8a75c5e1a4506f5fb",
      "name": "sharing.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f0b1a6d1b1445e428f61f4c967ca992470793085",
      "name": "small_problem.dfg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "697b8058328ee7c25aea4f5bab8f17f912d684fc",
      "name": "sort.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "03954d7eee2e71c3458ecfef7a818dfb8dc2454c",
      "name": "sort.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5bae7932ec6753bf924a68cbe65558c4f942653b",
      "name": "st.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "31fc4a072b7b76df881ea1c784f922c06fff6492",
      "name": "st.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "08830b9db233c251e0da9630025fd995c3c80c47",
      "name": "stack.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e711218a280021b34117b13500e43719b7443b32",
      "name": "stack.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "34b15f27408e346d7fbf3839d7f71488b8305b7c",
      "name": "strings.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b12b23d5f28a6daf4e75d80c91024eb2bd272d55",
      "name": "stringsx.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fc8409e5d7ed3fe99ac7cea3e7d12f1f6714e0c3",
      "name": "subst.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d61dab53f5518474bb3f49a960e5c03ea3b1cf25",
      "name": "subst.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "31854761a77d93ab5c66e93912a3c9e11ca6a523",
      "name": "subsumption.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0a283b066038796010b5e3ed83a4f2141c47dff",
      "name": "subsumption.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e94e0066d594f5ec3d7c0aeb9ff5fe825e69c72",
      "name": "symbol.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ca910db092d07bb0f5fd309b10c7b54e3881e084",
      "name": "symbol.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5c2b957cf71f2de6fe0fccc3ed17645537828deb",
      "name": "table.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "92f7b32d4526912208b7a6712b5d9c1a97cfa0df",
      "name": "table.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "59e037c5f78713e196ebf518bae4ddbbc53732ec",
      "name": "tableau.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2207eb9963fae96be72ee0445f8a20728055d76e",
      "name": "tableau.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7b70a4b5fda6272198fd5501be33b65df06a999d",
      "name": "term.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1965d549ac70758cada26145548841334fe4002f",
      "name": "term.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc58e3a24afa73acf09dc411b1d79698fab6277f",
      "name": "terminator.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4c935b36300b9d7019c75c82db475e22ec259e4f",
      "name": "terminator.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33541796794a70a726416b4e2a462d6128345d4c",
      "name": "top.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "58dcb32d5829f015d7a4c69833d2e23ea1987ba2",
      "name": "unify.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "19f5d9e7808dc4030adb288c094e6e32d5cbb9db",
      "name": "unify.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "60862a7d3d900c3433d62538d4c12ee7044f7c76",
      "name": "vector.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4c17a0cf19799c80a85eeedb36e99af74cc4ebf6",
      "name": "vector.h"
    }
  ]
}