bin/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
bin/bm.py,sha256=G8sqdYtldQGnGNfdnK5iH5ultYiDsReBwqby8YlZ_pk,78
bin/tests.py,sha256=LaOvU9qnpSxECwJGmp4FA0HtsYVMozZ8qU6j9S7pfpE,69
natlog/__init__.py,sha256=C_yIjlYvDrPck6abhNR9FGiPGMV_FdCcFzuEFGd5CWE,93
natlog/db.py,sha256=PGaeOvS2DfS5GzDYVWeZktTUKgWIcdg2MKuC4RsYTAE,5155
natlog/mparser.py,sha256=m7HutmCCAG1Su0H8T96V7-nJXtbscdOJOc7PADN3Dxk,3513
natlog/mscanner.py,sha256=R7pwq_VdLR0bq7OwVQJN_nrvVWKBvXPYwRoCoC8_OtM,2127
natlog/natlog.py,sha256=y_ebYzd4Hkf9I962Z4eEIugS-TyO-bzvyjc1GmrAibM,8961
natlog/unify.py,sha256=wtOEH6_fqUbjpZKkxmigtWe6cXEMyBZOsm9L1NknAcU,5990
natlog/app/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
natlog/app/natapp.py,sha256=nnXB1u6HIX6nHf1A8agmChRhfBCjMnCCKR6wcKyB-UA,1832
natlog/doc/natlog.pdf,sha256=f68G3GSTptqLqMlhEBQsCJ0ka5konT6K9aGNktpQiQI,194176
natlog/natprogs/arith.nat,sha256=NJd-z2k1p_s9cgtSQw1odMumC1DQVcdJDdb4H8hPQys,196
natlog/natprogs/db.json,sha256=CzH3R0CWMUl4e-rP36RgPN6dlmJkP_CUvUD3QrJq7MY,273
natlog/natprogs/db.nat,sha256=0-1bN9Jxz5QIVTAAC0yWbBNb90CwKKTR5FADNDqz9UY,173
natlog/natprogs/db.tsv,sha256=7eDWNEvGvqZO_7jwRe19qbi9Fm1PiGjTwlwj4kW285Q,241
natlog/natprogs/dbtc.nat,sha256=RLduz2rx1pog5NyQeFLOeNn4V3nbPdM02iUfKIFLy4g,117
natlog/natprogs/elements.nat,sha256=7lxEu6TgxX1YVTXq0eahLcVAV69Rr5OgAICt4rb5Tv8,278
natlog/natprogs/elements.tsv,sha256=jB9sObxz0YbJm0p8c_D6HwM0EKPgL6rRQqb2V9KfTGU,3733
natlog/natprogs/facts.nat,sha256=GwIAvrIVGfhTpWvWp5Lkcw2v4OCE58tM2Nn93GgIzGQ,147682
natlog/natprogs/family.nat,sha256=dgY3gNxt0gQLelD0i2A7uCq5ZLwA6HMZSnveJhRkn7I,900
natlog/natprogs/lib.nat,sha256=RIJtepXOI1WiEcf3kvCINoV2d6EoRmTo8c7n1BV73ks,2046
natlog/natprogs/loop.nat,sha256=-uIlTi4vW55Kk3S9uOF2jvoL4NSCXyn3j_Kw1TdapdA,36
natlog/natprogs/nrev.nat,sha256=Ml5G5SJFDxAI-iIVE8JCJ_C2YXk4HISFYzaQ6Qbz6SQ,147
natlog/natprogs/perm.nat,sha256=kGwF2ei6IXPr8Z2lIhz4S232x1T69u3uzXJljkdh_8c,142
natlog/natprogs/pro.nat,sha256=HLro3PuvhoPugitQSYwYqhtcuP0QT51JlIQpDFcM4tc,396
natlog/natprogs/pro.pro,sha256=vwUtXQqsPpTHLBhhChMFvfPyurQclrTsWoAewvRr3B8,448
natlog/natprogs/pro2nat.pro,sha256=ZQ3bQaBOep00A0BR5i4s1LIwrAfBsBfZ4WcBtn1YAUU,1578
natlog/natprogs/py_call.nat,sha256=OYLCVj9l3fisci9JcKHDr9xwr6ELCMxA-xHeF5yVLD4,277
natlog/natprogs/py_call1.nat,sha256=743RWz25Hu5sRDhuEzuQwaP3_DIT8IDNC0glFANdp8I,34
natlog/natprogs/queens.nat,sha256=e1NqYFpIk8kHMaSYRc1EORsi5HwwbFoRpD2nVNfM7Gc,680
natlog/natprogs/queens.pro,sha256=349MVhC_1XBa15pR5B61ZVUvQHgw9VN0rb0KpqDuzu8,380
natlog/natprogs/tc.nat,sha256=hdDz86P3KCroGFoj14LXRhUGmUBORx62zMMq7OB1Ic8,247
natlog/test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
natlog/test/benchmark.py,sha256=lPCBFDqKE6qQUcBwAHDdhvaGbofbbDn6tCovNGhHc3U,1799
natlog/test/tests.py,sha256=fkNjNMJj7RcmNI_HSKOtkBiwFBnCjeX666rkxk-ncTk,5858
natlog-1.1.2.dist-info/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
natlog-1.1.2.dist-info/METADATA,sha256=jJRAfO0rYwOiKDEFFMUunqJyRuQIdDm1zh09CBtXb8I,3952
natlog-1.1.2.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
natlog-1.1.2.dist-info/top_level.txt,sha256=hupmIHN9wBlqG8kjAOPRRBOfyLo3bQvhdnBdEmY_LOo,11
natlog-1.1.2.dist-info/RECORD,,
