mathema/__init__.py,sha256=mJQR1s7Hxe1sjCV08sL5Dls-lIKQHkRv93UW4nzitrA,55069
mathema/_allowance.py,sha256=Fo53nlPT-OCNpheajT4Qq7XsiB2TAGwkcpITmjmr6U8,23163
mathema/_annotation_text.py,sha256=r4-qALk5xpT5UIcngMrfdEOU1T-3nGwpoMfeI4mzuGQ,3817
mathema/_badges_cache.py,sha256=fay2R0qb8bEsQQo4NoUTIof-4MLhiu2D7nZs_H15czw,16216
mathema/_brute_force.py,sha256=zdfKPXhlw57USrgApfTz_UUiCiITCcGfpeckyw9ikIw,75538
mathema/_called_text.py,sha256=rWUU3fGKqpaJFFr-whdBxHwJRivypQud7npvWkVmqqE,9286
mathema/_callee_output.py,sha256=J5yap5eExu-DyN2gB9kmKiBJ1WcU4UJIznnxelShrB0,3230
mathema/_claim_reach.py,sha256=hLrIlk9Uqt9E8-phESwLhNVrcWY30k29KhgdKysVpC4,28176
mathema/_clarity_reach.py,sha256=BmhezfFIr45pSvlHXW-gja8MSi9AXFLIbTRsmE48f6s,9525
mathema/_conditioning.py,sha256=IOxsugLETQ0i0W0IxAphxpGfqehOF0pgTLv50cxtDqM,33415
mathema/_corrections.py,sha256=Saj1ZeAosQdJvAhTmFSNFnLNgZ08jzUezZJo30ARfsQ,9289
mathema/_decimal_rounding.py,sha256=tffFn9PpArggtapY7QdAD6xaWIqBaw0TP7ECa4Su8ys,27761
mathema/_deprecation.py,sha256=DiMnioq2GhWhTI5jarfaejeVAh8Du-YS7QHkpbkuExQ,2064
mathema/_discontinuities.py,sha256=3dt2s8skor_9k96_Pwum6dScaVfp6w7ReSuWOwVDxz8,12003
mathema/_empty_input.py,sha256=XsdU9QQZbWCTVwZLdOy0GE5ZXG91Nf-EJfUDOT7twhI,22490
mathema/_exact_body.py,sha256=JrvAOjvqUFFlidXL5G1ZEJ-JnP7p58yrunwtf97skaE,135155
mathema/_exact_premises.py,sha256=lOQVunNdI3Vf9h_u2wxhnaOcUY9QIcqW6UvoebdNPzo,4194
mathema/_exact_side.py,sha256=0z2O4JErm7ntgvfSSzmEvVWwLF9oJbpqjae_R70fiG8,27953
mathema/_exact_witness.py,sha256=GTdQ_hwtHTUr3WhVxtSmCHFKZ8WaJpUSbmu4Qe8-C1E,16972
mathema/_examine.py,sha256=xfJOK0yWgdUfEqZ1NL0IOArZwA_ggvdERWW7SG6FTR0,97059
mathema/_exits.py,sha256=mTD4Vojei34-I5SNL9EKJbvWBJpKjyaO6j79y5vfEJ8,11215
mathema/_float_text.py,sha256=zrr64_Tmy3skJ6WGpDpgLebzHxWRq2a9KfQEODp6fjY,2909
mathema/_floor.py,sha256=xc84ZiKp1t5H38yQzz3YrxOUzrre1SBA4SAY64ojWiw,13227
mathema/_grammar_words.py,sha256=U-tXdsJBYZoUvYf1GaXBS5xKq6_ubMPJqtHy5uk8ZyA,10997
mathema/_guard_region.py,sha256=7vrTvbl-nPA1rrf0C2PFag9Ypgj3bOn-S5_rE0zOTSk,5758
mathema/_indexed.py,sha256=zgQjsxNsnNuB6du9ekDsxMOPMqAcbTjpapOZ4HT5yrE,5738
mathema/_layout.py,sha256=Zzma0lpiW4sex0WgXbNNI-A2WTTx0HmVS0WLXnLqqMQ,25493
mathema/_lexicon_numpy.py,sha256=9tR-SVq93PpOt6b2OyZkvr3D8JzbIgB0ycWRqE2AnYo,7580
mathema/_linalg_eval.py,sha256=aU2zfKRvo3qTTTk2YWRWIvT85EdhG7JcurZ27Va4IuQ,70668
mathema/_linalg_exact.py,sha256=jBWZi7U98fQ7jTgo0VA46tcv02x_lzC6zd-Xk1MW9ac,14387
mathema/_math_vocab.py,sha256=3iK_E_Q0g4sXwKWX1AM2mGFfm1eGysRIvbtd3w-frJI,10664
mathema/_missing_policy.py,sha256=Ch1hG16iO_0ZCo2_VNzT8wxi6zKoMwd_XQPU4gaOQs8,42624
mathema/_missing_words.py,sha256=tHI849CAy1ulGToeLYj2RFJY0T7m873ZiXHv498n05s,24261
mathema/_premises.py,sha256=VdNPnCZERwJRt9lFb7jC6Ay8zg7rY2vr82XcX0WMGZY,32330
mathema/_providers.py,sha256=C_a9ySjQTA83hKl4oWQzXfFVyA041ovQ7KVe1D2LvFQ,3748
mathema/_render_mode.py,sha256=h_6lhza4i1y4gR11guqV_b-5DyHF2eV68YdXp0ywum4,1861
mathema/_representation_words.py,sha256=ZPm12oEdoJZ_fgHj4Z9_3UISJkqutIjWkiZm9dYyfdM,1103
mathema/_run_scope.py,sha256=7gMB2KPhKAZm89uP6_QXqdXBlKxwmZqtpkNe4u21weg,2271
mathema/_sampling.py,sha256=jkmR-a_-M4KJt2QLP9fTcw05wXke7LGFg7P4rFlkaCg,14282
mathema/_scan.py,sha256=PMp6VNr6a60J6aI52zGpJnVYjU1ftEKFLjXTpXNQbO4,4153
mathema/_shapes.py,sha256=FGPgR6XbaJ8BnMWkdGRmN4_60RuSdJHuk_Z4DbU3da8,29303
mathema/_shrink.py,sha256=YUWjhxXjkuOAf8PshwkJgduYt3hXxjI6QQ7S9vrYnXk,2985
mathema/_signatures.py,sha256=wjp3RlBXL0It13pPSZEuIQ16Nj6VoPkAQHJUy_s9FIw,6155
mathema/_split.py,sha256=okiD2H0oLV5BaYSwEV3AzkzAs31GUyXDvBvURD9wUt4,3775
mathema/_target_resolvers.py,sha256=SP0dCQpR5M4WkyhwE5SDUHV5f6CHGq9WbQdDQjMon4I,1840
mathema/_tier_text.py,sha256=KG3c1-aW4dhWSgyuXJWTKYId1rG1LjyCGIiMt7-NmBw,4974
mathema/_timeout.py,sha256=S9yD9NlOA1vc0oyJN2ihhtzGuOf56mdKOOwArhZYOXQ,16702
mathema/_tolerance.py,sha256=N_vzGF6Nwe2jA4GLtlrPf3mwoIS8nJboPBTAlelDxvE,8605
mathema/acceptance.py,sha256=Hf5wmtU78H-T-utobMWpFDVp72QalIeZ4wUmb4AC8TA,100229
mathema/analysis.py,sha256=FpkRHvIJKg6dC8KWRDH0D2hXco0fBP50Yeyx2qXr1xo,68114
mathema/audit.py,sha256=6n0eRTmqLN4ZMItxINauuVjTDK-H7h7mXph9WIOzqiE,67185
mathema/auth.py,sha256=Q6xhCkbLYK4J9KWxRqYVdLIh9GJEt8aPorjkuwIGC3o,12413
mathema/authoring.py,sha256=8XMtAVXv1seWQ9aZ481vAavuvH6oeecPYRBkdLoquHc,60892
mathema/badges.py,sha256=G0sNRK2pvHLRriu16fqld5EPOVUn_uJmfTWqGP8dITA,78958
mathema/centrality.py,sha256=0aG2_GbakhMubbmoiqwBguyia2VJgVXu2HppagFLO_U,5056
mathema/claim_families.py,sha256=b_2lmL7e0qbxg2AeWzS2ROKNjHNT_WKdmFIffNO3Pmc,289741
mathema/cli.py,sha256=XGR-5oisZIVa2Pvbcy5Q717l_Qwd5fo81ztgG6I2Joo,180102
mathema/compiled.py,sha256=pXheZ9yEsmsxY8E05I1Tp4O7mNEGawHU7EBx4KahfXE,8954
mathema/concepts.py,sha256=UtrTwLnWLukEbHqrkS5B1wsDY8gZboMgEJWj2U-3DNU,11049
mathema/conjecture.py,sha256=n98GZLSn8Qx7eTLZwMqPJaotrgLZi7nQdvtsUwOhuPM,677379
mathema/corroboration.py,sha256=AtRGLr8szGl6CwEfyaAkV5e7bOjo3tTvFZ6DXQYu1Tk,10286
mathema/definitions.py,sha256=sTxKlJgSsqG4pow_ufZmNdV3qtl_tdsEErxz1IiqqDo,74447
mathema/diagnostics.py,sha256=QNqxLciCQW0Ddx8M327a6ZYPlEcMUxY3VjZUtKpoprA,26196
mathema/dimensions.py,sha256=jBCHjeImah3r4VuCew_uYsZ2qWNLtnZQWbEDzqTO8M4,18165
mathema/docstring.py,sha256=Rpv6tLY7ulL9ty9VuHCEt8gbFvSfgelbq0LnPBZxqSY,43294
mathema/domain.py,sha256=GGBtbEnLEeixhXmRw9AKXa3TnoJ5ABFVTaMeCXhHDA8,148205
mathema/equivalence.py,sha256=bjibQG_QfVDJyT4LsPR0HWYdHxs7DFp9xFMb-yiK9u0,69143
mathema/f.py,sha256=6S7oJ9n2stSHkA5wvSEeXWjCCMrW3fM1gayBP9NFdEg,5728
mathema/families.py,sha256=kcGVZJ-d5GhcsiuJ5q17HqqZbF1oz9-cGY-gD-n-JBY,18419
mathema/fetch.py,sha256=yFrJJfcZtwF0lygVQIdKemjmcSKY01l-a005xLZlRlY,3735
mathema/finite_sets.py,sha256=22tzH9eAEgdQ2bIjyZF6p2jTjkr-hqdd_Y67ctVceMg,6331
mathema/forms.py,sha256=EA5kx0cBlmT5nqUrFpA3pWwBdt3iFP3ohOUu1o-3LIA,8629
mathema/gates.py,sha256=jQFT_ysJd7FAE1OXgtVwHDtklSCKgQaQFSfhvNFAfiI,125914
mathema/grammar.py,sha256=mxwD6BjBDbvytWpPvFVeEZE5ftFjBp7HHoYnvOAg_Qk,183118
mathema/hazards.py,sha256=stQXUJ0TRrGa3ZyeV16z8kIJ8ttbSzGnEYgsUj_mDSI,47700
mathema/identity.py,sha256=ioTjo89xCljLHUB0EV8UdMA7MWq57rcZd-kupSlhQGE,7753
mathema/impl_coverage.py,sha256=aW6Fhf-YP80wlcZuMnfmbprvnI-fYE8A1DBzlbk9qLM,22969
mathema/intent.py,sha256=HUJvDBOR24fucWxi1rgHFN9ePttUHcTJpMGsJeTqWJ0,6849
mathema/inventory.py,sha256=oJy0actg9e3DJ713gzd29yb3RXRJim1wDNhjqtWpPec,49292
mathema/languages.py,sha256=3NNCKUuTbPIF7Q5fQvEjMaHbVSY94uCEeYyp4L9SGTI,38021
mathema/lexicon.py,sha256=2rajIpfFK_f1sSj9XtwROlJLPCLxbOyRGLNlm6u7mDk,113488
mathema/lexicon_checks.py,sha256=oT9mA_9UQWcB4JaG28wk7mGDxNyce2PGC6nhsSOow-I,17990
mathema/linalg.py,sha256=RpCMkPN2XiXEQmrFoifGTVcRNeLdAeTUvD8m-o5oZgo,22658
mathema/locks.py,sha256=offTTvJBWbwlQqY2vOoXOa_dM-y3B7YPhAUuPtWrtH4,5461
mathema/matrices.py,sha256=ryKsFW-yHryXfbYEEIizD6G3pnOrsrI9ci8-ngq_VJA,19663
mathema/moved.py,sha256=oxNza-Z8EED2kH8jtzC8yNHfGQGpTBhYdcxl6Gi7mX8,5422
mathema/partiality.py,sha256=O_pgQousxMAKGFhET1HLrREGa0mMe_HDjz3tiYbOGdw,2236
mathema/policy.py,sha256=8h1BjtZVKL4lfMOH3MmmvAqT9wBscG674EPAlKGR-o4,135827
mathema/probing.py,sha256=J3KRMTUwhsZKtNcF8DpPn4yPHKVFZzeKPy5rPdBlTW8,138417
mathema/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
mathema/reason_codes.py,sha256=ISWGMo2QzHVWdsHNSaqRZgKksflN2drdqqsfijHQ--M,45090
mathema/records.py,sha256=qkR8qUFlz7otItum91-7ZJ-zaYSX47DJujxjvv3dYCg,22108
mathema/representations.py,sha256=_18YW2I5-jMBvcKDC7iYNXArUKhFF4bnxqF7_DF5ZFc,12858
mathema/review.py,sha256=iLi2NwsFkL9xYkU1oKu48jDwQvy_LllTBCm6Mjm8nJc,8544
mathema/routes.py,sha256=gkaasW7nHy5OzW_UN_uAMeT8kBpv3-ZcHbdm6ydrWzc,12127
mathema/spec.py,sha256=OfEq7LJaPurvwXgAzEmEZeIfjaS-HCDwRtxw6lK5TSg,157333
mathema/suggest.py,sha256=RTpxshcJeCAaqMAXLY4iqo6hN5UA48iCZy2_Wd-wumU,70138
mathema/sync.py,sha256=V-gomqYXOYLPgnqtjXsU1x6RWazd4_ivcYThzfGnbGk,26013
mathema/targets.py,sha256=_pX8qjXVgVhi-boYG69aC6Vqi2_Nf-ZuRd-nUnuU8W8,15504
mathema/tiers.py,sha256=tsNx7oLaTkNFruXsSUwHe9d88Nnmep64mIbUjAYpDzY,13551
mathema/types.py,sha256=qzUGi-AjISXB2uGWJkSXgnxrM60k7KLncfIFbs3rX0s,43367
mathema/verify.py,sha256=SzMK5YwvrBZ0yhJ7S27T8io7oC4lLLhNqQeKqt9rMZs,115611
mathema/compendium/__init__.py,sha256=hcqxm4nRToA86dD_rm5jA9F1mfHeUNqEhf2NsaFrr7k,93147
mathema/compendium/export.py,sha256=JSJj_htgZdiu9m0mKVhXwJIwTu3YHL0_fp9F3vyTCwM,12178
mathema/compendium/math.claims.yaml,sha256=gkamKEPATJNVf8YbOzLIE4jG6dfb0g3Lh8x8egJQwH4,1402
mathema/compendium/statistics.claims.yaml,sha256=LSX6JZ9PE9SSlSxPR-XNGDGZ7nz0APQgLgHvSF-rSRg,273
mathema/compendium/status.py,sha256=5HzoNznwSPxb37kME8UvgjI2Y6fjwyntwTT6uHnfyls,15579
mathema/compendium/update.py,sha256=5JfAjheaOtOYGhDM-1eRLOSLXAqo4_4gPs0n3kwr1kY,27646
mathema/compendium/numpy/bounds.claims.yaml,sha256=KhBRWul7B0_9qwdMZ-TUDr5eB-rG845I87u6EogbIV4,1485
mathema/compendium/numpy/definitions.claims.yaml,sha256=mf5iwLjmYvGxwis-vq7urG5o1SJ3E7VHCKbu-92Ozgs,2929
mathema/compendium/numpy/definitions_2_4.claims.yaml,sha256=OsVo2Il2t-kxfrrfbaKmEI62BNN2RfyU4M6jJ6eHfWs,875
mathema/compendium/numpy/elementwise.claims.yaml,sha256=uB9smEEjJxtAxycpdWV0sW1Z8M8AqMslxp93FBC-lTw,1333
mathema/compendium/numpy/linalg.claims.yaml,sha256=KYvsQWC7R-rTZHoC4ZbGnSzKl7aOTJP5Q1djEQfC83o,4536
mathema/compendium/numpy/linalg_2_4.claims.yaml,sha256=wlFV2kmbXdVR-J63mB78BTZh2vqFXvQLhK66FcnBfnI,474
mathema/compendium/numpy/reductions.claims.yaml,sha256=eBu2pltBX3Z4uxTYdItizsdp6NNdVlSof9anxIW5Ha8,3177
mathema/compendium/numpy/scalars.claims.yaml,sha256=O7BWx6QLDsyzDj2WC_enFZmLaEQol0WcoJMNuCLX74M,6366
mathema/compendium/numpy/statistics.claims.yaml,sha256=d-7H-diQ912Z2y6dNIIMawnhog5HJAY8prJzcbL0vhs,5361
mathema/compendium/pandas/dataframe.claims.yaml,sha256=ztJVs-xyDPIIdkfUOBBFEHYCvhO8e8oFpkPk-MszJ4k,884
mathema/compendium/pandas/series.claims.yaml,sha256=7vK4aTNEAJ_yPuLm_iNJyAYDinnj80f901E_9xvnSs8,2954
mathema/compendium/pandas/series_arithmetic.claims.yaml,sha256=nXtwcQOrEMqYlppb7yDTaASEQ69V9GUljbo0sTuuN8A,2307
mathema/compendium/pandas/series_bounds.claims.yaml,sha256=YIUhOzyWPK4HOgxbTW2bRGwmFykbzUX-hi30AgFzxD8,1445
mathema/compendium/pandas/series_running.claims.yaml,sha256=Gl91kCKUkC2QhTgBdri9MRCxWNPW5ZlOE2DIFNCG2TI,853
mathema/compendium/pandas/series_shape.claims.yaml,sha256=vkF9FVhH2IPO5TKj1sqyCWOzII6DWiu2QWIDw4-tdSg,1891
mathema/compendium/pandas/series_statistics.claims.yaml,sha256=69O-yuuXiEFknBerSpczyh5R_YMFNruFtU_9r8BxVak,1601
mathema/compendium/polars/series.claims.yaml,sha256=jsBEt3D_xcEWPGPr25NELVugsX4DGoEtH43Sp9f1oeU,3126
mathema/compendium/polars/series_bounds.claims.yaml,sha256=TELVpvetikHIp6FVsPjlraFmMd3p86Bg7Ku-vjrn_Ec,1909
mathema/compendium/polars/series_running.claims.yaml,sha256=6GRFBbwm7fXM5QgW2Go-g7_zW--S8PeEvn0p2uwoSTw,660
mathema/compendium/polars/series_shape.claims.yaml,sha256=OUXAyN6f9dZjPrSfKntXZWa4BegrWUnizhBRjmf3aZw,2730
mathema/compendium/polars/series_statistics.claims.yaml,sha256=6luj8UGZ4T-5ezCjb8XMBPMTR2sHj1lw1TdP3aF1EK0,920
mathema/interfaces/__init__.py,sha256=66uGT1Da-0zIK8huLV1hKWznPHCiNvUibLQhEzJ0D2M,624
mathema/interfaces/extension.py,sha256=SpET4rcIK1huLWjhPWbPuU3aHdLQXCvHKZsyNFyMTNA,13081
mathema/interfaces/runtime.py,sha256=mStDsaOIa_Iw-r1Nd1n2BDpg6Y-1rKSpS0KHmvIeoL0,6683
mathema/interfaces/mcp/__init__.py,sha256=F4k3_CN-h6WE3IkcpaPv2Qju872Hlo5pFT3oKhQM8oI,629
mathema/interfaces/mcp/resources.py,sha256=LgT5_qfujgN2winQJI6W3vL6QXmSHxtdk-3e0pVwlUA,10401
mathema/interfaces/mcp/server.py,sha256=zK2FpeqfM7ARfbYGplGaJjmdI4PRkU-84jgXK65TNL4,4884
mathema/interfaces/mcp/tools.py,sha256=9-SWgRNEc3KpeQFU7m2NkjY-QjAPvseVLqywqtwyzXs,38176
mathema/koine/__init__.py,sha256=ieJo5iodH4qj0oxclxmiMjssZDMrdQvY_DQRQ3bchCc,1415
mathema/koine/_render.py,sha256=nLo4rp3-EL-l7haD9NsZpaR7xHoIPS5rto0_O-1xmHw,19311
mathema/koine/aliases.py,sha256=W6Bg0hAWKAOR1257tdUsGqLyPqNhiATyFEtvwrcy4V0,1519
mathema/koine/canonical.py,sha256=TIkFHqSMOZu17xizynIVwcRCdIQjVm10JPCJoXQsU0Y,15500
mathema/koine/document.py,sha256=zNzFoGFao-fZLGHTwJNKiPCRnZxD1x6d0c7tvfiE_KI,3857
mathema/koine/facts.py,sha256=TxR0ySXdSbyPSdQepisXHjuT0jEvgUCncAQSR_s-t2k,18846
mathema/koine/frontends.py,sha256=9cIt44Vla71kx8AP5oDYcfUYvolxQyK6vUq8djRWWMo,6344
mathema/koine/functions.py,sha256=604k1Ztz6iB6IF6SlA5NkzfS7VESDmALhWdMNxYfUSY,8392
mathema/koine/interpret.py,sha256=ZWrzWNoFmgDpPMdsjckzfpNZdNmZnRbXpq4U9O_YWW0,12942
mathema/koine/siblings.py,sha256=Lihq942ZHTnxkVww_B8BSSJSfEHpkUhz2x2D8v-D5jg,2230
mathema/koine/syntax.py,sha256=vOa0QUxy2GEouV8DC6PnDUI7fUU3gjvkSSWSg-acTzA,10261
mathema/koine/validate.py,sha256=A0slAqv8l7N_f0vpzGl0JDoJpP_DmzyNLmwHzzwjhUw,17458
mathema/koine/vocabulary.py,sha256=ttpOLU3LCgm6v3X83VcB3zK7Yg0ianf8OTvqVjtENvY,13461
mathema/koine/data/aliases.yaml,sha256=OB7AYPOHl_n9fVNQff2sILYhewo7bAt5iOvaHPwvtcI,1118
mathema/runtime_types/__init__.py,sha256=u6NcUYjlimIF3vWEpGaerLZ1D08EmJtZtCSNEYfjDIs,51938
mathema/runtime_types/_abstract.py,sha256=kIbcklfOqAPnF0R8sHYpq_4uYdH6aokI1D0yq6xtmpk,10610
mathema/runtime_types/_adapters.py,sha256=l3MtvpbGbKbSEysFzhHDxrM2Iirkf48h5bs9ugoL_as,30597
mathema/runtime_types/_missing.py,sha256=AsU8-mczEO3Tm12D39uNFlZBbPE4s_OS8bLoo4AzXEE,5286
mathema/runtime_types/_receivers.py,sha256=Y1GfnqYo2qY4mHRGjXcC1WWBiX6CW9KyUNi9vi4n6GU,17304
mathema/symbolic/__init__.py,sha256=Kv7oza2QyWe2bsizy33OPt9cGJneXUTXlTPU6X60jz4,2142
mathema/symbolic/_base.py,sha256=gn15AoREsdES9sQqrBPqXHf4vOkAN2pv6uLndsjRaEk,74312
mathema/symbolic/_conditioned.py,sha256=JI1qDzalwuvm6WpvVEo2qp7u5XmTT0aOfjgfD45nMN4,57292
mathema/symbolic/_coupled.py,sha256=MC_9QUC2qzguK-uMIlhbiOxsnSQ9v-AqZehGUwjPF1A,7792
mathema/symbolic/_dot.py,sha256=mgPfl6flczbsHW8YQccXGibO-kq0-ODPxBz6DiCVo8E,9334
mathema/symbolic/_extensive.py,sha256=LNHhNj5c-M_WbpW_ppCryz6AbYsfDQXP20KD-I7nygU,35390
mathema/symbolic/_fold.py,sha256=Pdhd-YrolNAJsTx9AYmUDo9n8Wc0gjjM9ARiaqzzLzI,46135
mathema/symbolic/_forms.py,sha256=0KKVdt7gGd5KOjiPmmqWgSmjTZnU3WOcq_7rSs5nHLI,10550
mathema/symbolic/_guard_points.py,sha256=3aPyPx3v4a9LNVswOlh8u5IRgZgOtptAP09vgP5ufJs,7317
mathema/symbolic/_loop_shapes.py,sha256=Zq-M9pOP8SWn4c-DHUHmdf1iE34Xvi-yvAusdN5nWvk,5861
mathema/symbolic/_matrix.py,sha256=Ze_P7WcVG8DQODoNWmByC6DkBxBhFsR45y9Ha3Zo29E,35083
mathema/symbolic/_matrix_lemmas.py,sha256=fPiWb0zoHV5GYvjIBsBAzgJ1ukpNhKqgiZu-XTnVeOw,22187
mathema/symbolic/_normalize.py,sha256=sO_7EGCxmVsaGARAR99l8yAFem0BIAf0QW9diHZ7KPQ,17511
mathema/symbolic/_partiality.py,sha256=O2JUnzLPHlVh4_zIyM2LfRAWB1t8uTA1_Vz13r_Cjnk,64964
mathema/symbolic/_proof_support.py,sha256=U1jUwog5ORWWLl2y8bIGvjrImH3QDbAXn8tIbKzU4Ck,146024
mathema/symbolic/_prove.py,sha256=nZr83hlrJCZ8umvJOsMCG8LfZv0gMMVzdcuwuNYwaT0,222757
mathema/symbolic/_reads.py,sha256=1wxTLaFnOA1zmGa-3pPBJaq_JBlJov6aUHm7gLT6gRE,17034
mathema/symbolic/_recurrence.py,sha256=jE3adJUrTD3_liCSpA6P50dMs2mshiLlA_ruwC8HBW4,11526
mathema/symbolic/_residues.py,sha256=ThJQw17_oDsjEp4jNnehzh89yYlPOxM8FKZG62Mheiw,36176
mathema/symbolic/_seq_common.py,sha256=ouVCqkPMNXkHEjX99uYE3RAvowdzstOGNHK9uvE5Zj0,45287
mathema/symbolic/_seqir.py,sha256=bvxm9m2ApiX_Uko-yfhXZQbf7tm1HH4ayby8_Nj-bTQ,33929
mathema/symbolic/_smt.py,sha256=wXx4hpQXmEUGbJ7HUD0r8pcx1dK-axDMQSaDwLAM5mQ,17307
mathema/symbolic/_strategies.py,sha256=QqKn1Hi7CI8mennRIw66xwgcnjodq1YzBtXnFxf0zYI,14398
mathema/symbolic/_sum.py,sha256=L6ZqSbavbz7NDxD76d2wRjeV1w5HoIo1KyDzQKkZ4Vc,27954
mathema-0.6.4.dist-info/licenses/LICENSE.md,sha256=GwgGa-n74Cfq41-aFia5G2a-Gl4-WhZlqLGUafnzYhU,7846
mathema-0.6.4.dist-info/licenses/LICENSING.md,sha256=ursPAoa2NDC1UAaniQV9Bm5cfQjfRXeTEzjfXOOUMcM,2891
mathema-0.6.4.dist-info/METADATA,sha256=4sYMHVaqUjhW043VBkz_MtkzMGkuewYds8fNzPA3_5k,22731
mathema-0.6.4.dist-info/WHEEL,sha256=mOdXR9C3wMVov7cSY8PY-XCzo3SmmWCHvGQr5csJoao,91
mathema-0.6.4.dist-info/entry_points.txt,sha256=8K6uSbSS2xAO8wRhJ0eOJk-nt7EAAEHAQo1DGpVHqqU,45
mathema-0.6.4.dist-info/top_level.txt,sha256=OIwLKRGzSrh2sD1g6lftJKJmpsueO_02HXf8PatdsLM,8
mathema-0.6.4.dist-info/RECORD,,
