proof/__init__.py,sha256=BUoqZsGwAmrrga6aRXE0r_axEVqqA9APRXWzZODp4sM,49
proof/analysis.py,sha256=Q2RZUTCTIHhmqNsojU2m-C1UXrtyv10XUFzlYlwrsI0,6696
proof-0.4.1.dist-info/licenses/AUTHORS.rst,sha256=8ph3NWhQqKQDjGoPE3heG0EOPBrlrqEwGo3Zl4SxkY4,268
proof-0.4.1.dist-info/licenses/COPYING,sha256=IBRmRP8BXzYnyOFbXAhI8psg6yz5u_AvvUstt3CwXDU,1099
proof-0.4.1.dist-info/METADATA,sha256=qPqzr5CeeX70R1RnhCu8N9ynj_I3ywa7mi3muoXXDDg,2837
proof-0.4.1.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
proof-0.4.1.dist-info/top_level.txt,sha256=9u1Cqddl7rIwoGm7w9XcNGsmaVlLsLg8xtFNXZZ7iWE,6
proof-0.4.1.dist-info/RECORD,,
