unicode_fol_kit/__init__.py,sha256=RsEshpZRNzHl8m3FN6BJOXXVytgtfGPIBGAijVnrkgA,1478
unicode_fol_kit/atp/__init__.py,sha256=LHPyFvODwbMXS8f-ZkI3yj8MAdbjssIwV6Yrp-ouzPA,293
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/atp/z3_models.py,sha256=YQumzqI3u_rLmIT15-fUaLO3PAX39i0JPyHyQGkNQ8Q,1652
unicode_fol_kit/fol/__init__.py,sha256=c5DMWEhmRcLfkCLhyifmONiEAovTXLthHQ6mYBzJic8,1288
unicode_fol_kit/fol/_fol_nodes.py,sha256=c2Rcg3DmABZmQ_bDTmUT-dqai6mY3UkTsEm8703QtgI,31697
unicode_fol_kit/fol/_msfl_nodes.py,sha256=CXe_IawxrtzjdG39dcooouhKJk683lMUIAqGXlq4dNk,47932
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/normalforms.py,sha256=yeesQrthksuYyIZ5c__hA6UTa5CjV9pfVeRxZ91p-mQ,10696
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.1.dist-info/METADATA,sha256=GbfV4vz-3EQOEqVnI74YL57ZzZXEDeAhwLYQYMWS1Ts,33978
unicode_fol_kit-0.3.1.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
unicode_fol_kit-0.3.1.dist-info/licenses/LICENSE,sha256=Fp6yGGGP3B-MZdUdCChLyvUvWYpYKvEWPixHAXSvYCw,1089
unicode_fol_kit-0.3.1.dist-info/RECORD,,
