mathema/__init__.py,sha256=rJXhHAdnySq3SycYsBxQzrrmYY0gJqQK3PtlcouKnsc,49351
mathema/_allowance.py,sha256=VjXdd4s396jxiFd1qowTfh51vGJ46buxFzQhHAFNdfY,13574
mathema/_annotation_text.py,sha256=1rR9t3o0P0Lfda9JvZ7N55uVDLmIsqBMHQvBW0y314A,1687
mathema/_brute_force.py,sha256=nLrqHng3wjDjVcALUp_S_Y7bG1uYkvLuy2dN9FmWRr8,24934
mathema/_claim_reach.py,sha256=hLrIlk9Uqt9E8-phESwLhNVrcWY30k29KhgdKysVpC4,28176
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=5A3HPiivVbLHXeW2ABkRFkAycs7udBdxeRGuLTT_bIw,17552
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=JDk2L6QIjJzN0iBpF0BcK_gCa4LvXg0Zh9sD6Il7TvI,89179
mathema/_float_text.py,sha256=zrr64_Tmy3skJ6WGpDpgLebzHxWRq2a9KfQEODp6fjY,2909
mathema/_floor.py,sha256=p117pkbhfeKh63T1XLacX-l9C1r57Vkt2Do1Vpk83wY,10746
mathema/_grammar_words.py,sha256=U-tXdsJBYZoUvYf1GaXBS5xKq6_ubMPJqtHy5uk8ZyA,10997
mathema/_indexed.py,sha256=MOHfwP2Zl3-k4WCzTWNlro9WT5ldkDtBwMNBtvz_uxE,5493
mathema/_layout.py,sha256=aRYqktiqB13hHY_5j0B3oGtIe2Fn_T2ZKy3gejpbWMs,18506
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=6RGL96cDHaWV_rQWc1f_SjXkydrXLNqs73pZP9alEKE,29582
mathema/_missing_words.py,sha256=W1EKEG8HnNL9gS0CMCK4_0qLeIMroiCthIlgDIWelU8,22384
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/_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=6sOmkY6a9PosQx03ZdmbOz9pj1DSOrCx3h9GgMArkq0,5437
mathema/_split.py,sha256=hXZj-zEoL1OroZTmNHP-EBMZz38E1OzNa5RKbTbMreo,3668
mathema/_target_resolvers.py,sha256=n0nzzGVqi4MH3BuFBfvUJNvrmc7OF5mWzyA4IAv2kCU,1869
mathema/_tier_text.py,sha256=KG3c1-aW4dhWSgyuXJWTKYId1rG1LjyCGIiMt7-NmBw,4974
mathema/_timeout.py,sha256=1nH5oy5xMdSal0n1l19mFAyXeZ2tDS9TsncAgu1Z1sA,6152
mathema/acceptance.py,sha256=V7AYDU-3633u_w8X067o92azRj8bntRbM8cmJ-T7AN8,65165
mathema/analysis.py,sha256=W0zLLmJnN7xGz__DgQbPf3ZQTWpFyI61OiaYCPXocTc,56137
mathema/audit.py,sha256=cykT5mxSbQmITHKUGFkRXXFUp8HJDF6lDAluJqx35vI,66359
mathema/auth.py,sha256=Q6xhCkbLYK4J9KWxRqYVdLIh9GJEt8aPorjkuwIGC3o,12413
mathema/authoring.py,sha256=CdQyZ_lbWoGaX1i-_3XE2blX01Qy_9ZQkwqB-tfhvWo,56057
mathema/badges.py,sha256=Ermh-gR2pn2663svkEGEJImugigtszD046WMs9FL5uA,53930
mathema/centrality.py,sha256=0aG2_GbakhMubbmoiqwBguyia2VJgVXu2HppagFLO_U,5056
mathema/claim_families.py,sha256=hk5U5Qa-l6CZfS2dPdK5DD8gdMcU3ics0hXGQofn__4,216132
mathema/cli.py,sha256=QQPXCJ95zqkE6hUaPVbNMhRUhgu2nJz43RRhX_vrc7Y,166080
mathema/compiled.py,sha256=1DM-PmH-euaYHNCyC9HINoJnESPZIAUdGTXDGe3Yvgg,8667
mathema/concepts.py,sha256=yqLdyZhs4djuqfHjbMQenbCoHc9oFq71GN-_k-9_DcI,11051
mathema/conjecture.py,sha256=1HfDjE7rHiTgYKL0D_vAVvP8NFQ83aDWVohp91fMYVw,545294
mathema/corroboration.py,sha256=EAUtx7PxSCGXFCpJ3CkEyJeTsatcE-bj2OYomzsARUI,10028
mathema/definitions.py,sha256=BegBYa_RZEQqxEmU9xRxwilRaS8EiimzHTagiw-gXoU,74232
mathema/diagnostics.py,sha256=qTeMagQFGq0fBExQdNc6nzDDishJDB-tb0eaWqru2uY,25998
mathema/dimensions.py,sha256=yjeLDMpHBbrl9PqnXdDQ5zGPgr2b6xhZ4pmXSzUB5-I,13145
mathema/docstring.py,sha256=9S-XuqWTADLqyp7nY-gN2BlKkvF6NIk1p9068b_hev0,41032
mathema/domain.py,sha256=6QYbqspcihHYD8s6zcklcJ7ba6EKLiNSWGTUd65g8IE,144488
mathema/equivalence.py,sha256=0OX9xqc4mTSOVGP2ZzX8s0n96pUnopy1iaHMaxRZSS4,34933
mathema/f.py,sha256=0oxLoeE0e9Au-_P_ynnyHQnPfm92CbO0keLcDwGbDtc,5124
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=fc4QDM_0NGHsJGog7i4pSB0DZIJQPea1IP7J0WN3aLE,8627
mathema/gates.py,sha256=cznJ-VvUAcIn1nH-VmQQm8f6h-J5NpeLNuICa8cj_yU,95056
mathema/grammar.py,sha256=It06FTpCKb8BqwF_11VeVx2XPwYdKfcLBoWw0_1FfZw,182248
mathema/hazards.py,sha256=VICCiBoETJshyw4drEu7GqFwOFr9I7otJIFKechYbuY,44943
mathema/identity.py,sha256=QS-pOywaLlnZo5p5rVRehz52DgHnGT_zIDghrcIkkW8,6803
mathema/impl_coverage.py,sha256=-bIH0oU716b1E5IUke_5_HdUPqwB_NvNDPGt-EihnGs,21698
mathema/intent.py,sha256=HUJvDBOR24fucWxi1rgHFN9ePttUHcTJpMGsJeTqWJ0,6849
mathema/inventory.py,sha256=zcKpnG_uFxZJ0gwcUma_wIHLEN320AnDP7EH9zbW0QU,48574
mathema/languages.py,sha256=pxbkcrIU9AgJIPW-nk6Zrjk5tMTpWKoI9y1CSFgde8Q,32906
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=3dic1fN84cPRT-ZaLo4Xo2hn25oiltq0tEp-4-UNFWE,129108
mathema/probing.py,sha256=vuhJuw5DzefwV72scKYD1PLvs2qjLObKBQ49niglv-Q,124609
mathema/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
mathema/reason_codes.py,sha256=YM5s8tlKhYU79toEhg-ivkVAaC4hkFrpgCN9TY6Yg10,44550
mathema/records.py,sha256=b2z5HrB3iEY-xRM1E7rqnXfkmr32MV2x9XiqhM1uf3o,20525
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=S9k_3s8RU2wlXhNOLBfWpPET6qFcphxe8WNbvOzAaDs,141397
mathema/suggest.py,sha256=WHz6X-HU5U3weD663uuy97QmK1E-_abxrBenY16UtRA,63226
mathema/sync.py,sha256=dswOELUF5_n4zbpJb1XRxaQEidQ45y62f3gCsOcTBVs,22901
mathema/targets.py,sha256=xSPKnZ4mag3nS-eCk8-t-_EgAHqmhSD68QIzsNvGyfE,15513
mathema/tiers.py,sha256=tsNx7oLaTkNFruXsSUwHe9d88Nnmep64mIbUjAYpDzY,13551
mathema/types.py,sha256=Cd3SWqtCaO25m6iavXqH9Rc-JRPkMyI-5Ss4Stu2dTo,39336
mathema/verify.py,sha256=-wAy_CvLlR1QfNthJ_JwSqAdC87twEgA4TE9Iexx5kM,100745
mathema/compendium/__init__.py,sha256=ngvUC0Dn1QT9lkfjeH40IF9NgmJ3hDnQneyUc3CVORE,74877
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=1CLLqqCFgHK3rfO-egNI_uM_cmWvOGfrSUyIu4E14yM,27459
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=2O9eYh9UzM1h9UNWA99m05J9lU6M-b_e9cCEqplN8bo,5347
mathema/compendium/pandas/dataframe.claims.yaml,sha256=3TcmEgxAl9Y6jqhQhKw2Eh2Y1yoeSHgyFIG3mHVFapo,870
mathema/compendium/pandas/series.claims.yaml,sha256=7vK4aTNEAJ_yPuLm_iNJyAYDinnj80f901E_9xvnSs8,2954
mathema/compendium/pandas/series_arithmetic.claims.yaml,sha256=psEZE_Zu8kf1zP9hOnto2iEiRMg3ZSNiof9kr1wRXZI,2251
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=q3Gi0TQk23O4UCFROcT3kanq5Y9DhelXBOnxB8gc3cQ,2688
mathema/compendium/polars/series_statistics.claims.yaml,sha256=6luj8UGZ4T-5ezCjb8XMBPMTR2sHj1lw1TdP3aF1EK0,920
mathema/interfaces/__init__.py,sha256=66uGT1Da-0zIK8huLV1hKWznPHCiNvUibLQhEzJ0D2M,624
mathema/interfaces/extension.py,sha256=FM72bVf9r5ZIY2xUYB3IsmUJqVEoPwrnDCbSav8g4TQ,12405
mathema/interfaces/runtime.py,sha256=z4Vt9M2Hi3J0WKuZ6U5uuzdXNaCzt70cmRHib31Nz9E,6689
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=6vfbRXjFKe2v4w5ddi2c4IWIGevEDSRaco37qsmrBt0,34843
mathema/runtime_types/__init__.py,sha256=Ny1TwSiePnsT8_GTvcjO9l9GiheV302XBW9fAuooYCI,26369
mathema/runtime_types/_abstract.py,sha256=EEgJL5dqRuAVm6n27gJC9fxXka9SYb08WnnZHfk69z8,6573
mathema/runtime_types/_adapters.py,sha256=T6LdEG3Bg2yO1X0qIVrkmge65aSMjDF9SyZa7GWcbn0,19845
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=DBN2f8ntvWz0EeDvpI_5TVSzdCdW_FFhS6YH2oxIVnI,67013
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=Hf1HrX3ixBfKFCNaoPx4SsT75747IF9xAEapjwRgycs,35003
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=UsNYQaVsJRzx3ULWlgA6BVWfGe0sY4yNIFUtamhS1CM,144948
mathema/symbolic/_prove.py,sha256=sGM8unJp114qmCKAO64dl8taynQuRVJDe5SA9hWK3MY,211782
mathema/symbolic/_recurrence.py,sha256=jE3adJUrTD3_liCSpA6P50dMs2mshiLlA_ruwC8HBW4,11526
mathema/symbolic/_residues.py,sha256=ThJQw17_oDsjEp4jNnehzh89yYlPOxM8FKZG62Mheiw,36176
mathema/symbolic/_seq_common.py,sha256=haX6w53LJ0cZUxL52gbzVBfTs9Ez5ZvdEDgHGGQH4bE,45219
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.1.dist-info/licenses/LICENSE.md,sha256=oNm7_nz5-rItRay9a7wQApr7hFnTdJ3cE0IglH4JfVY,7846
mathema-0.6.1.dist-info/licenses/LICENSING.md,sha256=ursPAoa2NDC1UAaniQV9Bm5cfQjfRXeTEzjfXOOUMcM,2891
mathema-0.6.1.dist-info/METADATA,sha256=f_P--WopA8jMlp8MvQqvVtj468Sp1EZ_earUfM4m0zk,10793
mathema-0.6.1.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
mathema-0.6.1.dist-info/entry_points.txt,sha256=8K6uSbSS2xAO8wRhJ0eOJk-nt7EAAEHAQo1DGpVHqqU,45
mathema-0.6.1.dist-info/top_level.txt,sha256=OIwLKRGzSrh2sD1g6lftJKJmpsueO_02HXf8PatdsLM,8
mathema-0.6.1.dist-info/RECORD,,
