mathema/__init__.py,sha256=6xLEL4vZ9GUQWcek9c568aSC6nftvgTR9Hy2aEPSLTQ,50188
mathema/_allowance.py,sha256=VjXdd4s396jxiFd1qowTfh51vGJ46buxFzQhHAFNdfY,13574
mathema/_annotation_text.py,sha256=1rR9t3o0P0Lfda9JvZ7N55uVDLmIsqBMHQvBW0y314A,1687
mathema/_badges_cache.py,sha256=p9KSIIpuriQC8Si6s9K4pXl5kMSg58d3v7b3rzy5cwA,15442
mathema/_brute_force.py,sha256=ziwPO0tuqPo_TwmzYjx9w8fjE1Exv6Ld2GEPq6S2L9Y,32103
mathema/_claim_reach.py,sha256=hLrIlk9Uqt9E8-phESwLhNVrcWY30k29KhgdKysVpC4,28176
mathema/_clarity_reach.py,sha256=BmhezfFIr45pSvlHXW-gja8MSi9AXFLIbTRsmE48f6s,9525
mathema/_conditioning.py,sha256=y1TUC0ePjwKfwl6Z7hM9vKGEpf-ATXjWjyVnJgs794w,18284
mathema/_deprecation.py,sha256=DiMnioq2GhWhTI5jarfaejeVAh8Du-YS7QHkpbkuExQ,2064
mathema/_discontinuities.py,sha256=3dt2s8skor_9k96_Pwum6dScaVfp6w7ReSuWOwVDxz8,12003
mathema/_empty_input.py,sha256=e1gOESTCcsuJ12yU8yoeKwwXcYrrVwFmrwHsAXZUgnk,17587
mathema/_exact_premises.py,sha256=lOQVunNdI3Vf9h_u2wxhnaOcUY9QIcqW6UvoebdNPzo,4194
mathema/_exact_side.py,sha256=NUgynhuoPrhT0ML2mkfLaq6l1UHvfMBPydI-fXNNUt4,16768
mathema/_exact_witness.py,sha256=LLJi-30W6iVoZcUBWskooARULumTdaiD4hdSWIT-mrA,16675
mathema/_examine.py,sha256=_loS1FTdTlTR8Ulc24uiQRtMgF3NAbw16OO1-_YG6C8,90091
mathema/_exits.py,sha256=DM4p1JugdCOex1_C49s0tan89fVFdOnHUgAu06eao9k,3585
mathema/_float_text.py,sha256=zrr64_Tmy3skJ6WGpDpgLebzHxWRq2a9KfQEODp6fjY,2909
mathema/_floor.py,sha256=csgMXaaHmq-MVGsgcMTB1lmqiAgaqES8hTGcv_330UU,11363
mathema/_grammar_words.py,sha256=U-tXdsJBYZoUvYf1GaXBS5xKq6_ubMPJqtHy5uk8ZyA,10997
mathema/_indexed.py,sha256=MOHfwP2Zl3-k4WCzTWNlro9WT5ldkDtBwMNBtvz_uxE,5493
mathema/_layout.py,sha256=9fYW9fvg3PYhHRk-zQkmHX4KfkC4VdsyePVFEpZbbEc,21042
mathema/_lexicon_numpy.py,sha256=9tR-SVq93PpOt6b2OyZkvr3D8JzbIgB0ycWRqE2AnYo,7580
mathema/_linalg_eval.py,sha256=K3_ZA7ExyiPbTm6Aalca5oRY6aWAPx3-JGDg8_CMqoY,61509
mathema/_linalg_exact.py,sha256=jBWZi7U98fQ7jTgo0VA46tcv02x_lzC6zd-Xk1MW9ac,14387
mathema/_math_vocab.py,sha256=3iK_E_Q0g4sXwKWX1AM2mGFfm1eGysRIvbtd3w-frJI,10664
mathema/_missing_policy.py,sha256=DdAcdIdGguTGcuYnN-Z8ZqxwNS8LKAdZj8lSD1OIz14,40668
mathema/_missing_words.py,sha256=PLPlo_7c1agLm1IjGnmAiuHSXsfQLLr45RoIT-zeGuc,22713
mathema/_premises.py,sha256=mThn27e84gDuvWDE3fn6KNvSmDHwiNto7HylR_bfNrI,27366
mathema/_providers.py,sha256=C_a9ySjQTA83hKl4oWQzXfFVyA041ovQ7KVe1D2LvFQ,3748
mathema/_render_mode.py,sha256=h_6lhza4i1y4gR11guqV_b-5DyHF2eV68YdXp0ywum4,1861
mathema/_run_scope.py,sha256=7gMB2KPhKAZm89uP6_QXqdXBlKxwmZqtpkNe4u21weg,2271
mathema/_sampling.py,sha256=l5fz8Ca8yeHGRFwQaRSmvpogwVkpq5qyQMT6k1nASHQ,12792
mathema/_scan.py,sha256=PMp6VNr6a60J6aI52zGpJnVYjU1ftEKFLjXTpXNQbO4,4153
mathema/_shapes.py,sha256=f1208nmdI9UagwDVIq4kfiDDAn83MZWJlGDTov8CgNc,28933
mathema/_shrink.py,sha256=YUWjhxXjkuOAf8PshwkJgduYt3hXxjI6QQ7S9vrYnXk,2985
mathema/_signatures.py,sha256=wjp3RlBXL0It13pPSZEuIQ16Nj6VoPkAQHJUy_s9FIw,6155
mathema/_split.py,sha256=hXZj-zEoL1OroZTmNHP-EBMZz38E1OzNa5RKbTbMreo,3668
mathema/_target_resolvers.py,sha256=SP0dCQpR5M4WkyhwE5SDUHV5f6CHGq9WbQdDQjMon4I,1840
mathema/_tier_text.py,sha256=KG3c1-aW4dhWSgyuXJWTKYId1rG1LjyCGIiMt7-NmBw,4974
mathema/_timeout.py,sha256=cibpl8gaKmJUJN_X6qwrrVAej14gmN3bx7joRnV7MSw,15570
mathema/acceptance.py,sha256=LCjHq8p3f_gSV9GcVdEYFzHfmRuo64Nxl7z2d66hxrs,74845
mathema/analysis.py,sha256=ZLUhDDn57ZY5FSgarF0KwrV5p8tw9TgaQQiNiI37JN8,63839
mathema/audit.py,sha256=eHsGbi-Da55RAY27iB56CmmY7MBuTFvQbY_NHZs0SEg,66713
mathema/auth.py,sha256=Q6xhCkbLYK4J9KWxRqYVdLIh9GJEt8aPorjkuwIGC3o,12413
mathema/authoring.py,sha256=MrTz3UvZ1yMLBLSFaGfknFi1d1-slM8J30g8gsJEUqQ,58117
mathema/badges.py,sha256=H1mDWQ7yY1yQ9mnfTD7OrpdW_cGiHut5-ri7Umr59xs,76959
mathema/centrality.py,sha256=0aG2_GbakhMubbmoiqwBguyia2VJgVXu2HppagFLO_U,5056
mathema/claim_families.py,sha256=-DJzjeeDYRIDgsAqvgbHlGc4fT321M_hmPRFhRCe2UY,228146
mathema/cli.py,sha256=3OuDzx24JK0pamS-lC0GAUX_jjq4Al__HuBiEFG06YU,170442
mathema/compiled.py,sha256=49Va9T8V8X1mOdJIV-Wtm-hxzheeHdXfp67O3mrr3zA,8579
mathema/concepts.py,sha256=UtrTwLnWLukEbHqrkS5B1wsDY8gZboMgEJWj2U-3DNU,11049
mathema/conjecture.py,sha256=fkA43kU296eh3NnXIjvCrx3NWs1JXplu5YmFsZcyXWM,560043
mathema/corroboration.py,sha256=EAUtx7PxSCGXFCpJ3CkEyJeTsatcE-bj2OYomzsARUI,10028
mathema/definitions.py,sha256=RY19Fw8mXNNbt2uN7GrfBGkKDc8O5G-9DXA7iLK2ExA,74528
mathema/diagnostics.py,sha256=BWmnL1EvEAmqOoQHRO4yg21eJc6XWkBCOkl5Eg1U1ag,26000
mathema/dimensions.py,sha256=yjeLDMpHBbrl9PqnXdDQ5zGPgr2b6xhZ4pmXSzUB5-I,13145
mathema/docstring.py,sha256=Z8WtS6YRaMqZIBhEPC_j6mwRHlkekjE3HQQlaXBCMtA,41104
mathema/domain.py,sha256=6QYbqspcihHYD8s6zcklcJ7ba6EKLiNSWGTUd65g8IE,144488
mathema/equivalence.py,sha256=lk7zQRuEIGpQ3WAUpn2MMg-r4ghJYt6EkNt1KT4mZps,37067
mathema/f.py,sha256=t-qSJsFGmU_yxCWmt15ZrEsIMNqvxt3NTbeXLa7MqAE,5126
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=oJeZ9bxZXN0InjEd6O1L1bF-fhmX_kh9DWZ8Y5Vu_XU,95970
mathema/grammar.py,sha256=lYroWsQQZfcLoik92pydeQ1HVTBfvzr59FBBeuT3JK0,182256
mathema/hazards.py,sha256=7u8ECFSBXlg-kS99TLY9DIgH35AP8gV8VKlJyUwCO0A,45285
mathema/identity.py,sha256=QS-pOywaLlnZo5p5rVRehz52DgHnGT_zIDghrcIkkW8,6803
mathema/impl_coverage.py,sha256=SVlQCKJTr7J_2wS0ntCUVqowU3k1Qg5jd1b-dCp_plU,22603
mathema/intent.py,sha256=HUJvDBOR24fucWxi1rgHFN9ePttUHcTJpMGsJeTqWJ0,6849
mathema/inventory.py,sha256=I30uoYwzJy02jzvOrHk2RYRLALCXmq2gy41IIptXI6Q,48840
mathema/languages.py,sha256=3NNCKUuTbPIF7Q5fQvEjMaHbVSY94uCEeYyp4L9SGTI,38021
mathema/lexicon.py,sha256=mq4Ru4Hphre4z9FFARab-KELhf5_i9OzgXDWDRSrTI8,111295
mathema/lexicon_checks.py,sha256=VTLSpCyHJOOLYKBZKJ5XYNcK7ltgxEz6fgLbg_gDtSM,17635
mathema/linalg.py,sha256=RpCMkPN2XiXEQmrFoifGTVcRNeLdAeTUvD8m-o5oZgo,22658
mathema/locks.py,sha256=xDn9MnNlm55etAqbz4oPrC0nO_0rEulWltYGIcydf3g,5116
mathema/matrices.py,sha256=L2bdDInbrn1iQ6R2ZiEv8aEXYZfQt-PrytFy_g9Ovbw,15387
mathema/moved.py,sha256=cL8L18AoUTU7_5BKApHRU2IU1KutXNXCxaUDcx3LJsI,5363
mathema/partiality.py,sha256=O_pgQousxMAKGFhET1HLrREGa0mMe_HDjz3tiYbOGdw,2236
mathema/policy.py,sha256=6Cqv0m0R0xPeUD2PFe0SYTXCTtugRSogtVsYLyzrkEc,136563
mathema/probing.py,sha256=_fPv-jobVFQXBMRrSMpq5nijkLqpbaZvySQlMLKijs8,125896
mathema/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
mathema/reason_codes.py,sha256=CLvcJI9VbI1P1UfWDDRy3aRrLrc5xcXlRY5HvxAGNO0,44552
mathema/records.py,sha256=7m3J9A2qCBvbRzV56N9Rmr16ki78tKrDzgyQdtoc_YU,21209
mathema/representations.py,sha256=3EmRqlnntez1uyeMQCxfqmgJ9lCb8pqXyQmT-A8YVmI,5099
mathema/review.py,sha256=iLi2NwsFkL9xYkU1oKu48jDwQvy_LllTBCm6Mjm8nJc,8544
mathema/routes.py,sha256=gkaasW7nHy5OzW_UN_uAMeT8kBpv3-ZcHbdm6ydrWzc,12127
mathema/spec.py,sha256=7TdZwEUg3CK6NkUXjDiUUC1Z19nt1nfNunWZ-I2lODY,151603
mathema/suggest.py,sha256=1VWUOWIfJ54PHNTEGSFjJ2V8QjAvSt1THHfmK6A0Aog,70134
mathema/sync.py,sha256=XhjsnjmniROq9s8b1hhgZkMV128B9SsHB83Fc5iY_mw,25696
mathema/targets.py,sha256=_pX8qjXVgVhi-boYG69aC6Vqi2_Nf-ZuRd-nUnuU8W8,15504
mathema/tiers.py,sha256=tsNx7oLaTkNFruXsSUwHe9d88Nnmep64mIbUjAYpDzY,13551
mathema/types.py,sha256=Cd3SWqtCaO25m6iavXqH9Rc-JRPkMyI-5Ss4Stu2dTo,39336
mathema/verify.py,sha256=gLL32jK0v9BfqYxnhiG7lGOf2S271jrsNoxM7ZKh_nU,111173
mathema/compendium/__init__.py,sha256=Q4Q4Vx2hFUZD996ajeF8jaQq3u6FybVsjhYSf6LqvOc,75627
mathema/compendium/export.py,sha256=X7q6GPpQXhlniVUCSYGYLQzHUKbcgYttadMVch0xT6w,10367
mathema/compendium/math.claims.yaml,sha256=gkamKEPATJNVf8YbOzLIE4jG6dfb0g3Lh8x8egJQwH4,1402
mathema/compendium/statistics.claims.yaml,sha256=LSX6JZ9PE9SSlSxPR-XNGDGZ7nz0APQgLgHvSF-rSRg,273
mathema/compendium/status.py,sha256=6Tm_2d8JidpKpQOjeLk9Rkd89e0nUbiyH6G4D4UBnEc,14002
mathema/compendium/update.py,sha256=ypvbFvAhcK6IGVp-qN1CurI3khuJ30Ceju9MKt0sCY8,27556
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=q5zFG4ec6fbQ0y-bPg-kBzdJbZ9EufDQ33rdL644IyI,12549
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=aVgBV5VJd9Hb44VDNDlFhfBjI0QBGxcosZGttgDFDZY,37141
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=RbtK98U_UDU9UVavfrEgbsDZNr4jLdfF7oysH3HiffM,13440
mathema/koine/frontends.py,sha256=9cIt44Vla71kx8AP5oDYcfUYvolxQyK6vUq8djRWWMo,6344
mathema/koine/functions.py,sha256=604k1Ztz6iB6IF6SlA5NkzfS7VESDmALhWdMNxYfUSY,8392
mathema/koine/interpret.py,sha256=bmA7kYTGE--ojjqI6aupsuFW-poDGqlLufC9_AMern8,12954
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=lGnJE_gHilUPaZYHSUYJ1OdwulkIM8DcygVmqlBvUgs,13503
mathema/koine/data/aliases.yaml,sha256=OB7AYPOHl_n9fVNQff2sILYhewo7bAt5iOvaHPwvtcI,1118
mathema/runtime_types/__init__.py,sha256=ox7lD_DwoITQnyf4UuKCpQZSYZtsAi-4MfryRJyZsl8,32076
mathema/runtime_types/_abstract.py,sha256=EEgJL5dqRuAVm6n27gJC9fxXka9SYb08WnnZHfk69z8,6573
mathema/runtime_types/_adapters.py,sha256=nGOcrHqgCZYIyJJ3-9UMO6UWXa2r2c0SykJcjhRwLpk,20368
mathema/runtime_types/_missing.py,sha256=AsU8-mczEO3Tm12D39uNFlZBbPE4s_OS8bLoo4AzXEE,5286
mathema/runtime_types/_receivers.py,sha256=RaJQdoZuyys4HAUZmrqsI4oJkfhLvAOhHqi96nP9vFo,5511
mathema/symbolic/__init__.py,sha256=Kv7oza2QyWe2bsizy33OPt9cGJneXUTXlTPU6X60jz4,2142
mathema/symbolic/_base.py,sha256=WVGLOYou6YRwmIhdsCTe0ExYpqqVeWPSEOtJDKjO_1k,67015
mathema/symbolic/_conditioned.py,sha256=diPMrtxsgvoeZtp8UWeihAZ5SlPUQv80DS1-uNqG4Ag,54169
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=u1lGxF6ZJrO5U4Rv9rfaS5ncslWpNUYhGV-IigyIvOk,33808
mathema/symbolic/_matrix_lemmas.py,sha256=fPiWb0zoHV5GYvjIBsBAzgJ1ukpNhKqgiZu-XTnVeOw,22187
mathema/symbolic/_normalize.py,sha256=sO_7EGCxmVsaGARAR99l8yAFem0BIAf0QW9diHZ7KPQ,17511
mathema/symbolic/_partiality.py,sha256=zWngvyPH6GVYMLVGmUTOetzN7-otLCMiCzx3_Tp6u0k,41507
mathema/symbolic/_proof_support.py,sha256=U1jUwog5ORWWLl2y8bIGvjrImH3QDbAXn8tIbKzU4Ck,146024
mathema/symbolic/_prove.py,sha256=iTrW2FLPnMTZuF3v1Sl3FB_-s5QkLMYcCL7dBx0qiH8,212334
mathema/symbolic/_recurrence.py,sha256=jE3adJUrTD3_liCSpA6P50dMs2mshiLlA_ruwC8HBW4,11526
mathema/symbolic/_residues.py,sha256=ThJQw17_oDsjEp4jNnehzh89yYlPOxM8FKZG62Mheiw,36176
mathema/symbolic/_seq_common.py,sha256=HsHhjVuBkGEM_YAustiaprKFmqofC_sj4_wpvdKqVS8,45221
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.2.dist-info/licenses/LICENSE.md,sha256=RMwo5WJ7ecvUIEkypnhnp7cWGGg34Ok5vSZcgNJmDxQ,7846
mathema-0.6.2.dist-info/licenses/LICENSING.md,sha256=ursPAoa2NDC1UAaniQV9Bm5cfQjfRXeTEzjfXOOUMcM,2891
mathema-0.6.2.dist-info/METADATA,sha256=fGaWyVTb_5ZcZjuhbgUKEZY-x9-9rU1ZzdIdCTl6Xls,21969
mathema-0.6.2.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
mathema-0.6.2.dist-info/entry_points.txt,sha256=8K6uSbSS2xAO8wRhJ0eOJk-nt7EAAEHAQo1DGpVHqqU,45
mathema-0.6.2.dist-info/top_level.txt,sha256=OIwLKRGzSrh2sD1g6lftJKJmpsueO_02HXf8PatdsLM,8
mathema-0.6.2.dist-info/RECORD,,
