proof/__init__.py,sha256=BUoqZsGwAmrrga6aRXE0r_axEVqqA9APRXWzZODp4sM,49
proof/analysis.py,sha256=Q2RZUTCTIHhmqNsojU2m-C1UXrtyv10XUFzlYlwrsI0,6696
proof-0.4.0.dist-info/AUTHORS.rst,sha256=8ph3NWhQqKQDjGoPE3heG0EOPBrlrqEwGo3Zl4SxkY4,268
proof-0.4.0.dist-info/COPYING,sha256=IBRmRP8BXzYnyOFbXAhI8psg6yz5u_AvvUstt3CwXDU,1099
proof-0.4.0.dist-info/METADATA,sha256=sM6vkHYTGth-WKEcip3z8YW6VV2PKI0qffLRZxFWhdk,2625
proof-0.4.0.dist-info/WHEEL,sha256=-G_t0oGuE7UD0DrSpVZnq1hHMBV9DD2XkS5v7XpmTnk,110
proof-0.4.0.dist-info/top_level.txt,sha256=9u1Cqddl7rIwoGm7w9XcNGsmaVlLsLg8xtFNXZZ7iWE,6
proof-0.4.0.dist-info/RECORD,,
