axiomata/README.md,sha256=7HfcQa0BoQm91yLZWU3X2s_HdVMSuqe-fw8PtNjtX0w,6347
axiomata/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomata/checks.py,sha256=1qOVMeuSJ5B9Z61JCBr1i5OwzQigFxdNneWhjFAkMnE,1271
axiomata/induction.py,sha256=m5cgi9gLtOiV7Emu2xsoiWpf0jjodsY49EKsOcqzzZ0,2156
axiomata/master_theorem.py,sha256=EyXO7pbpmgGCAaIVUEvArVXkdfq6POY-Wk5d_8zidhs,2842
axiomata/sort.py,sha256=HP_KUbCu0J239di4PWXv-cFhmtXXP8RZdZh3CHTWvsg,6834
axiomata-0.3.1.dist-info/METADATA,sha256=WlGQG5LfAqKfEMwwQ3b0ZdvOp7hymKWsQP5h9q9QXy4,2439
axiomata-0.3.1.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
axiomata-0.3.1.dist-info/licenses/LICENSE,sha256=UN_Xl2TvEjj0i0nm_E5SH_WmPLsrjrkJHWSFk2lNAz4,1067
axiomata-0.3.1.dist-info/RECORD,,
