axiomata/README.md,sha256=DB8Bwl2jY1hQtKRkyrOuJKTotoY_TafQLL_Ynj8Fajs,6679
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=cwCfbegLQ4lL64vhe6jG3P88S1Ye-sn7lg0TqS31VHY,7206
axiomata-0.3.2.dist-info/METADATA,sha256=K-lXopKmzr-bkg84uJD-6Y5y5FoJNI20bEZ28GOawzM,2511
axiomata-0.3.2.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
axiomata-0.3.2.dist-info/licenses/LICENSE,sha256=UN_Xl2TvEjj0i0nm_E5SH_WmPLsrjrkJHWSFk2lNAz4,1067
axiomata-0.3.2.dist-info/RECORD,,
