calx/__init__.py,sha256=6Ml4J9WG75z0lixPoIIlGaWa91N2qlY3tpkbPOcl9vY,345
calx/arith.py,sha256=N2kV4OBRQTGQd6iXwdZvTENFGQMI78AzXv_xVF8PwM0,15186
calx/automata_count.py,sha256=XFsrJ7Vk9xRfLyqh_PtmAfbN3LBbqGUGE-PlD2XPiIU,26517
calx/bound.py,sha256=wKSbRiMYu0jIt0IRfRky4sljB7ixzVMp5l8BoeOa8tM,12048
calx/bundle.py,sha256=l2om_Vvqoe6n5dJEQhnjvMwuV_IIkeOV_4wRwdP9bok,17202
calx/cli.py,sha256=fcaKbIbDby6KZpKDL32yYPa1dShr_L6xNIIqAiwa99M,32793
calx/comb_cli.py,sha256=fKZ-LTKrRwtr-gMKcKX0cn_8zz5xg3W8fYsPnAKjVHU,15071
calx/combinatorial.py,sha256=LkV9d2fCBYg_UsM17bPzG_HaYiemTyjGJdlDVZQM2aM,45325
calx/congruence.py,sha256=Ocro2DzStzyNnVjAgXan3Y9F7MlQSvej56mb2bZYcy0,2990
calx/curry_adapter.py,sha256=1xdumL8F3A51d2dxqNNOKWoWrBIj4j47uKoRnwrMWgY,4725
calx/db.py,sha256=GafitSgKEY4PJ4MfsyVel2OMqTerttguA3mCWKEW3dc,7175
calx/generate.py,sha256=oDb9czgxIAdNd7Yp4wteX7XO1Eaq6xXRqWxSTRpIpf8,3325
calx/goalhash.py,sha256=nLhs9X6daLzJe4a6_7oQL9-4N_yBW9YsG_z85Dy0qeY,6383
calx/holographic.py,sha256=22leABxMnJyqtTCA0_o6HSpXr3KGGanopDP5z0obr0E,2552
calx/imagefeatures.py,sha256=rotew4LI6vtGU_7z-UYOVLv7Nq3NyyOkVpAa_3asGlU,6228
calx/kernel.py,sha256=_A5SwqMQEiieXrTk51rQ9EqxFfkR7_ADRDJqcMhXw-Q,20777
calx/leanbridge.py,sha256=RUeNTPrGKFuoMl8g_t2-qaYOdbrf_cmq3e0UxM8rU8I,6284
calx/ledger.py,sha256=ejA3ebOowX5Q7fWokNpFUVeGtCZvImi1B7krsEp66wo,8509
calx/morphism.py,sha256=fVw9vjgnCuvWbF2BwTBah-774oRf2EmBk34CmcZPepg,3130
calx/numberfield.py,sha256=9DWCSB9P1ukCBpvRDBnTX7aiTEMEYYTev1S3VEjQsKI,6706
calx/primesieve.py,sha256=7V22lzVbZrcc1T2kM1ualErxE15NSislOhV5qgzucmc,1701
calx/proposition.py,sha256=3S8fru5GvCsj0o_wGc5t8n_JYJF2gKVLB-3CpjBJApA,3178
calx/quickstart.py,sha256=panEWdmY7eGvAlRu0Z1YgN_mCLjkwaUV5c8XR5w2gTo,6749
calx/recurrence.py,sha256=qtV_BM1d_DJwGYD5XeA1hu6de1GkRuXEsPfipsH1sWI,2530
calx/sat_adapter.py,sha256=75uL8CKlWPbTObbV0BfnAZvUsMPjMjOF2IPfJYbIvg0,4924
calx/smoke.py,sha256=P2RKW9zPeHIeiEU5WtBTyRkv1VoL8Z_inKfGxevcLx4,3675
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=2q1ZPsVg95e_yvKdXMMidcjfjH9Rd7nzAUqi53OT_Jo,9019
calx/methods/parity_puzzle.py,sha256=_hlJSSkq7R8wxjn-U_Sw8yfPyxDBXmaEtDEv5sG3gTA,6275
calx/methods/quote_carry.py,sha256=KUZHai2Kch023_QuVjuBwCGetipkkUYENcRmh1doFoY,4576
calx/sql/00_rehome_to_calx.sql,sha256=RFZH1JKS5sp7Jr2R3pPY8G8WmOOplBvW0LsbW8Tef2Y,1795
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=d78mdfK6bRn5OlAcCHeXrBaPHWci6O5ASbp7-cQHAcw,10519
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/100_cert_lifecycle.sql,sha256=uMvBFKP2ESVK2RvioMTKOWqJgY-3bqDDfLvcWiVSOmg,18346
calx/sql/101_cert_congruence.sql,sha256=wipA2VdWUO2-HWG4fLDj2oXnM8BGLR6scLsQ7mKHlno,4724
calx/sql/102_cert_derivation_closure.sql,sha256=NdBx3_LXN6k1fLgUYS3RAjQwiW5HYxm1UdK_1nLxhjA,9571
calx/sql/103_cert_signer_independence.sql,sha256=NL1-FTSCm7dh7X9SOUNyJ17fYejAX1F-WJfl37T_uTw,6529
calx/sql/104_cert_attestation.sql,sha256=djEgnLy194QYX2vunGn_cq2HCG6m6YQd4DncNmLDYC0,7939
calx/sql/105_cert_bound.sql,sha256=K4drhvzjgY1moZ7lsNyIA7y7We97yRh54H1LZtPaXb4,23069
calx/sql/106_cert_statement_binding.sql,sha256=DPYOSEdGHZYG-b6tRYuHVb-Ew6GjDL1h_OGui1Jut10,11303
calx/sql/107_cert_goal_hash.sql,sha256=2qVJmVpnzilr689Jubk2SNQX2vNNGgXZilJJPVt4Fzw,13723
calx/sql/108_cert_gap_metric.sql,sha256=Q7Po9mwgwXW5LjN1zQx1pYsjObgtKVGs2jZmlE80M-4,12123
calx/sql/109_cert_attempt.sql,sha256=w-QZFnVUcRrAac7Vj-Nr3wOjEpQMcrPpWtckzC-ApjA,11659
calx/sql/10_curry.sql,sha256=dDQwXafPjVtqHsbPQTBRczKiMq-cUDRVQdbjD6zkqQk,5918
calx/sql/110_comb_structure.sql,sha256=zFHnePZiEbtuIOcYwySTa7pagEewUZwwK2QtAXZWgVw,21435
calx/sql/111_comb_probes.sql,sha256=lRRzykIvqHNnC3-ALjSUPLD8ug3w0gk0Wjr_D5kMT70,35177
calx/sql/112_comb_geometry.sql,sha256=kCHqGKvZU-1DTzO22TFcpsCl5hePn0oMbY7TU8yL0lQ,29226
calx/sql/113_comb_witness.sql,sha256=qHCqHbiqwsjaIVJD44WcslJqWFlPT91m3lN9oIsC0hk,17650
calx/sql/114_prov_provenance.sql,sha256=N4UIH1DPmhCJmuBnlCAbnsSy4hxV_uMnlbXfqHKG_8s,18124
calx/sql/115_oeis_attest.sql,sha256=73GGOE85cG7xVbWi13cbTGEHe-V9MATOqAZN8EJGDRM,15330
calx/sql/116_comb_primitive_set.sql,sha256=4AOAo1sfwM3B-xHTRY7v7llo6BQROLseZHQ2XaFGGGo,11333
calx/sql/117_cert_statement_closure.sql,sha256=lJrJyY9kJjO2cueI2I1aeNItC9cuJHBRYEr3alLeehU,14412
calx/sql/118_cert_board.sql,sha256=RStrqSkcCn8oE7OQT3kiC9DDozMf4w7Na7triQII7eg,5724
calx/sql/119_cert_claim_binding.sql,sha256=wpv9KsB6J9RaVtR9x37jpm9GU85h-CE-hvrp0DrRKAo,4511
calx/sql/120_comb_certificates.sql,sha256=I8SC-V1QrKLYqZTTa0e_76QOm1HAIgEiIcaZ0UqYWgs,51574
calx/sql/121_calx_routine_search_path.sql,sha256=Gp28fzDoPAcNGY5AiBWKIpHMpAn6a8NLfBoD8iLtw_M,876
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=h78gFxgEQPE_XBJeaMwrOK822Bm8RHZ6ZP2WtA9f-k0,10518
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=VAayAttxGaSh4BTUrNaSNdb3IR38Nr-fxW8RfQWE2lw,3598
calx/sql/85_cert_derivation.sql,sha256=lyOGBZAzLvkbU53uhFtNb4GmJyj3e4NV2X8P4uwS8ek,2598
calx/sql/86_cert_verify.sql,sha256=ST_Ma5cHO7_n_7EpJ5sORsceFNgxqryytG0BDDa0gQE,3181
calx/sql/87_cert_export_bundle.sql,sha256=z6XDeJ0F1PZdk9kOaZ9GJ17jaUMOd3JaiA3nIg3Q3bo,3776
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=fRX1rDnp9ZcSaqm1uWlHX5IO5QIshMlEZzkwBkTpqiU,4533
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=20_WJhn9NKweEh6b1e408HAWW-uYOaC1XAKIFgphO3A,18208
nerode/db.py,sha256=qhqok4vBfC3PadpCF7lkwqlZrK51xbDojTobxTRwMvs,5038
nerode/porter.py,sha256=fMQJUaUPcEsn_BF1LdjhrgZdj8sY1Qy-2heRZzTBIb0,9787
nerode/precache.py,sha256=7F-3wJOMeKB318dx2LCEOB1DBiEpEiIoIIwEHP4wK_0,11598
nerode/sources.py,sha256=x_OV4YS4kEsqr5tDb4b2EtZvL4p4FUDAC6Qg3BRFVBI,10587
nerode/warden.py,sha256=zhnKIJducKwSgZcn48-z-La29gmrnl7D4GxDcO3cq80,10529
nerode/sql/00_bootstrap.sql,sha256=GFp1uv5BqzXz1WEBu1thOjLDLrbxXUQtK-yCygYZOr0,6461
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=NdGt0GqNyVv1zML2mBoezt3U1dIkQ3qAFd87aqbJ0Wk,13233
nerode/sql/94_open_session.sql,sha256=sMDwOcXULCGEX_l2jjRfv5L1Eeq0RprLhXX08-lVJQ4,7442
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=n5iqm-oGp2qZ0BePyXYbXYKCJMmLI7G8_rcAQeiPuF4,17284
nerode/sql/A5_extremal_cert.sql,sha256=ziQemXi5jO1lo81baZRJWR81ew-jsXxJLRGj54dsJdk,12851
nerode/sql/A6_monotonicity.sql,sha256=CK4kV77w9MN05C2lTyzsCpSAVzPJERXbO5Sv7l82TKs,10306
nerode/sql/B0_ledger.sql,sha256=yvPsnP7SnRY1WMuYimjGPpI0hISutpAVlvnRu_hMyV0,4887
nerode/sql/B1_policy.sql,sha256=Z-qr6vT7S6hYK6s6bKT2g8NYs-Kq4w2MEWOfd-pvcAc,6991
nerode/sql/B2_gate.sql,sha256=esqdMXFAo37w2NqGJN-pIZgQw8r0P_LZhpKxdVORBIk,4569
nerode/sql/B3_gate_cert.sql,sha256=0jzCKcI8gr04QOGW5xnCGvd1-q0G1H7mpdxbDG2-xeY,10094
nerode/sql/B4_carry.sql,sha256=RitdjVKleN0MtYBoB0uwW0h2Q7WSjsnxokkCsdneDBA,14109
nerode/sql/C0_verify.sql,sha256=sBVr2_NFGdBTgSQOr1bxfiQOFfdJxtG-OofgP6FEaZw,6773
nerode/sql/D0_count.sql,sha256=L_zqf37LaAxDw41bZx_GusRJA8PoIq4E4d2z11yxLIA,5383
nerode/sql/E0_porter.sql,sha256=ERuyiVMxLaJKs4QvHgaJtFEG26cylB46hm-c5MaEltc,16693
trunkit_mcp/__init__.py,sha256=J7J1eLnH4wxClyybatXBYVGDn_lP5ZDGuNcdTKl3zu0,72
trunkit_mcp/server.py,sha256=5psFOfx3IBH93SO_6DwJqcBAPXlid3FQfhFXCsWA0Lo,46186
trunkit-0.5.1.data/data/share/trunkit/proofs/combined_signature.py,sha256=Y8NiAGX1dVDO5B7GF7ESBFzTECRABVY1fI1Xfz_E9po,8207
trunkit-0.5.1.data/data/share/trunkit/proofs/equipment.py,sha256=k9VZ8l-G2_u41SLpGPkzMir-DIzyfJx3OIjzktrragE,10086
trunkit-0.5.1.data/data/share/trunkit/proofs/gap_homology_primes.py,sha256=a2GrTiodJ4dMAr_U27lIR5V4xZXICNroXkCLhXRgeRI,4670
trunkit-0.5.1.data/data/share/trunkit/proofs/perfect_28.py,sha256=k4Q-lYrQDIbZL4f3wYPB_UPPmbDZ50trYSujmL6kKJ4,855
trunkit-0.5.1.data/data/share/trunkit/tools/AxiomAudit.lean,sha256=h94Z-lwY_0HeEpfIo4Sq6qvgKEGBlvBLVKmuklcuDMc,11909
trunkit-0.5.1.data/data/share/trunkit/tools/cert_crypto.py,sha256=blAvllugkuFpmiM0UGeCeJtKKcioMM8oiML1xNBzzVI,6865
trunkit-0.5.1.data/data/share/trunkit/tools/cert_formal.py,sha256=Y1z77L-Isqa4WpFHmtARm1qVCkQKPV6M38SPHifQYyw,22953
trunkit-0.5.1.data/data/share/trunkit/tools/comparator_check.sh,sha256=eDf4hMb9YTiSXz0NcBLW0nk-QMoTsDeX02NQTO8vxLA,4415
trunkit-0.5.1.data/data/share/trunkit/tools/compose_match.py,sha256=qKmaVQrcQvKmWJdka5bHifJsYf8RapT9A8WzJoAts8Y,15644
trunkit-0.5.1.data/data/share/trunkit/tools/demo_bound_tier.py,sha256=nWoYiDuew1m3xCjBaRzEYueP4B2yhnnxlkPhpGMZwug,13833
trunkit-0.5.1.data/data/share/trunkit/tools/demo_erdos_1196.py,sha256=exOfH0LhlWqE3pTERgUC3qIrngEa4ViB8iBkAteXODI,12485
trunkit-0.5.1.data/data/share/trunkit/tools/erdos_straus.py,sha256=j0BSD5WJm_7m_fmOuPcSFfjVDo80g0KkQLSTOulpSUs,4009
trunkit-0.5.1.data/data/share/trunkit/tools/factorial_homology.py,sha256=SOeTAWVrEcOnDI5GB-9uDstQK5Ytf4KwcToT0EOVF5o,10379
trunkit-0.5.1.data/data/share/trunkit/tools/figure_extract.py,sha256=us19L4u6UEcx222ILu4-oj-3lODPNVGG2mwkmAw4eio,3955
trunkit-0.5.1.data/data/share/trunkit/tools/fraction_families.py,sha256=a07ogu34p6OJ1hqs6CphkXNt9coKny6MKxykbbZUrT8,20581
trunkit-0.5.1.data/data/share/trunkit/tools/general_fraction_families.py,sha256=5qd79nmb65dblqdKIrFqbneIawXQNvA6lQaaEZMo6zs,16413
trunkit-0.5.1.data/data/share/trunkit/tools/image_features.py,sha256=qvvDPwxEB3LFbPv_cLZcXa0ORRtXe6A0axANusQxTx0,3881
trunkit-0.5.1.data/data/share/trunkit/tools/lean_check.sh,sha256=AAC9Kg7KfRd8AGHVpTUKP8cKEdy2PI1GldyecEBy07A,2388
trunkit-0.5.1.data/data/share/trunkit/tools/oeis_loader.py,sha256=KhL-yOkn2L0MIL6AZcePjRJLvG2B7Cs_JcHbWeOs2SE,16332
trunkit-0.5.1.data/data/share/trunkit/tools/oeis_match.py,sha256=pCG5XxibbwNbWKVEtd785KsMSFHEv-dNNlrcgp_yHTs,20848
trunkit-0.5.1.data/data/share/trunkit/tools/prime_members_functor.py,sha256=hua_89IdhY1ryN9JUkHPFRE-DMmqLMxmYdtGizC3i7g,4620
trunkit-0.5.1.data/data/share/trunkit/tools/seq_homology.py,sha256=N4UFKJ1C83yna2xdwEJiSc3TVvQV_1yzRZY7W1LaA2k,7085
trunkit-0.5.1.data/data/share/trunkit/tools/verify_bundle.py,sha256=XSUYpBpupv1p55YXaDohnBpjcJpIqUH7oo36DhCNZGA,1819
trunkit-0.5.1.dist-info/METADATA,sha256=92wS7bTAbUQqRXVbOqLDpNUKTuieT7gk1nkmiKpPKlE,24238
trunkit-0.5.1.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
trunkit-0.5.1.dist-info/entry_points.txt,sha256=YhjKpihMTgECEOPutvEebrfP4La-OYaQ0YdXr0RkSgA,105
trunkit-0.5.1.dist-info/licenses/LICENSE,sha256=LbD9VWclyIFC1E9CmQdVbadelfMmsk196r284F26304,1067
trunkit-0.5.1.dist-info/RECORD,,
