calx/__init__.py,sha256=6Ml4J9WG75z0lixPoIIlGaWa91N2qlY3tpkbPOcl9vY,345
calx/cli.py,sha256=PmcT_B587gBioKU600Gw2u45Evj6d7Y2X3NdeJBB7SE,15339
calx/curry_adapter.py,sha256=1xdumL8F3A51d2dxqNNOKWoWrBIj4j47uKoRnwrMWgY,4725
calx/db.py,sha256=wXNCD9mUZtLSMxsWwMEF1ye2Eafsoo-yTU5Us4qSNRM,5138
calx/generate.py,sha256=SsGR982mop036N7BjOn0js7LW4xiNKA53m643kg4aWk,2119
calx/primesieve.py,sha256=7V22lzVbZrcc1T2kM1ualErxE15NSislOhV5qgzucmc,1701
calx/validate.py,sha256=arRU6mnce2xQN1dNTySEW_4XWNqk99Y5xGReHlNyQC4,2093
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/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=Dc3i9Kx0MmTnM0-F8YIz6jr8nCylWJhukFOuGCzDJzk,2827
calx/sql/56_cert_prime_members_functor.sql,sha256=tq-U7bRUv-vIW6i6icz0w2U3GgLFErUSLhocprtm63Y,2007
calx/sql/57_kan_strata_tower.sql,sha256=PHTU8B6xYSRoqHVmcfLTQ2ICcGvKApCwlbXhx1GBHr8,2889
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=NxgsGlL_haAFDyHoJpmWKJMl-ql-Io19eWeUQRRcAcQ,3401
calx/sql/64_cert_bigrading.sql,sha256=BGKV_0vTZU7gk4BVkJqD621dti9FQ-nAioA_i_F9-_s,2339
calx/sql/65_kan_chromatic.sql,sha256=0pH49-rBg6JW4xBPweq0FhdjlDvCICu7yzy23esuGmU,3611
calx/sql/66_cert_chromatic.sql,sha256=nIit-qkfT0Az2jy3p5T42O6IysG9Fri1O58_aPzh-wo,2394
calx/sql/67_kan_lithon.sql,sha256=VR89hRTh3twBKmGNdr1o1QkYA-SI1MP4p_sOdIymQyk,5321
calx/sql/68_cert_lithon.sql,sha256=JASqyfrrlqPgzZmfP6yR0pktYILutLES03XI1SeYf60,2809
calx/sql/69_kan_shadow.sql,sha256=mvnQyVHbp63dDMTwJnqYXOqLbiDuk3V-T2G8pELseaY,3353
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=6BbrdbASDBYibH_hCVL76d5jL4xTrFowVgjuWh44cr8,3708
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=JC53CzYWgOidzFcvOx66bS6x-ccjZV6tv_HEleD3V4o,2129
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=-oGHBLf-Mw0SUFOa8zat0onWMSYDEqRa3YD7DfdYAtE,5407
calx/sql/89_nerode_bridge.sql,sha256=WZ9H3BKPU9PRzZuvkjGyml707jW85f0bHraozdiQqFY,2221
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=FpMUOJUA_zorlX0Bw_w9dHT38QRilkcCyyIqRCCfCo0,16126
nerode/db.py,sha256=YNKYHDYxZY1Qr1kKvQtOd1CphOOsjqUXPg2n4H2uGYI,2540
nerode/precache.py,sha256=qlOKxQVLb-xqnQnS2_mzXD0Bjp__APR01T0u_0BBPaw,8149
nerode/sources.py,sha256=x_OV4YS4kEsqr5tDb4b2EtZvL4p4FUDAC6Qg3BRFVBI,10587
nerode/sql/00_bootstrap.sql,sha256=gHd28XUh035e5UZaUpIVoHht8-T0p-WGcglEUvc7lqg,6271
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=oYNhVULtytl1w_OcVirp_ObGSblTHTfC3TSL_PZaO3E,17042
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
trunkit-0.2.3.dist-info/METADATA,sha256=yTIJxoplfrQ0f3ndrI_GlbJI6fzif88_vCuc_DXDQac,12671
trunkit-0.2.3.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
trunkit-0.2.3.dist-info/entry_points.txt,sha256=tlwsh89_8mXya_L9Ne9BKbz8vloYAUQQmnoiPUBJsUU,67
trunkit-0.2.3.dist-info/licenses/LICENSE,sha256=LbD9VWclyIFC1E9CmQdVbadelfMmsk196r284F26304,1067
trunkit-0.2.3.dist-info/RECORD,,
