deduckprover/__init__.py,sha256=m5CnMlprAKoCE3cF8yFhZeCPA_wYw1U0ez1HlcHDPjI,113
deduckprover/main.py,sha256=hiqGC43Fo_rv2Z5wsuIbQpc_aJV7xEylqfmi7PIg0fw,1125
deduckprover/parser.py,sha256=vduGK9-w1AL7qTD3n3_DtBxpxfHegqomFp9DL5Kg4v8,7340
deduckprover/rules.py,sha256=rnzUT2st4Iol_VR6JVsgk5vkzuwtpo8yIYKec8ATAhc,34501
deduckprover/script.py,sha256=_tUwa7wqfOZg-wry5EARCyFDR39qzSBPDj1WC7UXzlc,3917
deduckprover/syntax.py,sha256=02Bx3EFoQTWUjCrz65CVvjmcq5eZKu9OC5wY8dUP2p4,19283
deduckprover/utils.py,sha256=YYlAgvI__VqRHH1vX7ml3Fkb6BnOrSBRfh1S3NSuNks,186
deduckprover/verifier.py,sha256=0YtJ_enNjRcXtX_HwQ-DPF64gjE8NfMCfKM1yn8Tv3s,4025
deduckprover/vscode.py,sha256=FUQRTDtxpQzNg_YzOd10VeRd9AoiSQnwj1OKaIYZvnw,618
deduck_prover-0.2.2.data/data/LICENSE,sha256=nRkBAzvmrgnGfpZbq3BGdH0FU852svBI8E1poWKZShc,1069
deduck_prover-0.2.2.data/data/README.md,sha256=OZTy38Hp7Z-6uzK9eIPgNUMvSj8NZbJjp41_Ony_x1o,693
deduck_prover-0.2.2.dist-info/METADATA,sha256=HKiiwrW2gWPaHfqy3GMDXwfOVe2yP5HFdbXteYEOAnU,1466
deduck_prover-0.2.2.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
deduck_prover-0.2.2.dist-info/entry_points.txt,sha256=c6ID-QPIeuKl7NfaJARjRm4hdVHkqLlIEToYiIoZRgE,50
deduck_prover-0.2.2.dist-info/licenses/LICENSE,sha256=nRkBAzvmrgnGfpZbq3BGdH0FU852svBI8E1poWKZShc,1069
deduck_prover-0.2.2.dist-info/RECORD,,
