kpopper/__init__.py,sha256=RWmoNbwR9RlWr6DBw8Yf7Cz2YaEVXvRCCVeZifnICDY,141
kpopper/assessment.py,sha256=t9JOOsK16nQhSWB66ZwN67lsehn_Kv7d_5J3lLZX9yU,21886
kpopper/assessment.schema.json,sha256=ClSmuRgiKFM54DJzN1wM211h8aZnSxB55Aldszw2XYM,13714
kpopper/cli.py,sha256=eEl2DSsRn44Opnq6e2ZDEtT8qJjs7Rtu0vntHxhCFl4,18774
kpopper/consolidate.py,sha256=JFJPtt8GZl1T-UcLGsaFqobEAm8NdQvHWaEDvbI7d5g,90801
kpopper/core_migration.py,sha256=T7HdjQvgSdtbcuJlIdKyaoOVT44whchIZJE7_lgFV8g,29420
kpopper/document-guide.md,sha256=1HccZ1CiAjH69EDUMAWCrK4JUaFdv_hDwzUzxXi_Wlw,9702
kpopper/document_cli.py,sha256=8CJx-pnwcus4f_vQSEv7iz28cYtZQZx6xgFNC1yUcgY,286
kpopper/document_html.py,sha256=LLWl76QvSTwCx7v5ng4h7jqTGFv0CZqp3lA4GL4PKXw,22861
kpopper/documents.py,sha256=hs4tt2bXKh0alJeLn2tYqA3Iy8pYH8BHVClAkR2A7z8,51821
kpopper/edit_hook.py,sha256=KtFc7kyKETknxBoaNljfQ8lLBVlQOZXBtcrKopN5xCk,4812
kpopper/export_graph.py,sha256=LANgHpG_M1GrsoamGCuxjPydKVKO4sY-jBHh127H0-4,34372
kpopper/expression_cli.py,sha256=RwoOd9Q-Pqb2JkD3I7OEYXbXy-ags7m5gnFIodwXi14,9816
kpopper/expressions.py,sha256=OE34iw39q8iGjy1_R9_6fS04dI-7nTN2uDG43vL2UII,17903
kpopper/followup_core.py,sha256=N_S9-48Xh0Sb2IkjXSmrSqMvVRt6plE-XMCRbrwQcdc,7562
kpopper/followup_daily.py,sha256=kb18jeoDhZVwjJeBdObhCJ4jPD5Vv4S5ZyN29NcUzqc,10780
kpopper/followup_install.py,sha256=VmcyhedTrlxNZkCD4mlD6jYiTqIR_yJCKNXWGxmDNKw,18852
kpopper/followup_triggers.py,sha256=Xiz_yyEeeAHpT98pp9zVu8qp98FlNzvGuGuyh4nyIr0,17206
kpopper/followups.py,sha256=IYzeJWMVsY84Gf_ZVwcY2qZLqHcrd8tuZOrNOqpaZpE,39035
kpopper/followups_cli.py,sha256=Ajr8JK4Xa-wB5lXd-BrBmSd0TghkkcUzPR2O7UVivXQ,9891
kpopper/followups_hook.py,sha256=nn16y8WMIpHDztBFTos5xN5pc36bp3edbnTi3600G1Y,1766
kpopper/ground_hook.py,sha256=_M0PwdhQC6goj0fnhj7FAHIv3KHZaZ9e8YNHT2e7LWQ,11618
kpopper/history_activation.py,sha256=7S2a4zulEqnlata07hi3yaRgiUD0kwdKqHZapAYJt8g,39796
kpopper/history_adapter.py,sha256=dhmwaOHsC6U37Arrn9mChzVLSRVV5aNoLPM88wTY4WQ,32592
kpopper/history_authoring.py,sha256=D5x3eqPA_eS8ZoQgXf8zDXGmTdg3gE9k4IRc4K1s9fg,62548
kpopper/history_bootstrap.py,sha256=WB9sC7l466fBJVEhxKwfVzI4awOpnTqhbbfMhNK0XpE,17431
kpopper/history_branch.py,sha256=YFoRDnuPSUvhhUsgmwjZxVwynTUpWDBNRyVY0XxZ-XM,46011
kpopper/history_bundle.py,sha256=FBtlbCaudxynkfGMSyxA_2BJYi10qvuRBqTv-5ni8jc,42328
kpopper/history_cli.py,sha256=c_KmIJhYcQZEr_MZhNPEcXJ5W4KJianK4SqPxl9yRPg,7197
kpopper/history_contract.py,sha256=DMTrlP0vOudy2s8Dv_Vir9ccArF_U-2Ez5FgMczgAO4,54956
kpopper/history_direct.py,sha256=3oztaJlakiNWK1aCkP17OFY_NqwWl94lPzGt7E8wfxg,38403
kpopper/history_edits.py,sha256=prJ1t3NPIE9qzKOfqENKXV7RkdAbESNFP8iejahyWVc,11069
kpopper/history_group_activation.py,sha256=0rzvG2wRY3DWSy8kVaKWg6qFHig2Tu7NL1l_ZEsgipo,28231
kpopper/history_hypotheses.py,sha256=L4koIm4WXRDC8PVURN3y69-GvdtjNHX7k0WR3i7Y99w,26665
kpopper/history_hypothesis_import.py,sha256=REMoNS_c0W5AspIvO3Qcz3AaArie8B3cN1GajEKOAqU,13507
kpopper/history_identity.py,sha256=oe3b93hlinB_gCS3u3NX6NDl2H2UA--w9o8hPdEFDoY,28241
kpopper/history_migration.py,sha256=zJltK5c1NLiBhZZ2Jgq9ZiTCmBfraF7yTty5oU3p_8A,51507
kpopper/history_paths.py,sha256=7ARpt_6ahGkK1pwNIlOV8OT1EP5NRlCI_bUyVIBWW2M,7780
kpopper/history_prospective.py,sha256=9xApoDBZze1fkAvxVUWOOn0uX64Pdwhl7Uie3lqm6Hw,7820
kpopper/history_recovery_cli.py,sha256=2a3nxqTsvdC9hMfAU0zWTxPRmJ-x76DmNicnuA5RmWs,1617
kpopper/history_remeasure.py,sha256=595gWhMr1YqNX4et49_XejevTWQKgLB-21ZzZa6-k5I,7144
kpopper/history_runtime.py,sha256=ODdhAsUun_AcZFMOwpwI8a9CmItIhdTcevM5VrFea8M,20028
kpopper/history_store.py,sha256=WCYvBl0cMzQHDxQxjhzBOIS1zxjDvpdTkkZTpW4VrPE,40593
kpopper/history_transaction.py,sha256=g6uAOcoitYFwrIh9ED-VepTpn-7PP3e1PWVKUHFiPRo,46650
kpopper/history_watch.py,sha256=KHvJS0IeKuOIuFtfEasr_hh4WyCsd0iMncV-O_rc-Q4,14946
kpopper/ingestion.py,sha256=8WaBuGZRm44BDHRUuRvF1padfrEtmWZoUbtc2bF0xO4,112227
kpopper/ingestion_delivery.py,sha256=Ow9Zv6HfHGpM_xrFdcS3aD_El_hLBJJRTNPebLYFuj8,17521
kpopper/ingestion_hooks.py,sha256=tyvZSZLXdpB5qU7iHpufJDjf2oSgrbHBcCb0IlZs90s,6363
kpopper/knowledge_cli.py,sha256=IGigK7J3_ujMd0XtnY1MIb5SMPCaAfAJtXPg_97-BsE,4172
kpopper/knowledge_views.py,sha256=elspVo485pbq4LgCpJ7HjEsPez0DNXYBSl4gMHQc2gc,22044
kpopper/mapping.py,sha256=TmxZcSUbr0RrU-4tqWrEh7E2v55oXdohYcO6rhul6Wc,5799
kpopper/onboarding.py,sha256=MgmjkVJWV0Bu6mLH7wqv5NyhQVe2pqf-h2KLi_60oUA,11608
kpopper/page_lint.py,sha256=s4LgO1o9BrZrQKNNU0CldQTjxNq2-rYPIAXoIcHVCbs,10284
kpopper/page_measurements.py,sha256=hwopz1tkzzXDd3ky5VW0QJyqdkzz7UJDYqwl3BF3rU8,9901
kpopper/page_words.py,sha256=oVnbZzb2YyEA-eGgNrlV_E80_2CuxcsF9bM3qr5OUss,23859
kpopper/pending_cli.py,sha256=X8TIQUPV_gS1yO9GXaf22zvUHt1ezm3HTmO3sz4Rs2s,5386
kpopper/pending_grounding.py,sha256=H22X_QXAq6BWwqpKR1tKHB2fdIQggn8_97qOKWuWhFI,43464
kpopper/pending_publication.py,sha256=FYrYrH5DMIbRkOQEBLcQPvIuALUd3MPzBzem4W_PwaU,47138
kpopper/plugin_runtime.py,sha256=bpWxvsA7RZcJiM9X2u9E3lOTwoYMEtH2oWPdvNpvVMI,8556
kpopper/project_modes.py,sha256=sZ9BT-F_dpSXyF7yU2X9IP3GVXTpWVN6ErpKMfJKALY,25503
kpopper/provenance.py,sha256=oPsOhyjMj_Roq74Ssp66EjhKk96jrTf89HUyKblCx4M,326427
kpopper/publication_provider.py,sha256=YuB96ciFqli5ohUXtbRmAxL2dQwW42uknm15btI51wg,4177
kpopper/recording.py,sha256=R8fWGzkC45MDw0VhSHOb5yx2WtLArjiPLXKHmZVZZjU,14296
kpopper/remeasure.py,sha256=0krbTkhTYszIpMZYr9I1zrnS4iw_K8d6LQrbpGf-qOQ,40985
kpopper/render_page.py,sha256=TrcuaIcLNJvoH0KEbj1kFt5Ml77jVrYoTyiAKYLZP7E,133727
kpopper/sameness.py,sha256=JYSCfMssMhYn63Zc3BCg6AOFNCUQ0bMJK-eBwmMadgk,54458
kpopper/search.py,sha256=KjYHwkQVP5I6MzP_kaluD6-3nwYYrRsXWYsAlNwg9HY,30005
kpopper/session_activity.py,sha256=kXYKfTiLuUHO3R8YRBTERaI0559nPN3Xf_L09qXCjJ4,6413
kpopper/session_cli.py,sha256=mEdaYJJ7psghFLlj59xMsMLgHqbEs-Jf4EzI4UDvTy8,1661
kpopper/session_hook.py,sha256=3tNg04U-4Mk_azWXYuXt-bmzvAkMjHVqkB1wU-xuGLI,1775
kpopper/session_start.py,sha256=rbuRx8xWWOTPJp_5x__APA5QhQaKoO6Gf1YOhHWn468,6613
kpopper/start-guide.md,sha256=eowz5K3rVpOzyvnhtCH3Zbra7IXU6fmKunhseRSqu_E,12575
kpopper/verify_page.js,sha256=AI-_n2ieaTEI18-8EpuhmODO-WLiSphU-ENOGiX3epo,23639
kpopper/versions.py,sha256=5PSspXwOPpgSdGIGol0aWqMVi94G55ZtbTIwWoAoF4U,36396
kpopper/watch.py,sha256=lYpwpZQ9BtHGX8d4Z_CvE--jq3k8UeArXcirI7N6M6g,40705
kpopper/watch_delivery.py,sha256=c5uKbVnm13hccuKvLms1X-X4F7XYr2SYfdrmYqTZz0k,6103
kpopper/watch_hook.py,sha256=wVMh1gkWUDhMJ7ntnxdtsbJJyLuLFyUlx4KMmFLiyhA,3923
kpopper/watch_shared.py,sha256=O7oYyfY40sPeedcLdRt8M6FsAp3tVpmh-TGWpqp-on0,19959
kpopper/workspace.py,sha256=g963dktc0bHxRILRHzKXQbbAMIYlHWVR4Ic98GyvKAc,5602
kpopper/workspace_cli.py,sha256=3P8WWTjr73TXfVOCbgXUoLRd97PeTmhn6JgVpC0p2UA,12966
kpopper/applications/__init__.py,sha256=pkQ9-m9op2XsPMyU3y8oQhPW3QnJ-cwaKUeSyzDYd_o,2128
kpopper/applications/annotated_doc.py,sha256=9rcsumkNAEXDsbus172-BKS6-RmlclbC9NwTweF9UR4,4119
kpopper/applications/document.py,sha256=vad-n8CL79rP_jZvTag7yvEXDN7LWuS-hSlMZl5u2Gk,102
kpopper/applications/hub.py,sha256=X3Y9RCcUmJgUYyk6rYTqvZWK8WY7prdDntBW4kSHnmg,6761
kpopper/applications/page.py,sha256=2ndCA_V4iZ6N-iENpcmMMzNl1_z3nrQyi-53uTwa9Lw,128
kpopper/document/frame.js,sha256=zB4PGL0J6StEXvJL5xk4djv73u7_1uw7FJyqwTACr9M,9456
kpopper/document/layer.css,sha256=Mi5LpPNOdiF8JG9OEhOvLjL68xz6nAlz7RCRbLh8BPA,7057
kpopper/document/layer.js,sha256=46bdgmN48Cn1uGNDVkwEC4JoAbvYKqFdw9c_mqi6VMk,43299
kpopper/page/components.css,sha256=2AlLgljqNCAFkjg_wR2N_QQP-1TopugnkXg5WsVaaNU,3128
kpopper/page/dates.js,sha256=350xEr4xayoyiYGh_AIGGjLDwkU21-jZFg7e1jHXwyQ,2257
kpopper/page/page.css,sha256=UtN1nEpx5OnD9PszkrEw5tpJ3pE_27YD6_g2SQafE7E,11448
kpopper/page/page.js,sha256=tbgpl77xtCwZZQSVmP_hehEGP8visNHmtSqxly06bDI,15446
kpopper/reasoning/__init__.py,sha256=LrwnovMXBocDkgD_YiEf1xt3aXaGP9iVGu-h6x6DRR4,983
kpopper/reasoning/assessment.py,sha256=XjD47QsLtA5Oy28VP-htYbafUXAR74y2ypcmtCz_QzY,16351
kpopper/reasoning/assessment.schema.json,sha256=L8HoC9QwVhLDU0zDQwC4GqhRPfFEGnrZQ0sg3e47QMs,25403
kpopper/reasoning/authoring.py,sha256=Evm_lDrp0jnVUEgGfaCEVfejk2MmlD_Zx5vzF__iCto,31550
kpopper/reasoning/basis.py,sha256=zsHSRfta5bzl2m4U3mJ7e5dC26hDgXoaKQIDmQrL_A0,12590
kpopper/reasoning/build_runtime.py,sha256=-ygciKNWWM-QJ7RxlL1GSxHKM5mDpXzZHLaswlJnZQk,44424
kpopper/reasoning/context.py,sha256=sN0Wo8V8a1owmb8Em6-GszXJbNqY0WY-4mCEL5kY_lE,9204
kpopper/reasoning/contract.py,sha256=B8kTnEOOn5E46BLDYj4Np4-p9QpLp5td2J6o1og8bsQ,14709
kpopper/reasoning/conversion.py,sha256=9yU570dq7S9ZjLyngqMIYSu5Hb5EwD8eikAxiTdx1gM,20739
kpopper/reasoning/evaluate.py,sha256=J_sugzmENqH41I33z-8Pkqr4knxGycdrINJ-12lugE0,21351
kpopper/reasoning/history_assessment.py,sha256=eUDUg752m-MPm2lh7eWgCKrvTyfksAPH3gYokf0cQMY,74322
kpopper/reasoning/history_assessment.schema.json,sha256=ukXeR4nTAIKHLsMhVyjoDznwilG75SZpr9itxe_nvd4,16140
kpopper/reasoning/ingestion.py,sha256=Oej54sKiQABX9j-6s4qlxi8z3jozKWalB8bMwiPGWD0,10185
kpopper/reasoning/language.py,sha256=xxp3ezABFnpkuhSO6JC-Rp8oQiUfWCCV0_V43xJM96c,11450
kpopper/reasoning/modules.py,sha256=WiGqjUNesn5STydzgn2_ns7TlrvkcbeZisE7N2Zibxo,3576
kpopper/reasoning/operations.py,sha256=7Dry_KVdlZUx54w28RoibTRjIuwJ2x6c7h2nBEA0zUM,11758
kpopper/reasoning/page_assessment.py,sha256=-oV-UaH9g31MvbTtf3IlntSDU4rQgYoaAwMz7pZCnGw,9723
kpopper/reasoning/projection.py,sha256=4hnhuVSuvGvMOOj4gq2x0sDtxO_2IjeQrCfMpF1qqiY,15250
kpopper/reasoning/query.py,sha256=EaT7GWCt3Sfo9sLL4rMLdVPvtzIEyF_UO-Cg1gBXlro,55615
kpopper/reasoning/runtime.py,sha256=Qbx-FpbA27zSiFwruxonA3qzrsGI8WbOOedNl0YnvM0,16591
kpopper/reasoning/scenario.py,sha256=hAf2NfL1j1HviNeyRs9XJOdf2XX2jyo4YK9b3MMHM5s,12085
kpopper/reasoning/snapshot.py,sha256=HavU_NKXXEu3K7buIjQvG7oABFzdylre6PRQGUGtCqw,55407
kpopper/reasoning/transport.py,sha256=FKPChVK1gGyOIyfLb4RtrwkUjbn5AMbiDHHKJl94Qh8,20507
kpopper/reasoning/lean/Audit.lean,sha256=DuKj4fTIHPHOqyWfCdnxuuOkR6Pj7YV1SK5NpcD14R0,458
kpopper/reasoning/lean/Composition.lean,sha256=cgnCOqMmgR_dCA7gLmN3yXvvPlWyQZ2sMYwYqcGv-ZU,21563
kpopper/reasoning/lean/CompositionProtocol.lean,sha256=2hLwOTLGy7joz3vHcONk_iKnAVNlvWBDDm8auw-M9Zc,9566
kpopper/reasoning/lean/CompositionTypes.lean,sha256=7rfJPQTgX6bLohEStwY9YCTKkBuTqbJE3FB4CEZXfbY,1701
kpopper/reasoning/lean/Kernel.lean,sha256=Tw5hG5_yUy7wA9gK6Ovmr7PhmdEAt9Qcd5XCpyPS8Fo,7166
kpopper/reasoning/lean/Main.lean,sha256=XZ1aMouJvzy9pIxs2VyrOHWoobNdholLVkrWNjeEteQ,1650
kpopper/reasoning/lean/Proof.lean,sha256=Iaj7YXibR_YDvW7_dfieF818kPW0Gu52FeC2TMbY8RU,7003
kpopper/reasoning/lean/Protocol.lean,sha256=MaCJTPeVsfTc_NKpsg8IOXVYtwTgU7KwxpFSlg95ldw,9751
kpopper/reasoning/lean/lakefile.toml,sha256=_PB81ucgvXtK_pHHB6erVnmcCfi6YGcLBF1yDYbx14M,378
kpopper/reasoning/lean/lean-toolchain,sha256=OqxmnHqRDsI4n05PkhtgWt9uvy0eDJuc0L5NM_P123E,25
kpopper/reasoning/lean/Kpopper/Query.lean,sha256=5HI4YR4CSyOKnTG9btglnA7ekI_HQPeowgUYmZW9qsQ,44894
kpopper/reasoning/lean/Kpopper/QueryProtocol.lean,sha256=uAWC6KplQx_HetPNR22UL5y87VU-KBPISvmC3hR2T8A,6291
kpopper/reasoning/lean/Kpopper/QueryTypes.lean,sha256=BW1m1bjCtoCvznwfeB2GNT2AVguIAHe2thjJK2JFSHA,4373
kpopper/reasoning/lean/Kpopper/QueryWire.lean,sha256=knglPzWdrL2qNMFszrfXziEwxewOOPZCH8C4IGV2zq4,16549
kpopper/reasoning/native/README.md,sha256=cN9DbImayTpr5t8nn-Bvm3sWu8guXjp84bpYodk-ldg,7735
kpopper/reasoning/native/darwin-arm64.kpopper-runtime,sha256=tYNx6M08NllRZYYn5B779-dQGSkT-snmVU3Rl8QBhrU,1292542
kpopper/reasoning/native/darwin-x86_64.kpopper-runtime,sha256=O3o7eObIKtj69C7A7lKijQwZIojdW7Ebp-IwQiM-zKE,1450071
kpopper/reasoning/native/gmp-source-and-build.tar.gz,sha256=v5oOWIqWB1GgOSOLR44AEF2wxYEqgeXFQwY66jXM9B0,2133175
kpopper/reasoning/native/linux-aarch64.kpopper-runtime,sha256=yiXxqEVJgDry3zDtAwrzLAIysyz0i7mwV_Zk_y4AD_I,1639025
kpopper/reasoning/native/linux-x86_64.kpopper-runtime,sha256=JOt1RxrsHtf3sjcjBLj8x3k0tqyuQb-wnYOpLNBrOlo,1732380
kpopper/reasoning/native/windows-x86_64.kpopper-runtime,sha256=rrmK3pFtMtaVs1URNzeG1EUEGlykvm23X5uC1pWmYZ8,2221714
kpopper/reasoning/third_party/COPYING.LESSERv3,sha256=qFPC_-wXBXhyNA7uJCrk2Wy_K1IK4n2QPhsv7xpfnRw,7639
kpopper/reasoning/third_party/COPYINGv3,sha256=5gNxBEQ_mngpsqp8U3DQeJp72jymWguQTNwMLihdkZU,35150
kpopper/reasoning/third_party/GCC-COPYING.RUNTIME,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
kpopper/reasoning/third_party/GCC-runtime-NOTICES.txt,sha256=GMoDkkqe14hzRn4ttfEKpXo2gL6stf49FsJ8Jh5qLLs,4244
kpopper/reasoning/third_party/KPOPPER-MIT.txt,sha256=aa-OyCV7_CvuNnXqjAeQkB8na83C0xz3wBWUD01UXak,1060
kpopper/reasoning/third_party/LLVM-LICENSE.txt,sha256=jYXBBX10Lll5hcfU5jILAVqROThc_0y64G_8Dr6Jr-4,15141
kpopper/reasoning/third_party/Lean-APACHE-2.0.txt,sha256=iyhRX__8XA_igH2K43NbALMk2bfOgH3WP_asiSL7zn4,9160
kpopper/reasoning/third_party/MinGW-w64-runtime-LICENSE.txt,sha256=HbjaB7Q2xogzwGc__uPZ_LJSYEfzgguBZhhl3-3Hmh8,12155
kpopper/reasoning/third_party/THIRD_PARTY_NOTICES.txt,sha256=H6ydSKNngrHziX_CT7d-qjV5ScfRsRLYIs1t_RJga5A,1629
kpopper/reasoning/third_party/libuv-LICENSE-extra.txt,sha256=JixEvSzboDfm0qgvuhX1gA0pK8mTpvXWtupId0TQKDY,1603
kpopper/reasoning/third_party/libuv-LICENSE.txt,sha256=Ft4MMrJly31GptO9YU8lndTWk6XiazQHsEqujXMEHww,1079
kpopper/reasoning/third_party/libuv-inet-ISC.txt,sha256=lMnqX_h1b70B4wfgo9RPKgNp35193Iarsnh5Dkpjug0,850
kpopper/reasoning/third_party/libuv-tree-BSD.txt,sha256=BVBChN7nXEfXEmROewbGwbHruu5dA91mBkZxbIvj5cM,1337
kpopper/reasoning/third_party/mimalloc-MIT.txt,sha256=gq3l19mwKQRLX7vDJiB_xHwtRO5N1x6KVZw21yghfek,1096
kpopper/session/__init__.py,sha256=b2qjUvtNGIaGCPhIYueO-JU4lRDlAQLeumK9PfoyhcI,63
kpopper/session/bootstrap.txt,sha256=WA9NuGxhUZk6jor3u6c5RjvFYjUbI6-n4-0I_Qf-6ZY,798
kpopper/session/context.py,sha256=02MZGSy35Dil5OnTmXUlQxHq9-oMEZLu0PJ8xUr7Vhc,4253
kpopper/session/core.py,sha256=FXPSx9QflyWn_6rx4qmjwj7SuFEeaWbUyT6F52dm90o,9952
kpopper/session/embeddings.py,sha256=jecVcItfNuIAPdv7p5dy4ufT9OEpYVKqBGEU8Jgbbfc,12359
kpopper/session/entry.py,sha256=jUoMjUfFq2monoI9inBiWBoRmoQ-m9AlCPMdQJ7FTnQ,11536
kpopper/session/mcp_server.py,sha256=5hTj-9534_iqQ24EIf2eQpT9MhyBtV5mT283S5NMYU0,4384
kpopper/session/model.py,sha256=FJ92h82ViToQv07K6H2njAa7r2ymX-Bx_otgTXRaj5E,7934
kpopper/session/reader.py,sha256=58I4NDdz6fnYQe-VcmK_-bU1bglXBOVB8nmsQ3IjXOA,6891
kpopper/session/rules.txt,sha256=cqdDWfus2lxdhzy4ccDtJag8-ut5tZbRleiaUM-ovUc,528
kpopper/session/search.py,sha256=dVjmEsTGkFckaKrJq_-EOMl1ah_nGNZ1g2SS-PmU1H0,8193
kpopper/session/settings.py,sha256=ImZZMCVtEXZruXIyw3XUoI2Pua3HxOQuAW9W_fJ0vJ4,2678
kpopper/session/store.py,sha256=NKzn9YAZmeEk332gn4X3XLPw7WLm7N8cndOmzE_Zndo,24531
kpopper/session/view.py,sha256=VeBzKjBhAWJgVfg9E27PwXbDTjbgtTMSX6wogfH963Y,31208
kpopper/session/lean/Main.lean,sha256=SdGHMLFGOtMSPmQozW8hU0FqUF4hKuNhm6yaKrGf9bk,40382
kpopper/session/lean/ProofAudit.lean,sha256=n0dXK7ZudHrQq2bNSlV46RHyEA_viYQck1jZ9Uw1keo,317
kpopper/session/lean/lean-toolchain,sha256=OqxmnHqRDsI4n05PkhtgWt9uvy0eDJuc0L5NM_P123E,25
kpopper-1.8.1.dist-info/licenses/LICENSE,sha256=aa-OyCV7_CvuNnXqjAeQkB8na83C0xz3wBWUD01UXak,1060
kpopper-1.8.1.dist-info/METADATA,sha256=T-jfP-pJtnIL-b3GE5akPYqXJhC-ctLRzkPCbDDcOLM,87557
kpopper-1.8.1.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
kpopper-1.8.1.dist-info/entry_points.txt,sha256=CoXRSB-U5gUjzedWhQvB5VTlo5xm8E6WjPYlAe7cefE,69
kpopper-1.8.1.dist-info/top_level.txt,sha256=pg6S_Tiuz48wFyFbZajxH5PwFC2gig82CGf4I-neas8,8
kpopper-1.8.1.dist-info/RECORD,,
