unicode_fol_kit/__init__.py,sha256=kjKq2bhk43Cx9GdtyW6xcX5ABeuGUHUSUGep5Ndygaw,1275
unicode_fol_kit/atp/__init__.py,sha256=E-84Ijy7615Npfdq_9SVfegy4rAlceEMJtjLEDMQmuM,176
unicode_fol_kit/atp/prover9_entailment.py,sha256=LKJwYc0rzxH6tnBK9x2rjAQVDCHKiJpB2rcrwIlI9Xo,2218
unicode_fol_kit/atp/z3_equivalence.py,sha256=W44pY_9q7CZLLS_dPAMbbz0TbJ2P2eEoZKxRW6U82pY,641
unicode_fol_kit/fol/__init__.py,sha256=Z3VupGL-1iid4qVOBxkkjW88LCKpe6Ry9EFA6TmM2x8,1162
unicode_fol_kit/fol/_fol_nodes.py,sha256=SAwRwUqOBEkWmSsJ4Wiq7_erVDJXTOFrplrqSXvRiJ8,27981
unicode_fol_kit/fol/_msfl_nodes.py,sha256=Qxc4mGVu7mveTCd2exiOrQUEYsq3ccNZeFsUWl9ZUSw,43547
unicode_fol_kit/fol/msflparser.py,sha256=e9ynRphJn-V1Y3TJXljATcsUZHNDHjAuXyjNSYlg-Po,7376
unicode_fol_kit/fol/naming.py,sha256=H0Ovp2o-1KZOak4SLwepT0Fqt1wRiQEE7tH0rHYJIaw,6819
unicode_fol_kit/fol/nodes.py,sha256=Kl6wj3GYpGFYZVhgw6zyZBqMiFTlkk-OCyWrflt-imE,1372
unicode_fol_kit/fol/grammars/fl.lark,sha256=nIXYvI8NiKkLU26qXdN9RgSyWs5UNSFx42TKLF_sVfA,2056
unicode_fol_kit/fol/grammars/fol.lark,sha256=V1ntUtD6djdv8-1XO-kDjFjxR0gdkIJ3gMx9NKx2FHw,1860
unicode_fol_kit/fol/grammars/msfl.lark,sha256=U7eT-wDsiXQs12eYAuqtDVMCv5M1cLS3I9vxUU2866o,2131
unicode_fol_kit/fol/grammars/msfol.lark,sha256=_9LQKEbO5wZ3zJt2qDRUOCnvtqijseH-234PSbjN9YU,1869
unicode_fol_kit/fol/grammars/terminals.lark,sha256=d5Zez-mCoYYjzMEmpuhXsQRif6xREI5W3ZKzCy9K6g0,240
unicode_fol_kit-0.3.0.dist-info/METADATA,sha256=iydn8sNVwCifm5Fud4zju8UGMc8B1Sdj77LXq0dO-Ks,29360
unicode_fol_kit-0.3.0.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
unicode_fol_kit-0.3.0.dist-info/licenses/LICENSE,sha256=Fp6yGGGP3B-MZdUdCChLyvUvWYpYKvEWPixHAXSvYCw,1089
unicode_fol_kit-0.3.0.dist-info/RECORD,,
