gavel/__init__.py,sha256=ShXQBVjyiSOHxoQJS2BvNG395W4KZfqMxZWBAR0MZrE,22
gavel/__main__.py,sha256=jor88F3yODEDIsDQsRNPPYYvqtL6Jg-erwiYLrJ84NY,355
gavel/alembic.ini,sha256=XmgBvHp_QD34iM5rBztg5NStcbvJOkqvjJ-Oapnv5nY,2069
gavel/cli.py,sha256=L5lGC80njMZXIdgC6QTsyN84wU9EQ5NdYAAo_caRE4g,3742
gavel/alembic/README,sha256=MVlc9TYmr57RbhXET6QxgyCcwWP7w-vLkEsirENqiIQ,38
gavel/alembic/env.py,sha256=9209XPAEyKJ5Rm3rHWFfgueMlD_uKw5QFq2y8-4Omh4,2220
gavel/alembic/script.py.mako,sha256=8_xgA-gm_OhehnO7CiIijWgnm00ZlszEHtIHrAYFJl0,494
gavel/alembic/versions/0_base.py,sha256=uKkLossvKtQkh5OWv4tSnMc-oC6e_NLLf4JiIbApkTU,248
gavel/alembic/versions/20191011183019_87d4ea0aa91d_initial_revision.py,sha256=A236dOCDuvO-qhRCuPttAfx96DPPUqm81PiFXrrcFbc,2725
gavel/alembic/versions/20191011190617_78fa69083a7c_add_complete_field_to_sources.py,sha256=CjZZD2rGHdFA50tzTDU6sYa1v9Q5jWEUufAqs5ospSY,672
gavel/config/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/config/settings.py,sha256=fLrg1Oh8S4UN-CEDPDrDUeqAOwj6cTX3oLejoQ-4lCg,478
gavel/dialects/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/dialects/base/compiler.py,sha256=i6H9XJmONmFfACvJwD8q4oWC7N8o0vjcCTtFJ8nvORk,2913
gavel/dialects/base/dialect.py,sha256=XzCdWi6myxdTteyF-1vxk4cSk6_GyLYHVS0EJh84HPs,1171
gavel/dialects/base/parser.py,sha256=wc2mjonlCYOc4kg1zhOuO2Wpa5J56gwjHDvf9C8qFVU,4470
gavel/dialects/db/compiler.py,sha256=Duzb3AnwN6CGDcmmqGLQ_nZ-AlmKFVTlGzTi3TbINEk,6837
gavel/dialects/db/connection.py,sha256=urCTRtQBqW1bf3UbIU6k0VEjDmSKWOT6KsYsn-PE_lk,1655
gavel/dialects/db/parser.py,sha256=mVCAGnKqEVVfFq7HDTxuSsjgCiw6DPYTdlTCwEm1noI,4544
gavel/dialects/db/structures.py,sha256=BL3_S90ybNuEmF1wvHqiBCTZkqRb-y5LyUt511DHKyc,4985
gavel/dialects/tptp/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/dialects/tptp/compiler.py,sha256=pBbfhqljZjGsCe9qTUWKfcBAZBlQhe0SD6-NiWW3fFc,9521
gavel/dialects/tptp/dialect.py,sha256=ZI7osoMX9kHwdcEXjQQ5L33PQbz-ZZmztClwPhJKtnQ,527
gavel/dialects/tptp/parser.py,sha256=kz6uO9bLQFcO-lG3OBXhJTgDy_2M4FYpxK9eQPy_rNc,17718
gavel/dialects/tptp/sources.py,sha256=ntHAeR7txbaPgzdktEr-uayYQD_LxfF_QAvzDgfHtCg,797
gavel/dialects/tptp/tptp.lark,sha256=H2cPL2LJpF7151Pj1IzaFcmfuT88F978mYCEyLdkE0A,2170
gavel/dialects/tptp/antlr4/flattening.py,sha256=TLsgKvNkUeEyQr4ggiJOXHQfqMeNdY6td-Fnat67Bb4,52974
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interp,sha256=Js-jSji5D4GvPI2Am10mpFlF9psNj7HK2n_YYH7zM8o,58503
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokens,sha256=n-g7lVrao18RXwLvrquOVQh4S3eCk6yB4kNsPst2kkQ,1843
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.interp,sha256=XQ6w-1TA8Gk4L6AULRhCrMWVYx5SvSrtJSVvA8HktK8,26342
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.py,sha256=07faT5HU7rq6IA1zu6CMnCLPNtHGRjz384571HcXNVU,31967
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokens,sha256=n-g7lVrao18RXwLvrquOVQh4S3eCk6yB4kNsPst2kkQ,1843
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Listener.py,sha256=jLnGN3IuqUUmvVkfEznkSfM4MGvDj5ljzBHGDeNXf0I,70487
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.py,sha256=dJVLQWCSgb2rZZBKLK-xNtt08D44r2aI6sLGliuEA20,565236
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.py,sha256=aRGxlFk3YdZ7PYQxRah1cRSYsjg_Oo686BthtVQGDKA,40891
gavel/logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/logic/logic.py,sha256=mowKMN33JcUeHa5sgQIB87J3yRJ_zpZzJIEOUn-0qhY,8966
gavel/logic/problem.py,sha256=RaXU7xIdFrQFLCJ43HK8RZYE6kLNcIXZpct7NigcwGg,2408
gavel/logic/proof.py,sha256=QGolYgYPPtz8Mc4zd-JWR7yU6WNCmYZ7NT4fG9Ff95s,2639
gavel/prover/__init__.py,sha256=eesDMEPkJcfrLnYTL9Isueure8NsG4UE-WT8bT2tBCs,86
gavel/prover/registry.py,sha256=17EFj4XbgPzC4LBNPRgfT5kI0AJhYITQ9Bq_lRWL6po,673
gavel/prover/base/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/base/interface.py,sha256=Gez3Ke51_-fytGr3wigrY6PLGrLPfiulDPnfXSIjirw,3051
gavel/prover/eprover/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/eprover/interface.py,sha256=RfsDgJ8UpNShRaO1d3elvXtO6ocNBEcelDUCrkpzzQw,1442
gavel/prover/hets/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/hets/interface.py,sha256=PRYKmKR7VxMtJcdH4eAn96OugjKzO4y6awgeRXLV8-0,3916
gavel/prover/vampire/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/vampire/interface.py,sha256=n8yxEOkG2Mz9fCY_modDttC72CQd_OfDU7fC0_byF-w,676
gavel/selection/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/selection/selector.py,sha256=6P0PfLMrgILOyX6JADvFJV4UYyItyxnz6sR-m6E_kmI,2285
gavel-0.0.4.dist-info/AUTHORS.rst,sha256=fZtZUCDSCpUFt8MEgvf-DnzwEMxjp-D8GmKachrGVU0,84
gavel-0.0.4.dist-info/LICENSE,sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8,34523
gavel-0.0.4.dist-info/METADATA,sha256=Qx8ItrZhC_gAFPnqQa-wlnWn3cQl4vrPCuKVIf4Xilk,1953
gavel-0.0.4.dist-info/WHEEL,sha256=p46_5Uhzqz6AzeSosiOnxK-zmFja1i22CrQCjmYe8ec,92
gavel-0.0.4.dist-info/entry_points.txt,sha256=lYZEpranGsfraDFKI5aPcEoE6pg9C9Z3X6_kCk8vLTI,42
gavel-0.0.4.dist-info/top_level.txt,sha256=EY4BLo7vktz8oAGkz9itJogUUZRb8XXn4CZJsgmxmj0,6
gavel-0.0.4.dist-info/RECORD,,
