examples/01_analyze.py,sha256=C7PovqRA4CvVGCAa5MCUGSDZyA2UdtpXgX5hWM7SblA,862
examples/02_profile.py,sha256=ADvWnro7vO2kzZLnjheEE1TWiJnpoFJ6dkYa5Ygidgg,603
examples/03_assign.py,sha256=RwxsFbRDFjtJKAXJfXIob4S4i4ECza9918OsVoNfOsU,547
examples/04_dcg.py,sha256=fdFWHj7s0U3l6GZ2QfTgnoDzWP8ZvdchThZq9PPT87A,1250
examples/05_tokenize.py,sha256=mo4eBP1k4z1WQPw7RVnPmwFLpqEwXV6PrAdf674JM-0,747
examples/06_synthesize.py,sha256=sB8j_c7nH_yKjZpnV-lOg3RhtGiZndGdHzz6rOnHGvY,568
examples/07_api.py,sha256=RA_py7h3h3m3fvSb8gRNtrGg1n0nM68TpAXgMaRY6fE,2296
examples/08_kernel.py,sha256=DW8jbx8uKgiVxCqGQBoDP-z_8T90yhNuFUlDLQISWOk,1368
examples/09_kernel_search_walkthrough.py,sha256=LJz2Sm5odHwWC-IDS4Fqa7nrBHgCtMHKctx7lns2Wbk,2978
examples/10_conserve_vs_naive.py,sha256=CHNkuQ3rebZUYScxyKMvnx_3wElOUaRWBlAs8CzinsA,3508
gdk9/__init__.py,sha256=s27MwxRmXPZsPL6SFE9sjyV0XbbHFDhdhSHmTz91EIE,54
gdk9/ansi.py,sha256=f_anN1bdtFk8GMNhj825ru-UoMVFOcBLUqOS66NlHZE,1341
gdk9/cli.py,sha256=1KsQmV7Q0b_g23GHTxqZ0aExS12EFUXLkFnaI9sxr0A,52640
gdk9/crdt.py,sha256=b21li9SpyEAUzf14GrOIiajg3hGL4TYOEynUCCiyAx8,2983
gdk9/crypto.py,sha256=wsznU--5ClvPjWmmOYy0ruMicSKf3ko3LX7UPmUtq0g,3924
gdk9/dcg.py,sha256=wlryuIwrnB8EGjZg2AshSLTYrcBNbMFs6GaZPm1c-Eg,13345
gdk9/energy.py,sha256=LR1ELWH9u_i_X-NVa-_cZvLbRR6tQj8FU0P7Rm2rHmE,6619
gdk9/errors.py,sha256=f0B9XNKCjZvL9FBXMbbEjet8XWPKNTceNO84Vl3a4TE,324
gdk9/fmt.py,sha256=kt_M62CInjr7flwtrXOwuAW-iAIg6bq0aCwcA-n439g,7581
gdk9/imply.py,sha256=2rK6nulyHr2D1h-DrqeHtXYftZFU1zZR0HR4MECdOQ8,2797
gdk9/io_utils.py,sha256=ItEk9psH7xkE0FZUYc2SaSyL0wr5VzMQtNIjM84YJs8,625
gdk9/kernel_cli.py,sha256=6nOFUKF-FMl-hVImPYTFWiBgvx5uqzrKDszuThQRiUc,6347
gdk9/log.py,sha256=D4Bv6UMlJn57q7GPsfcjtGPnTDpaeXEPI3igWfESj4A,679
gdk9/optimize.py,sha256=OapqrdmpXZnfdS7YsHjvgPY7JlXTEGuNIprtysZjfdk,8903
gdk9/parser.py,sha256=UNViJo7-nBzSZjCXG1dQPaBZgdAmO7cB1slYLxCOMnw,1122
gdk9/principles.py,sha256=S_lRLiPZ8f0sfRw61VJw6QyyxmGHWqhXUKfo5aMbogs,4274
gdk9/saturate.py,sha256=BqZ2f5ccD7b6A4wvyxjbbp4zHilYGmS8ZylEujeZ_L4,2755
gdk9/state.py,sha256=cqj4AtsZmx_F5EFbFTDQ_Mn-vnrGoZbRrAJqDh0S_uM,4721
gdk9/subs.py,sha256=58DeATF_GtmtT4-l0xFaEZHtspca2saMAfkB2jEIAp4,2986
gdk9/tokenize.py,sha256=E8yUv22GRjqDWod1mhrXf9UWJc8DmKcHym8VGJXeYLo,12080
gdk9/tui.py,sha256=fp5_2UllfalHgJwO3fNWKjMWq2C5nTTo4bcC2KtakzY,3512
gdk9/utilization.py,sha256=-BfnJBKvNQTPtLt17gUy6X6pf46zba1B-7tZLkSg2pM,463
gdk9/data/ninefold.json,sha256=wdL0XTgMDZwfvih0UUpDUmFF6ZLMjQr5Lzb8NwrYPWI,669
gdk9/data/official.example.json,sha256=ckQ-pQK1rlrpRfzODC21xNgszFOpan3SOqAng_-r-R4,387
gdk9/data/official.json,sha256=Pft0d5wfQAupxu_gUJTU5F9r5CaE5dEhtQoLUsMP9bQ,3718
gdk9/data/subs.json,sha256=_VUyqKcnr_3uqDaWX36hRCIjcIsEWvYMHql8M7AQyUI,4348
gdk9/egglog_bridge/__init__.py,sha256=Ptp5_Mi5I5TVzvIYQyZnNfwgtDy8GPOwEp9_N6uDYxU,245
gdk9/egglog_bridge/dr_egglog.py,sha256=YzqMO1Hp2G4j0vlUU34JVaT2llYKN_t_Ckn3hQDIsPA,2872
gdk9/egglog_bridge/fallback.py,sha256=fdnXPk7eLJrQIj3mdSJQHck46kt1tmmFCJwOuJRIqfI,1222
gdk9/kernel/__init__.py,sha256=rTPn_2vHDuMNCoxdA7BYzBi7n6HVnLgN3XKnaRUjcbw,648
gdk9/kernel/engine.py,sha256=Esxz3Ermpg9bayZW1xm58ieUV-gGA_9--WHF1MbJ5SI,4178
gdk9/kernel/errors.py,sha256=6bWMvsPIeBWHQmQPuErf00NASqVH31KSt1rH_L0tTJ4,453
gdk9/kernel/expression.py,sha256=1MWg3r4lMsIkWd23D9nnImYgNjtTDbamwtvhp_lssxM,1219
gdk9/kernel/principle.py,sha256=GT91oMxX3pmbWwY7Q5YfjHTAcGWbjuziHdR9k5iDdSQ,1339
gdk9/kernel/proof.py,sha256=mddoma4OHVuLMi-k4t9WdZOmM1vjabc-EshIP3f7sss,429
gdk9/kernel/rule.py,sha256=pjNG6ZqegUDOxensftRcGfy0VKQG81w8aRzw107kyyk,638
gdk9/kernel/symbol.py,sha256=BKohtnSv9oy3n95AFOF09IFYS0fNg6mA4SV8vhxsy7I,506
gdk9/plugins/__init__.py,sha256=UUGfXO-jqfpFsfDQqmIwNmOLFmjRe3o1cfLciKKk6qc,275
gdk9/plugins/loader.py,sha256=gDDqQeOEK2f-9RcH8cndfFpJa-h01dLugDtZRAymCsE,12797
gdk9/plugins/registry.py,sha256=DSbGHYJw1koySDCNg24nu5gqeT4nb63GhLIJqvJgYQ0,1339
gdk9_cli-0.3.0.dist-info/licenses/LICENSE,sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8,34523
scripts/batch_analyze.py,sha256=ZiqQAwLXJAyMi0CJbgw_lniGEOElKV4bq5vrCrjrhQI,3363
scripts/export_json.py,sha256=EkbxcmLIe-Iq2Opgtk0Bnzszytf4YCb5Yrx8R2CVOHc,3854
scripts/make_zip.py,sha256=TDK_8WBiJ3qoQbv4d9Dl6YZLQF9vwqZfsvixj9YyUCQ,1148
scripts/profile_compare.py,sha256=s3hhHGQQiAo-1DE_Jl7Z0PG2dEiMhmNgRnlvxAOJRq8,5756
scripts/watch_file.py,sha256=iREy0rW0n-ZwlC6it9L4BI0paq07sxHPYp5fd9kXuYM,3841
tests/conftest.py,sha256=V2XSuDaNsgeDvC76NV9_mmoOVQ7CvZkwpuHX4bO7Gg4,606
tests/test_crypto.py,sha256=7CrWQeN1X7LDcGr61EkG4VppSFrTsqhTGfnEPEVXHJg,1041
tests/test_crypto_secure.py,sha256=8Tpw5mpoIg3q6TSpTRujncNK4bQWEfaXOsXUITZNnak,772
tests/test_dcg.py,sha256=_-5cThn67Cdr3TleYVlZAch8LKqldq3Et-TgOAxwiyk,11765
tests/test_dcg_golden.py,sha256=SfMMLRfhQnJT8Ev2TUayw0muBTUFtwJGbZUaoRJDqEw,2164
tests/test_egglog_bridge.py,sha256=tj52J_EEQZzY5hTVoj3i09sCxvJxjGOfOGoeW2CSJ9c,1284
tests/test_energy.py,sha256=qWhE3zJ5wDZvux8xJGf7DbTnwRIiWU2eJ4Sb5Iv4pV0,956
tests/test_kernel_cli_handbook.py,sha256=NvPIXhQ8lwq00Ol-u-EpYiKksHP47-7CLqdZYwSCaNM,3396
tests/test_optimize.py,sha256=mpu3qC59VisDx8yCgrGKCcB8NikvzhPVorSTLZhJB8Q,563
tests/test_plugins.py,sha256=pbMOBMMIFVpaND2z_z65FeMuCNpyxO34cps5POQqxqs,1950
tests/test_rules.py,sha256=7TAt_Zm-gmdNYuEXZexN8ZVfuoHw3hRF25n3vt7pw6E,1268
tests/test_rules_commit.py,sha256=kT-0r-8KzG-GUVLIVxFBfz8RvFrf6zPXfjDLJk3-ZSE,1140
tests/test_rules_reversibility.py,sha256=fT_TnQTTR37VCIomti16eWEcfeOQL68Vkc7y9Q5PJTA,1575
tests/test_state_crdt.py,sha256=I1UTh_6_scBa3sBWdfgOSXilem5JVZUmgPKxe401ggw,3278
tests/test_tokenize.py,sha256=5tzlC9PYx195ciAgTsM_xtvz76M8E2gm0VeYEIDWo8E,1281
tests/test_tokenize_metrics.py,sha256=xdjwBkUt4Pue-xCIFtcHpQdQaDcreFTv3-hTKufBAaA,1071
tests/experiment/__init__.py,sha256=k0I7XXLusUBp6uj1rS-MCo4v-wxCBopTTwvqeSmVRbA,46
tests/experiment/test_conserve_vs_naive.py,sha256=zV1gzg6r_PXZ4enx7b4v7yH1DDXkQY3MJnKDoEpwFIs,10668
tests/kernel/test_kernel_energy.py,sha256=7mHNIfT2_ZIywKqGXhQ0e15hFqYZUPsb4O42HSqfMzI,540
tests/kernel/test_kernel_rules.py,sha256=xCCrYT0HMMKgYMW6687u5eDEhnE01588bHVMWEAnUDk,1860
tests/kernel/test_kernel_search_bound.py,sha256=KJCnfU8yWgR5OXIw7kKLuzVQ4nioVnP57dYemCcy7GI,1361
gdk9_cli-0.3.0.dist-info/METADATA,sha256=ab2KU-7FF8qPQ-F-iRg7wlk06If6aEKdP56vpcIHb6k,11257
gdk9_cli-0.3.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
gdk9_cli-0.3.0.dist-info/entry_points.txt,sha256=HmPg9hADqCjS7bEUTCdzP_p5vlgKr2GN7E3zug5_6-w,74
gdk9_cli-0.3.0.dist-info/top_level.txt,sha256=9Ypz2gT7ugUNyWsqMpka7SoUkzNvYLlfmAwr2T0tETA,28
gdk9_cli-0.3.0.dist-info/RECORD,,
