calx/__init__.py,sha256=6Ml4J9WG75z0lixPoIIlGaWa91N2qlY3tpkbPOcl9vY,345
calx/arith.py,sha256=N2kV4OBRQTGQd6iXwdZvTENFGQMI78AzXv_xVF8PwM0,15186
calx/bundle.py,sha256=EqcjuUR73dH5zprrhVG2Hm3lnmoR9v6mawCeuzMBy20,7100
calx/cli.py,sha256=2NUhiJ7DM1IC7i1YhfCfkzw1-v1Tzg-wSOMdYVRvCoc,25089
calx/curry_adapter.py,sha256=1xdumL8F3A51d2dxqNNOKWoWrBIj4j47uKoRnwrMWgY,4725
calx/db.py,sha256=ExucspqZ2cMMttrw_adqTpk71tiC0JgzDknee2tJ5z4,5520
calx/generate.py,sha256=SsGR982mop036N7BjOn0js7LW4xiNKA53m643kg4aWk,2119
calx/holographic.py,sha256=22leABxMnJyqtTCA0_o6HSpXr3KGGanopDP5z0obr0E,2552
calx/imagefeatures.py,sha256=rotew4LI6vtGU_7z-UYOVLv7Nq3NyyOkVpAa_3asGlU,6228
calx/kernel.py,sha256=9tlwbu9iFXDSLMCd9c6y2_F_s50yYNgdWxakKUffh_o,18798
calx/leanbridge.py,sha256=8qFHZQsS9WwY2ILVUzL-rfl-_Qqk4aQfY-q-5oJpb58,3910
calx/ledger.py,sha256=EUXHAXXdqh9XnaxI1XJdr0cAOgvfxEh2UTv7PcnTeUE,5932
calx/morphism.py,sha256=fVw9vjgnCuvWbF2BwTBah-774oRf2EmBk34CmcZPepg,3130
calx/primesieve.py,sha256=7V22lzVbZrcc1T2kM1ualErxE15NSislOhV5qgzucmc,1701
calx/quickstart.py,sha256=OZZwgQdAZSYMOyKAO3DVqupw4El3-ByYCth16uzPSxQ,5101
calx/recurrence.py,sha256=qtV_BM1d_DJwGYD5XeA1hu6de1GkRuXEsPfipsH1sWI,2530
calx/validate.py,sha256=arRU6mnce2xQN1dNTySEW_4XWNqk99Y5xGReHlNyQC4,2093
calx/methods/__init__.py,sha256=kdgvojbSE4eQyZHSXxOsC0Z5GWImZTUc35IroYhyXp8,896
calx/methods/arith_check.py,sha256=HDX9yg3SGNQUhG7D2WfJqJrPjYiYBDSxN37k2X-mSXs,10140
calx/methods/csp_carry.py,sha256=tJh7CGY67bILICdYNHFpiN_yrzOP05YnfW9toXLtigc,4533
calx/methods/parity_puzzle.py,sha256=QnVjLz7ocMTl4VSTXoLhkBofqLILpt-MI255tSfUHVY,6190
calx/methods/quote_carry.py,sha256=KUZHai2Kch023_QuVjuBwCGetipkkUYENcRmh1doFoY,4576
calx/sql/00_rehome_to_calx.sql,sha256=Wqg5FSyUTj8EiEn8NRfXRO6lfkQ-scDmgnv0OxBCbkY,1676
calx/sql/01_schema.sql,sha256=P1QItQRCeupmcA-g9arRJDWR3Sbaxiyp-d9T2c68Roo,3218
calx/sql/02_views.sql,sha256=ojZgvosPeyS6ODCCKcPdiyGnvxi3XotEUvZ9vs_ulxg,2241
calx/sql/03_generate.sql,sha256=eyQqDVcxk4bmbWYoeolOIruqRr-XW7TAtQvNHLBUgCY,8985
calx/sql/04_crt.sql,sha256=rJjz-ArZsrEAdG1v-qLGiYF2qc4drSqUfz--kREvAzo,10178
calx/sql/05_dynamics.sql,sha256=j3aGglvjEUkXc2nWMEyLsqyyPPmRY_ZD-QtZ18UbRKo,22692
calx/sql/06_oeis_match.sql,sha256=m4aJUzoTRXqjwfg8QGDXWyjCnhfKyTGagTtz2MtbzkA,8765
calx/sql/07_compositions.sql,sha256=x6EqyDvZjx3JP5myvhqEmUe9sgGcCEAXJKsZjvmH-s0,3377
calx/sql/10_curry.sql,sha256=dDQwXafPjVtqHsbPQTBRczKiMq-cUDRVQdbjD6zkqQk,5918
calx/sql/20_kan.sql,sha256=IE1quVUQs53ybQdKLK_vM7dQzazK6FjmGJqeKSI_10Q,5867
calx/sql/21_kan_functors.sql,sha256=JM04dWB-7bg9q4hT3kXMoc63gAY25dcV1yA74bNn-Ko,4002
calx/sql/22_kan_elements.sql,sha256=sNwMfyHm0hDZMUwIJFtCuyzigVSkzz7CtRAg6GbRjHs,7867
calx/sql/23_kan_monoidal.sql,sha256=wLwxGcZ6n6eyQigYFDMDfw3hprSQob4bWQhbvMtC-7w,8466
calx/sql/24_kan_natural_transformations.sql,sha256=1rkxupDJACNpt1WVgcMHX6gP-DnbQziKsvPQteuNK0Q,11782
calx/sql/25_kan_extensions.sql,sha256=HFwafphHjIwGCkq8W981q6Y4dT07wGDPkzwWGCBbsOQ,8224
calx/sql/26_kan_enrichment.sql,sha256=_T1H2VjpYVHr30jY-LnsaSk_n1JWzs_gGk1hcE4QGiA,8291
calx/sql/27_kan_profunctors.sql,sha256=8OsvfRO0dBJuj7r9InQurJffVyJ1FUFAbQ_xs-BZgtY,9709
calx/sql/28_kan_adjunctions.sql,sha256=Nr0vjMVaYpl1t2AsvXXGFzcYYdDu3IiSTjTKomjehUM,8937
calx/sql/30_kan_corpus.sql,sha256=EO9SxNMTEvpYt4it57ckY0C_rQdSwvPKMbASaJ3tIFk,2900
calx/sql/40_cert.sql,sha256=PHI1CUem5zLXST1vVb2X-dfBoNwPR-MftWQ9Pk-Y7hM,9693
calx/sql/41_cert_formal.sql,sha256=ykoI-ODl07XY8VHwjGG21d9MI3xaTudpkZOiac3c15c,3672
calx/sql/41a_cert_formal_lean.sql,sha256=wyKH0WljOTziEQ3ybFCPmkgY7vfTGIGk3aK9_RaKNBs,3792
calx/sql/42_cert_gap_homology.sql,sha256=-qLJH5Pptb6Lbb6GZx4aSipqoj0frh9hYn7t4FEuGXo,1176
calx/sql/43_kan_sequence_homology.sql,sha256=nHjT5Phts71g2FQRcO8sIVqmn5enJ6JwVMGr9PvwD1I,3272
calx/sql/44_cert_seq_homology.sql,sha256=zcGxxkZDyBWFqI6Hwvdk1JeSXKFNAlEvLjNJlUX1c_M,1425
calx/sql/45_kan_factorial_homology.sql,sha256=p1cRhfxN6AKwz_paOb7YUZNA9DhNydituo3FR3KwHsc,2944
calx/sql/46_cert_factorial_homology.sql,sha256=G3U-A_KFXDpSzsk1Of1ZHUmMFq3zRLePgipuQTFtRlU,1378
calx/sql/47_kan_combined_signature.sql,sha256=MZsKrH4ePlPnKDYlfMhYkbAi36aN6ToBsH6EkIPsM2o,2818
calx/sql/48_cert_combined.sql,sha256=fwOulrfg8Aat_bTAWTe1OU4anEXQ6tmPI_XkBc9SzEM,1603
calx/sql/49_kan_shared_prime_betti.sql,sha256=gnx1K53bZpLFj4Hx4ibQBOM97fmPn0Yn3jFiz8nzrls,2782
calx/sql/50_cert_combined_scale.sql,sha256=TabIO2hYI2sfVE1mmZq7hOGZAWhrnDU9V1ADLxOq1h0,1358
calx/sql/51_cert_shared_prime_h2.sql,sha256=3C5wcdy1eErshq0N0LJs-43OJhuGqxhJX5qH8Df_Z5g,1393
calx/sql/52_cert_developed_sequence.sql,sha256=lT3P-Ntk9XWLefAMZSmV5kfwN-95naN8K1VOYopXX2Q,1835
calx/sql/53_cert_omega_family.sql,sha256=aOXE8aP5IPYxgkIbwMlG4aJBXQzHX3BF2VtHsqyh9xI,1906
calx/sql/54_cert_omega_family_succ.sql,sha256=ULX1g4h_ywbzExIfuWSZ0FH3A5vAAPfraPnUlm5b558,2010
calx/sql/55_kan_prime_members.sql,sha256=uKP9QvhQcJP2751NTAd1dl-Xel5xkcLveC5ccv4lQrY,3450
calx/sql/56_cert_prime_members_functor.sql,sha256=tq-U7bRUv-vIW6i6icz0w2U3GgLFErUSLhocprtm63Y,2007
calx/sql/57_kan_strata_tower.sql,sha256=atFFfuhQMkFTBlrH25vnTmi1Sis2g46fcDXF0eEhnwQ,3491
calx/sql/58_cert_strata_tower.sql,sha256=wOsYOAUEma9bDo81NxcX10r1JdhvlBnl0HSvgce7qxs,1861
calx/sql/59_kan_grading.sql,sha256=JoixlMZBoqa211zppUDzZCi2LA7QbOEc2dJ19UjcZo8,3404
calx/sql/60_cert_grading.sql,sha256=Kh9i7ykzPOxqCRrCoEkdYEoxhW6WC5356zERcw0-t5U,1989
calx/sql/61_kan_identity_decomposition.sql,sha256=WtLqrIrxWzPfLng4TGjcCQCVZZQooZjaSe9nVPrjERw,2871
calx/sql/62_cert_identity_decomposition.sql,sha256=lCB6Ca9hc9tUuSaCmTIu7VPRMJ8u0fSDgcM3pdlmO6A,2103
calx/sql/63_kan_bigrading.sql,sha256=MwSvu3yqNp0bZTz9acU6Zadgoo8ew640edPjSDbse08,3789
calx/sql/64_cert_bigrading.sql,sha256=BGKV_0vTZU7gk4BVkJqD621dti9FQ-nAioA_i_F9-_s,2339
calx/sql/65_kan_chromatic.sql,sha256=9kB2pXfJTWk0_cqI46eQLKMPX8_84V37q63vAHWsplk,4318
calx/sql/66_cert_chromatic.sql,sha256=nIit-qkfT0Az2jy3p5T42O6IysG9Fri1O58_aPzh-wo,2394
calx/sql/67_kan_lithon.sql,sha256=u-H7Pw78uhk7dilKDoOG7uhRbnuU82P64QIoZYzoypE,5458
calx/sql/68_cert_lithon.sql,sha256=JASqyfrrlqPgzZmfP6yR0pktYILutLES03XI1SeYf60,2809
calx/sql/69_kan_shadow.sql,sha256=JAkixgUm-fVXRPn9UC34mSyyHgnlxUJhr66L_8jEeEI,4330
calx/sql/70_cert_shadow.sql,sha256=ogQFss2fWhRDgJEU5maUIJOECHuln0B6TOq5R5ykWr0,2776
calx/sql/71_kan_self_syzygy.sql,sha256=HdUwrwDf6P7iEpwedGKRSDasVCc055nd8D7sCQFksu4,3452
calx/sql/72_cert_self_syzygy.sql,sha256=CH_bqdgI1xf-SsMyMg33q4aEKZHX9qWm--DXO7zq6eU,2410
calx/sql/73_kan_self_shadow.sql,sha256=25PYPK3bfDVm66xLjk5YnHwZrDWLZgpS_UZYzMmZvuk,4008
calx/sql/74_cert_self_shadow.sql,sha256=Rg92NPTWZUxlRNP__VhnuK1v2batuNfZSXqB0fCFFag,2455
calx/sql/75_kan_f1_radix.sql,sha256=Qod56d9w4xBrxe-AhGSGmKIkVq25rnepj1PR_YbWCYA,4371
calx/sql/76_cert_f1_radix.sql,sha256=uEBu12bm_CM8Oql8OHwsUZOV18VuxSCdm3X4qclZ7xo,2499
calx/sql/77_kan_moonshine.sql,sha256=lrzEvn6j9SF54gJ84EORTWW7ynynAiNSuRkjWAtLcN8,4720
calx/sql/78_cert_moonshine.sql,sha256=dw4eDBxdeleRnyRzvJyRw3TnwvksGk06wjdnsUGfHk0,2838
calx/sql/79_cert_kan_engines.sql,sha256=4otJgbMk-heuAa6jPzXFdoVjwgCD-1tDQFv3zYq4O_I,4683
calx/sql/80_kan_colimit_closure.sql,sha256=gr1OjCDzUL-UCazoodOOWXKHBXkK8Cf6r6SBkZCg97s,3652
calx/sql/81_cert_colimit_closure.sql,sha256=ksbmjTn-0Z6v2dIusMHa0cpdkpgQouSJ7d5Vbs3E7cQ,3048
calx/sql/82_kan_equipment.sql,sha256=6w2o5Xb5kUrIBPFhEnNAH9p5W_ARo8J1g_Ft9Fz1n-w,4035
calx/sql/83_cert_equipment.sql,sha256=1K_eyn9XFp__OCm5MiUEnW8Jz2BcKuKEeJ1ddZf2vMk,2523
calx/sql/84_cert_witness.sql,sha256=pSZkaOswGNtW2mZw69mL197J2YuHueRIOeXtHL14xLw,3438
calx/sql/85_cert_derivation.sql,sha256=lyOGBZAzLvkbU53uhFtNb4GmJyj3e4NV2X8P4uwS8ek,2598
calx/sql/86_cert_verify.sql,sha256=U_qV5V8uzvUYEx5GuUhu81ipFgn-1Jc8jJXT85Ty0Bs,2872
calx/sql/87_cert_export_bundle.sql,sha256=XfIKwc9kuTrMluUgjA-9dEa_E8ZFTo4s6KVqLnttgCE,3738
calx/sql/88_cert_witness_carry.sql,sha256=IdCOZhxmFJ1VbFdl7FqYk1nkuhIbqSbRnfW1_xV_pYE,5403
calx/sql/89_nerode_bridge.sql,sha256=WZ9H3BKPU9PRzZuvkjGyml707jW85f0bHraozdiQqFY,2221
calx/sql/90_cert_agentic.sql,sha256=Bc7Yrp4W4OuBBVGxSI4cVDkZYBV7jJaQUyhplyN9JRc,8107
calx/sql/91_cert_image.sql,sha256=H3GUj1eFq0rtcgBH9nILNqXbZUh0fpQNvRaOi9mO55g,6652
calx/sql/92_oeis_cosine.sql,sha256=bsI1DSTn2y7i01wzHdDgPfm-EjCCQVFnqo-Epbu79vk,6956
calx/sql/93_cert_recurrence.sql,sha256=ilDCfNHjlvjjiZb0GTUJd1CtkyBqxojKraAuQJGY0bw,7391
calx/sql/94_cert_exactness.sql,sha256=8zMDzHDcORcBywgGalN-FBsw2F7CtTOAPKSi5s8aFtw,2716
calx/sql/95_cert_morphism.sql,sha256=UBj-cmL9vRuhqLHIiezy_Fl6hWy3vCdCnJNcCZpVDRQ,5547
calx/sql/96_cert_holographic.sql,sha256=siBWZB5AZv-zZUH0Wg5P8B7eGgJIH--D6c3iMQaqgXw,2866
calx/sql/97_cert_crypto.sql,sha256=-M89Pj-I5al_UnUFzUDC6dJLYeI58IlHnNgs02zOcLU,9900
calx/sql/98_kan_scott.sql,sha256=dBWC8Fmk5YWLKCx-8thnsAXA6nxv5iI3DYjTZ9yb_Os,4158
calx/sql/99_cert_vacuity.sql,sha256=ibFZKZzg7r7X8HDhwwpCLX4f4-ghzA8psCdaUTYE6lY,8722
calx/sql/examples/crt_examples.sql,sha256=1QUAD5WgXIqiUkGNbK1_EsUKQ18MHZcALBjeHuSDTHg,2770
calx/sql/examples/dynamics_examples.sql,sha256=v7hRiO7AVnMaFezQNimEgN2stph5UO-bLMCuroJjZRo,2942
calx/sql/examples/queries.sql,sha256=NZ6MlU_jOSQUtaV4irVlgEiEedHD_bjix0VyHaTcB6s,3026
nerode/__init__.py,sha256=aA-utD-EqveD_jTFauc9y_KgnbFb8tUTXiluvOXtpcs,90
nerode/adapters.py,sha256=jEJ9lL0ZvHqrO0O7Jlu5VZoR1D3YV7TkL1fQ2SnmBSE,5623
nerode/automata.py,sha256=AWoCnb2Q8PdF7lot_FPdeUvGKrGQ-CA9F8B3YQdJr6k,5951
nerode/cli.py,sha256=-dLB-jw6yd_J_YbeLCtFki-Ca7mvJeZsJoeD6zpuiig,18191
nerode/db.py,sha256=iYZmQ7_kY6CwaA46fF8PlT2xSo_PCF7y4bdu3yPHBt8,4252
nerode/precache.py,sha256=Ulc1F_Gk0tJCjXksl-4Gic8rMOpjEIz7towoB4oLMyQ,8938
nerode/sources.py,sha256=x_OV4YS4kEsqr5tDb4b2EtZvL4p4FUDAC6Qg3BRFVBI,10587
nerode/warden.py,sha256=mgHmxju75QF8Z1NbkXNAqy0hAE8FYW04DEyRMG6rrms,10065
nerode/sql/00_bootstrap.sql,sha256=ZLyz6Uepm6HwHTEEwPrhn7aSb7BD6o1Kuwt-3J-nr-4,6301
nerode/sql/01_schema.sql,sha256=h-8h6mCzbbVEnvTRprQa9YMEYUovDMs45TNRd-zALqg,10215
nerode/sql/02_run.sql,sha256=ChKVdSxyDEOEUvzHG7KykIc_L01exEO4lIIfb_8vAfw,8981
nerode/sql/03_minimize.sql,sha256=NeSupfksXRaY94srgI9VOigKDxE9ZVYGfLPQYhKYTrg,12160
nerode/sql/04_product.sql,sha256=k_PF4t_-ALG8taqThS7aB4-jTUEBVgMcCt6-lntC9DU,13594
nerode/sql/05_from_regex.sql,sha256=azZnedyOuqHayTPtrX-cYno-naNJwKlJSLuWY-mbKK0,22213
nerode/sql/10_cert.sql,sha256=v02ECLdNlCDsjyaP_O_2vyuy2aQ5EolFwvnWNAvRffU,7618
nerode/sql/11_chomsky.sql,sha256=6WPlbcqn2cKkJlxtGI0LTZdz5h3RaKySoP0aDs6u2so,19284
nerode/sql/20_calx_bridge.sql,sha256=GAqGVQeuk3dgye3gPN7JJsHD-ZDt9b8XYKUJoKSnt5E,7544
nerode/sql/30_protocol.sql,sha256=QpPJT34Igb7K4fZQbrl8rn69wvOuHJlUdfzOJL-iIjg,10160
nerode/sql/40_eigenform.sql,sha256=CEJrDs8zSba66pEnxecr6BTG5wzZUElYnXPHQ6R3Cwk,11146
nerode/sql/50_corpus.sql,sha256=XVmdB2yy0lFgc5ZrUxlOPRSbSIsRkyoKo5RYiK3v_WA,4965
nerode/sql/60_product_corpus.sql,sha256=oBl92A6qcibckvBqfLHXYCs2UeaslTiy4hzAdQiq-zQ,6742
nerode/sql/70_morphism.sql,sha256=19AEH2zc9TzYPmt9VcByQEUdX_XbbYUjmZkzkf6-bDQ,16368
nerode/sql/80_categorical.sql,sha256=cQPh4A51FMrolzh-JuZG2OWeZVWzKxAqHqwTlTuZh_8,12428
nerode/sql/90_sequence.sql,sha256=i0YrzxpWMyRFfctzeg8sxnXlbCzPAM76Qycam0EBuec,4402
nerode/sql/91_sequence_cache.sql,sha256=8qYkeLMv2FE-qzyGTWJ-S9heNbA1RhLTrKR5aOvPfNs,7229
nerode/sql/92_session_automata.sql,sha256=J9r6-_hywJx35AxU0uosk9jv8wMTz80FByCZtHIOK00,14237
nerode/sql/93_handoff.sql,sha256=PWbgzhlrnYGwkfyCr-x3S5UCMyCvvGmnIxTOm7aRdWc,12849
nerode/sql/94_open_session.sql,sha256=0uCi0EG49dpwjNN1MgnXvM7rV_hoyyF5D_9anJ4RsIM,5421
nerode/sql/95_cybernetic_automata.sql,sha256=ERVW7GnsO6CTgdxrNQSII9NOPfHMDdUp94uWUlJKGjA,21107
nerode/sql/96_dead_time_factory.sql,sha256=XGmH7wrK8JC0EYvqood2mujWJDbhgmg2e1KxQN_C14I,3439
nerode/sql/97_composite_dfa.sql,sha256=ZyVOYgGjw-FAGPAm838G4veF-sVU7ZMEAZRu0y1dI-k,10386
nerode/sql/98_topological_signature.sql,sha256=-alHrtwcgMpllFaK8RriRoyOyMjL-00n8sP2sud35kg,9413
nerode/sql/99_precacher_roundtrip_cert.sql,sha256=BPpAJs2ldsPwb2PL_fOX7nY4kV4WopQ1LorkrTZmrxg,7290
nerode/sql/A0_interval.sql,sha256=rvveAQM-iEAv6O9QX1cHj4ZEcLf4nYdRMX2nhLapy64,7835
nerode/sql/A1_eha.sql,sha256=eFpAi8pPIBYfVleitn7u3iU9nMNQ6gkW7slgiZkLt30,13453
nerode/sql/A2_wffa.sql,sha256=zN4aKHr6yzr9bAZz5c-D48yXiATH-J2-2Mar8AewIaE,11436
nerode/sql/A3_wffa_product.sql,sha256=0_oHBWIKVHGzKP13s3EpIUN-Kpgm5aBImgJ2mRmAfxw,9414
nerode/sql/A4_extremal.sql,sha256=cFvG1ycLn8hy-CGpzKO1r1wKjuOG8J_45Ab_zsPnDr4,11574
nerode/sql/A5_extremal_cert.sql,sha256=zKD21l0dMMF25qdDlHCHdXeA_jLG95gg9vEHiLcTvcM,7538
nerode/sql/A6_monotonicity.sql,sha256=CK4kV77w9MN05C2lTyzsCpSAVzPJERXbO5Sv7l82TKs,10306
nerode/sql/B0_ledger.sql,sha256=sX3lVEL6OsJrVsfNPdzWGoSP9jIY344-yo89F8DwUwU,4646
nerode/sql/B1_policy.sql,sha256=cyBgfUeDq5-c2JMrnuRh4OpPCGKjXtUNWlx4Fm-2a3k,5609
nerode/sql/B2_gate.sql,sha256=TwIXmVk9t3d3CcAoD7QY3OYhqq6r05u-_nQfYoLJllQ,4242
nerode/sql/B3_gate_cert.sql,sha256=kzJbE52TaSwyYKueknYYROjbICPQFjzOLH2Q8tqGDz4,7133
nerode/sql/B4_carry.sql,sha256=PJpgRm43T2SCH64AsWhc7XyPITborfK4JPgVGk5lIFQ,10404
nerode/sql/C0_verify.sql,sha256=wfokabBisdzT3S9O4PwSOw5BdkC9gHV2Sl5jxtOCzhg,5770
trunkit_mcp/__init__.py,sha256=J7J1eLnH4wxClyybatXBYVGDn_lP5ZDGuNcdTKl3zu0,72
trunkit_mcp/server.py,sha256=IEXzbVFsGL2jTy7yz72PYzxJAvm-2SR4PKYNVlvYhlo,29670
trunkit-0.4.0.data/data/share/trunkit/proofs/combined_signature.py,sha256=Y8NiAGX1dVDO5B7GF7ESBFzTECRABVY1fI1Xfz_E9po,8207
trunkit-0.4.0.data/data/share/trunkit/proofs/equipment.py,sha256=z7R4ZOTtprO3_FeiorUi1UibAdPjbNyr05kvuV1uHvA,10225
trunkit-0.4.0.data/data/share/trunkit/proofs/gap_homology_primes.py,sha256=a2GrTiodJ4dMAr_U27lIR5V4xZXICNroXkCLhXRgeRI,4670
trunkit-0.4.0.data/data/share/trunkit/proofs/perfect_28.py,sha256=k4Q-lYrQDIbZL4f3wYPB_UPPmbDZ50trYSujmL6kKJ4,855
trunkit-0.4.0.data/data/share/trunkit/tools/AxiomAudit.lean,sha256=1bwFBWk5KLxOLY9YEdhsFiUUIN2JpteG1KW-MX70GyQ,3289
trunkit-0.4.0.data/data/share/trunkit/tools/cert_crypto.py,sha256=blAvllugkuFpmiM0UGeCeJtKKcioMM8oiML1xNBzzVI,6865
trunkit-0.4.0.data/data/share/trunkit/tools/cert_formal.py,sha256=5HYbVZgxmiT0r5DU5sYrvipNjqmmdWngyGES7ifG4DM,19270
trunkit-0.4.0.data/data/share/trunkit/tools/compose_match.py,sha256=mBRz3ZhK3sT6giKlcAlJh6f1rr-LOS567Nf4FRbrFzc,15734
trunkit-0.4.0.data/data/share/trunkit/tools/erdos_straus.py,sha256=yDS5bBbu43fXJgtQaEEmy0UIOPo6EJalmkUN_J9WkQE,4037
trunkit-0.4.0.data/data/share/trunkit/tools/factorial_homology.py,sha256=SOeTAWVrEcOnDI5GB-9uDstQK5Ytf4KwcToT0EOVF5o,10379
trunkit-0.4.0.data/data/share/trunkit/tools/figure_extract.py,sha256=us19L4u6UEcx222ILu4-oj-3lODPNVGG2mwkmAw4eio,3955
trunkit-0.4.0.data/data/share/trunkit/tools/fraction_families.py,sha256=QYj5mMQykkxWJApCPLDcqxm2LlniLy5U1_9ssUTnBNE,20632
trunkit-0.4.0.data/data/share/trunkit/tools/general_fraction_families.py,sha256=fToyDFtpJbsugHGZc5HXAvIHOx-prRNejkaJiXb5NwU,16561
trunkit-0.4.0.data/data/share/trunkit/tools/image_features.py,sha256=qvvDPwxEB3LFbPv_cLZcXa0ORRtXe6A0axANusQxTx0,3881
trunkit-0.4.0.data/data/share/trunkit/tools/lean_check.sh,sha256=3gWBpG4Zx9DCgNn2S5Xep0GnGzYXB3CgBLU-5vLhv_k,2022
trunkit-0.4.0.data/data/share/trunkit/tools/oeis_loader.py,sha256=qifTb9ZW0cf_6JPVrOTuQczz6Yoxkg-Q12dOBdGvyMk,16373
trunkit-0.4.0.data/data/share/trunkit/tools/oeis_match.py,sha256=pCG5XxibbwNbWKVEtd785KsMSFHEv-dNNlrcgp_yHTs,20848
trunkit-0.4.0.data/data/share/trunkit/tools/prime_members_functor.py,sha256=hua_89IdhY1ryN9JUkHPFRE-DMmqLMxmYdtGizC3i7g,4620
trunkit-0.4.0.data/data/share/trunkit/tools/seq_homology.py,sha256=N4UFKJ1C83yna2xdwEJiSc3TVvQV_1yzRZY7W1LaA2k,7085
trunkit-0.4.0.data/data/share/trunkit/tools/verify_bundle.py,sha256=eqhYYBmz9R915xNtthdLofG0KtleF5b2TDccj132_wI,1809
trunkit-0.4.0.dist-info/METADATA,sha256=KcgMYVPL_haObNCQM5bh2-1Vctvmx6dO28mNY8-pk5I,18715
trunkit-0.4.0.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
trunkit-0.4.0.dist-info/entry_points.txt,sha256=YhjKpihMTgECEOPutvEebrfP4La-OYaQ0YdXr0RkSgA,105
trunkit-0.4.0.dist-info/licenses/LICENSE,sha256=LbD9VWclyIFC1E9CmQdVbadelfMmsk196r284F26304,1067
trunkit-0.4.0.dist-info/RECORD,,
