symcollab/Unification/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
symcollab/Unification/ac_unif.py,sha256=AYkFRi5AbmGdhyJQfa-pSbmheOH9hjA2VEp4W08L-5w,3596
symcollab/Unification/bool_unif.py,sha256=mQisqCsDXs6jeZv2M4_18YNSykeeuJj404Fc406CrRU,23214
symcollab/Unification/eac_unif.py,sha256=GD2V2igPsgrI13f-QdOxQUOfIyHeA7yhpVUvAk7IsQA,13279
symcollab/Unification/flat.py,sha256=Do2g3cFCuQ0-IeeSsO756sM6fEqBe1OpXUXEpBZr9Xc,1089
symcollab/Unification/h_eac_unif.py,sha256=xAgietm7GJb6QLwJXM3OyWSSv9wfr10XV5GTFOLdOro,1866
symcollab/Unification/hermite.py,sha256=hjTngPu94NagDuaeJNLQvHt8HJ0lkYgNL1YM0t3Ffwc,3142
symcollab/Unification/p_syntactic.py,sha256=f39x62A_se7E_rrMKfjq5RmmOAlh0i056OhRl6JySYM,571
symcollab/Unification/p_unif.py,sha256=HLRjss1riA-f5vq9Qakdx1zB3KKT1QLTFKl_sv7Sdno,13343
symcollab/Unification/partitions.py,sha256=C6yze-XZf8dtJiTOgdznAgyAnSK9dfF90cxZd19hezA,389
symcollab/Unification/saturation.py,sha256=ArSua8b2bCUQT8OrFJTaYr8ufFS6e39WpQtJC7naZJI,10363
symcollab/Unification/syntactic_slow_fast.py,sha256=eD0MueAM3WXZSnk_MAb71MtGOZdOx-OzXAIDx6Wi-CE,2761
symcollab/Unification/unif.py,sha256=xB3N-7j3_o2XhAQ40ATVDPKIkxqMak5iSXnFAag4EJI,2279
symcollab/Unification/xor_rooted_unif.py,sha256=sq8kDNUTKvPiBtIrIhDQd37acq11EMZAURyYe1hHKhY,17530
symcollab_unification-0.1.1.dist-info/METADATA,sha256=5wCdX0mI-DTClxW_9k3P6NP8l-rzEqh0KUEj-gOmgms,411
symcollab_unification-0.1.1.dist-info/WHEEL,sha256=OqRkF0eY5GHssMorFjlbTIq072vpHpF60fIQA6lS9xA,92
symcollab_unification-0.1.1.dist-info/top_level.txt,sha256=NRdZAxBfhnCAcFVBRyFWMEjSr_Wj-jm7Hm6YIVS4K_g,10
symcollab_unification-0.1.1.dist-info/RECORD,,
