prover/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
prover/prover.py,sha256=4nqlaUaV__ZT55oZDURzcX3X0yvFBDli84PmZZL8H_o,13366
valiant_valiant_inequality_prover-1.0.0.dist-info/LICENSE,sha256=z7mJnPX2R0cBnl_B_z4w7IUW_DnDux82C4GYxAeAjrk,1089
valiant_valiant_inequality_prover-1.0.0.dist-info/METADATA,sha256=9IoHPP7DbVgDcpwaIPSQ4GdFXIGfG-UY8H3CBT_4N2c,900
valiant_valiant_inequality_prover-1.0.0.dist-info/WHEEL,sha256=Z4pYXqR_rTB7OWNDYFOm1qRk0RX6GFP2o8LgvP453Hk,91
valiant_valiant_inequality_prover-1.0.0.dist-info/top_level.txt,sha256=ydg1we9itwxq8HIYZpc4tcdkSlTUUenOmJbKt3ePV2g,7
valiant_valiant_inequality_prover-1.0.0.dist-info/RECORD,,
