clausal/AGENTS.md,sha256=47TxsxlCxdkKi00mNYGAh0m-v8atfSGgxNhNXh_ZqO8,7988
clausal/__init__.py,sha256=OrXar7PpDEfDS1fBNcMdmJgYW_z8BdULTb1zTESYNuo,4584
clausal/__main__.py,sha256=BhEI2Az5LuoH33YTXou4VKgfE9eCT17H1qtoEHPvXJI,229
clausal/_install_ipython.py,sha256=IdAKNzieEtdC3utXR8wb8k8WLd9OI0hXvH8XRZPIEHI,3702
clausal/_lazy_hook.py,sha256=n39ui-yKEju6LB6RsBYiGpJyaMAfR-vAaMCgb8V8PKo,5597
clausal/_py_facades.py,sha256=MYmcp5k9BXdp16Rft5C_EOAkNLmCN4ryVW83S5XUdMA,5945
clausal/_suffixes.py,sha256=C9HpT6FEF_8A86luMY6vIIe9vCur0Bl7lvQseP6gcp0,3725
clausal/_transition_constructs.py,sha256=DLr75diB-uctSkcfV6__s8iLn_Z_vyPUi4cmujhYSbo,870
clausal/atom_diagnostics.py,sha256=xH_uRpMy3YgulZUv0q_hMb0QbimWXJXJJS7YWho4SPU,5039
clausal/cli.py,sha256=HefgpyNqdYcJOQaeA7rW7uKY3eMlI-xMA-HrR5DaawA,10688
clausal/codegen.py,sha256=OdW5gxI3JzaT7qXNKEVNdLvjvEvJ8BnugXxPXe0oR5o,33862
clausal/end_module.py,sha256=GXqk-JjosZAgYpxFwYfVEnIGTaHHVF9Ag0mCMgwpy1o,12790
clausal/import_diagnostics.py,sha256=GsyfYPfQTCRFOLSU60hVFwTsphGyzyFWLuQ5dJmGEyw,41260
clausal/import_hook.py,sha256=c54Gb4un-hgHuCW_XcUTCxkf0-DiiJDY9ZFNrym-7fY,93136
clausal/lint_warnings.py,sha256=0SBwR9rbm8w1TpVk7TGtcjYdldqSFpGPnKy-RWzgVz0,17385
clausal/pl_data_imports.py,sha256=r-Xer5foy2yvE16-k2zryZQQ1vzeox5hjWmzGoJBI4o,25115
clausal/predicate_diagnostics.py,sha256=i1CFBH4X1uhvj2k_c3Sr9ayUGExOUlvm3WL02a7dXow,48337
clausal/python_bridges.py,sha256=8qfCkFEVGxq3raMB0BsW_LNhl6xZM2czKZOPA1zKMKE,49144
clausal/python_repl.py,sha256=6O4pga02mOMYvU1n6ld_vDgQ6RqO2OYP1gOgwsGiFCA,11760
clausal/reflection.py,sha256=F97AXhyX68GgvtofL5wC0eVRRJka_WK4RDSZb5Ggu6g,85121
clausal/regex.py,sha256=NTIdwZuQCNibmz_5ABJesd-IJpZGt5W58d0GYIY8P4Y,614
clausal/repl.py,sha256=TVvRTcqtgRh9eBxwcbxynLdctzQtm7niXHPbMnRZrj0,18992
clausal/seam_audit.py,sha256=PawcLpfJXMLkQF2ETFgNWILkkeVpKUhPsuRKWvekjEs,29250
clausal/syntax_diagnostics.py,sha256=JXTI7YL2FYts60FaZCX7RYIzsvrgFQVWNa__J9Y2DL8,18471
clausal/terms.py,sha256=ObhBiTyKE-zpuBj52OlB_DDCdzO519B2hvLrrhzf7co,202994
clausal/testing.py,sha256=Rp5iv5nNM9FyE3DICvQ_NtafvoA-0l0wK_Upw4V8Gbw,140085
clausal/examples/dcg_state.seam,sha256=CHdwzcX4L337F0xVtZGaWcEODabXsHWvdQMPSXew0yc,2661
clausal/examples/fibonacci.seam,sha256=qfoqB9PMMPynCVNwGeFxoZMv7REkfaslMK23_qBnLkI,736
clausal/examples/graph.seam,sha256=MA5cjFKzzHyqoKbEb2ge8tB-0wHWaTV0AlwEa4qBHRA,1472
clausal/examples/hanoi.seam,sha256=YE3rBwbTAZEX9wgzveMuDPE0C52YryyapcAFdaliqBs,1024
clausal/examples/higher_order.seam,sha256=An3YWVJ57_7Rk1efVYvO2A109VUUPApgq2yQ4gD-BOU,4241
clausal/examples/lambdas.seam,sha256=E1C1YGE2Ccgtuk_pheGQFdvtNlAD9y0PH9Q2aSnVXZg,3227
clausal/examples/map_coloring.seam,sha256=u9mfKPdX9zEkuQYJ3zxUR-Tc0NJhm8dm5BJL3N5XE1A,2822
clausal/examples/meta_predicates.seam,sha256=9J5nFG7oMBwyfMDBcTztLHpGU_Y9BTecMNfbtBIr904,4252
clausal/examples/metainterpreters.seam,sha256=wxoiiFg8-PVdVqaS1xHsgTwiFsM3O5dQiXY-8hxEzjg,9233
clausal/examples/nqueens.seam,sha256=3ftDqsfys-Y2qmzZUSTb30U6ZYo8JnonCWICMqZTr68,2587
clausal/examples/peano.seam,sha256=Elwx0EnHXdne7uNTPfkgvm82Kilgta7OcnA6RSnptxI,2055
clausal/examples/sorting.seam,sha256=NRoMNLGTYMA8fdTlmw2u7IjkERdZiV7go271zV_IeQg,2568
clausal/examples/sudoku.seam,sha256=8SEwmdnJ7JLmwcDlOL-oZuFqLKr9irNdIucFL17Llx4,5859
clausal/examples/symbolic_diff.seam,sha256=TAyQZj5eCvyKpuX0S2OwIATO_1WTMX7Cuv_1p42cmk4,1723
clausal/fmt/__init__.py,sha256=vKZps9vWJ7op1INPSTd9GIoAuAReUGQ08Jqg9P07RyM,964
clausal/fmt/cli.py,sha256=zHn_iU91JcOf1UcSdf6zQ6JzYswBVlcG8mtTHiTzth8,4128
clausal/fmt/comments.py,sha256=7SIU4qalBgTHREpRrEhfaLtnSxMhTx4gvs7V5prfBso,18901
clausal/fmt/emit.py,sha256=H6h5YqCsR9-TeCb5sjiaAUc9Y-oU39Cs3RaS3qTiUtM,17808
clausal/fmt/repair_prompt.py,sha256=eMhUtUfBmgga2CyNwFSQYCp6QWP4ZHww2czf9kdL1nw,2920
clausal/fmt/transform.py,sha256=mHIvtxVUASOEwDT67ZgZxj4b5xvfgwJ4jQKR7wc0CnQ,1703
clausal/fmt/verify.py,sha256=pn4M-c4porioqotTAXppADdK-dFIiYjA3GJaSnB_b9A,3852
clausal/library/AGENTS.md,sha256=A0N_Pt-LNhOS39AH31JbnewKyH4BENVpKjTMqhDt6-0,3629
clausal/library/__init__.py,sha256=aLj9X7xhIP9kIIFzINYB2VsKizkG7BNPwuN1WMNTBeo,2740
clausal/library/currency.seam,sha256=myrfwgU6ATr1IbBLjjbShm7ep2htY6yWOfMaz2N1W60,845
clausal/library/datetime.seam,sha256=ocG-4K4d0ACDxUZCPbYTELkHC7JVMtAnVPJ-sf7lSyk,1130
clausal/library/graphs.seam,sha256=bsFUC8hK6hRv657C-r225C47VOmebQoFK9Z-auoUDRE,1177
clausal/library/hash.seam,sha256=lRqyaZOntep7A-8L-BHtLrbXUCSqKz7aLELTTV-3YWw,490
clausal/library/hmac.seam,sha256=g2bQFp_wD1264Jiz6pmsAkvPq9YzqkF-JcOZDbzK-24,510
clausal/library/http.seam,sha256=tScUj1BbyYVTaFP06PFICi1hk744vBfjBC6QjiOZ4AM,596
clausal/library/imperial.seam,sha256=25Tf7P77pnlGVoonkPTV1k0J7VT4mASPuimE_6AJTqQ,1076
clausal/library/json.seam,sha256=V1Iu2zT-xBWt08t_uCpcMEAPlh3kxc7qHMo-pzzkkZw,644
clausal/library/logging.seam,sha256=gExCMUjgfdSbcguGk2UrzSVoC7ei83l_jJip0H-OnT4,1098
clausal/library/pbkdf2.seam,sha256=odQjEKbOM0X4qmzHM5WOJZ-YlvOZ1jY_lg9xMIzOYW4,483
clausal/library/py_csv.seam,sha256=_RzSkK1uywtj0fznj9V3k-gX7Mxctu24vd_dvH5CMXQ,728
clausal/library/py_files.seam,sha256=M9yrIvR2E4uRjqcmTB2iHHFCvOJuGRVmedDWUWz-Svo,1421
clausal/library/py_os.seam,sha256=ffNKKJUNKTF93tpM11yyk6k28CG09fOmfd6fcFA60E0,826
clausal/library/py_process.seam,sha256=sNRLT21vqKnXfFjVruwCnIc0CxkQfd6ibBNUoSAC4mY,652
clausal/library/py_random.seam,sha256=_ki8ljXPnBopB1HMlyiS_kL53ffTUehipyvXOsVEl1A,740
clausal/library/py_uuid.seam,sha256=hHRu7eqJLYTeCBorLEER1PxmYvxlY90ari9_s3-IIrA,831
clausal/library/re.seam,sha256=MVVgFlsCTvfde9WO_M6LHWfnP5cIaFjSbEDt-0E44e0,594
clausal/library/reflection.seam,sha256=ZIliZWtKpkCjoxEIYxo3rDpzSJrzlZwnQVbK9rJIsC8,869
clausal/library/sqlite.seam,sha256=TZQEb21YewPxP4AIOgkfAUyKyQqdwasBG-Vzt-RtUAU,723
clausal/library/tcp.seam,sha256=7SJO0-4SFY4Iztjy6IdW5mCENu9EM7pdIfcUKYgl8PI,648
clausal/library/units.seam,sha256=1kexrvvBa6HeZkRd34dZN5StqGp479lZe0mu8xHf1TE,2825
clausal/library/url.seam,sha256=2rqk_blT9xRM34BOvZ4UwQ5pd7SXE_HzLHcussAJa_k,534
clausal/library/countries/__init__.py,sha256=SIQsSfFvRcnP8jbntKOjxWO2UvIudQArst0zGZEOXK0,257
clausal/library/countries/afghanistan.seam,sha256=Wbf8SLWyf6_MM8xxVA1y2MEkArY25jHL7A_EMqQ-s1k,503
clausal/library/countries/albania.seam,sha256=zcYpgNggG8T8LOfwRtMqM1q4E_VSp73DlUSSVMC3eu8,475
clausal/library/countries/algeria.seam,sha256=nQUMoiu3Bu9hqDTaOCmJYuRT2b8bSvEHSkeL-LuZIVM,455
clausal/library/countries/andorra.seam,sha256=1sLSwM-dWPA_ElZHArtdpZm-iBAH_0z4cTk9wpIajzw,455
clausal/library/countries/angola.seam,sha256=R3g3Ph0GNYGy2aaaJrP0JJ-AzQmWDZGr-YzsM1anCNQ,521
clausal/library/countries/argentina.seam,sha256=flestsqxqZFcucTvrV8lEhR4tSj-digrEbCHUGmC6Lc,529
clausal/library/countries/armenia.seam,sha256=avLvYZMFX_xNALZl2VgVnrwUP8yf7G96ICQKBp_jjI8,457
clausal/library/countries/aruba.seam,sha256=D4JQYPXTA_Gl20V3Ak_KWbC7vIINf850nhIZRDYMnN8,453
clausal/library/countries/australia.seam,sha256=UPltN-dZEYmM3PRSi4B9SIpB_L-tAjnXG02UcSnNBvw,478
clausal/library/countries/austria.seam,sha256=zWp7P5pP68cRkPpl8s9K4OKQsoC_ybPGmXNUdXQ7tsA,467
clausal/library/countries/azerbaijan.seam,sha256=5DKn5KeC9ByAJWQDhFP6CcXtOqqHTmshDUwG2wQ2rCk,489
clausal/library/countries/bahamas.seam,sha256=13nKlEfiubpG3n2HumHEjU0AmyHlp5GznS1qEOzq8I4,455
clausal/library/countries/bahrain.seam,sha256=agCMJ6Q0FSjJJBg36dW9e1_zCZIyCP5uR3fgZPSLUdE,455
clausal/library/countries/bangladesh.seam,sha256=XpGooinMfDuVGpf_OOurVmvIXJyGisMl3cj-hfT-Qzw,469
clausal/library/countries/barbados.seam,sha256=irVBgVND_7Oc7gWijmu58WgZEDr0i7ryJH5X9fQEO14,459
clausal/library/countries/belarus.seam,sha256=TZYZFjO6x-h8rpb_5GsuLeXjaaqCCG8x5stOyxS655o,499
clausal/library/countries/belgium.seam,sha256=h0X6YsasZNVWqO6TZpeexaCwT7hXgLgaOQ4mJHSnanw,455
clausal/library/countries/belize.seam,sha256=StJPRMLMX3kkc_C18gxnCX4diGFcxekCRrQ021KB1gw,451
clausal/library/countries/bermuda.seam,sha256=TEtsBYsRlt2Yg0MTwwN0sYRZBbRLCiB5fLAz35vMbak,455
clausal/library/countries/bhutan.seam,sha256=yUeXGtv-yLc2sk_53x5hfaBC_siwYonH_TtgCRw25oU,461
clausal/library/countries/bolivia.seam,sha256=yAiGyBg45aN4z7edZI50X7m_WfAwTgu0do8vVm0whpM,503
clausal/library/countries/bosnia_herzegovina.seam,sha256=NMm4AGtvs8dwj1aZ1at7GVsSC1m8okAF3WVOCdZGQ7c,550
clausal/library/countries/botswana.seam,sha256=INsw5bMaiduWyJxJILDTQ2N7-lNq5vQBF8yidvEgfOA,461
clausal/library/countries/brazil.seam,sha256=HR6cd5wOBbfRpKghPnGn9z9BJAd3Ylp9X5hSIkS62t8,602
clausal/library/countries/brunei.seam,sha256=PZFxQeWn1B_ibJiieMV6Hiq3KWETBKwmSu6QuiJIozc,451
clausal/library/countries/bulgaria.seam,sha256=uTieLJx3dNgTI3GOUDEFppnmBj6WGvbpF4LmYFqkhcY,519
clausal/library/countries/burundi.seam,sha256=ykrzK68M9Gkc5iAUxqGO0awxd7kFME_QgcQrTXwMhjA,455
clausal/library/countries/cambodia.seam,sha256=nAfoG_EbCf4ZdCJ5FqceSh_Q_eXml2SvK-BXeZ02dwU,461
clausal/library/countries/canada.seam,sha256=y8YmSNY4xZIpVT29WHTSxhzw6rxv2BVqeWDk4X4w79I,451
clausal/library/countries/cape_verde.seam,sha256=SXwMy3T7ywphSBQN9Pf6xAnj-TH9P63jZFT-npnqsTo,473
clausal/library/countries/cayman_islands.seam,sha256=nUX3DfCTF_DijxFqGhwwGIXKD_Vb0x9kUZW9eNmSsZs,483
clausal/library/countries/central_african_cfa.seam,sha256=o6V0i3EtuSCVxbX8NdsgvJjZnHjtGZwollrdoGuPE1g,503
clausal/library/countries/cfp_franc.seam,sha256=7G3ityEXl0cB5pSy_RDtogq-QCbP6kRpBeAiVoSjg7Y,463
clausal/library/countries/chile.seam,sha256=iz46KLWZJkvgv3KuT8QNnFQph1wkC5QLb7gYgtZsKeA,457
clausal/library/countries/china.seam,sha256=Ma0WaFgcRtC87QI81YlZ21tc76frEs9a1B74hXRA32Y,449
clausal/library/countries/colombia.seam,sha256=HexbYSJHB6Pk2oxbKhQ5e-pl8N440m7DJKsjHwCJvME,459
clausal/library/countries/comoros.seam,sha256=dGCHWpS1XqLJ357h8Xu8OeCd3_DQ-SghdkuQ-0uKBVM,455
clausal/library/countries/congo_kinshasa.seam,sha256=efyKBy_3z1tkHiQ-PzMeRtCG5YC8IfdcBtqhjTwpQw4,483
clausal/library/countries/costa_rica.seam,sha256=HZBlpUWIn8GTLBpAaeVYbyOMWJL1FsCPsG6lFut6_tk,471
clausal/library/countries/croatia.seam,sha256=NHLP4TOMTeymROjHznbjDX3p703hRxZ0p261aVTvltI,466
clausal/library/countries/cuba.seam,sha256=5hHwGdQwcoliGCaQhLLmJIGy6q-4n21xg6wRmcMoi7o,479
clausal/library/countries/cyprus.seam,sha256=GOiZuAuk4rfzKo5mOh6kmO9QdPuFW7h_uML4H0eBN04,451
clausal/library/countries/czechia.seam,sha256=Xnl6WH7G4rUwqxpIhno5LMx6P3P9kX_Trl8ZfCOiwh0,461
clausal/library/countries/denmark.seam,sha256=xtk2H9Ytj7lvTc8OV-Tbyan5MKWwP2aNr6MAYKW0OoY,455
clausal/library/countries/djibouti.seam,sha256=QovJalDIl_j7ufoM1C6IcOnVcBma9ccSiM8BXoOiSpA,459
clausal/library/countries/dominican_republic.seam,sha256=_GhcNMAfQ98tKmNiqC9S90mKfbvc_LLC6aa00RUPfU0,499
clausal/library/countries/dutch_caribbean.seam,sha256=vm0WnRRYrqiBxT2Odz5hcf3HEVNXEJUbWbAwAFg04pg,495
clausal/library/countries/east_caribbean.seam,sha256=3ssSkmKSK5_pYG6o2uoKIXxIaxhbi5Ms-Es370tE34c,483
clausal/library/countries/ecuador.seam,sha256=21R3QbEVXUfPQpGNQWNrhTEmIBythoqhlcA5n1mI8yE,459
clausal/library/countries/egypt.seam,sha256=b7x_MKYeCxo39TWZzfVkYptikeImSy-oxKpx7FKzLCI,447
clausal/library/countries/el_salvador.seam,sha256=F6dQXWEtdTHtf82OQq2zoqGW0GciQKmR8YSFo_rITQk,471
clausal/library/countries/equatorial_guinea.seam,sha256=j2lwTIvMVe5uxFKVLAL6vQ2DCePY6yh2aAByoHGF2nc,501
clausal/library/countries/eritrea.seam,sha256=_chmYjqklI8X5s0Zxo2vkmZTEJUc7azXC_JKF5MJ_KM,459
clausal/library/countries/estonia.seam,sha256=k8gQc5pzceHlnGO7X6vbCHoqgNA68tmSjLMlWSPXhxQ,459
clausal/library/countries/eswatini.seam,sha256=yZ-Pwy08gCsUZtIEeLYpxkZkQ5mrdGidn24SHt7rd2Q,471
clausal/library/countries/ethiopia.seam,sha256=Q1jMVLzrRQuay8UdoKfZLhExABh6XT_DFlfDv2gGwiY,461
clausal/library/countries/european_union.seam,sha256=Iktr7GxI8KayMZ-uY120l6I55mPfnNiqvQDFzzf9ujo,504
clausal/library/countries/falkland_islands.seam,sha256=JSVD84qKz6VNTTMXRN-3PKwOYM5Gy7oqcOvWgTdlabI,491
clausal/library/countries/fiji.seam,sha256=YZTEuCZk86v0_BMyo4MNKXsz205SPy1ZpEBbq7wchuk,443
clausal/library/countries/finland.seam,sha256=yKYy1Ccx7n71Wg-oooUR7r5iN0dPHrJx9Fc8BczUSso,461
clausal/library/countries/france.seam,sha256=iXVzqIyD9fPZ0R-wuTPD7T3pgADUp7TjMzwFaUIfqWM,451
clausal/library/countries/gambia.seam,sha256=YpHu1UWttmG-yQsJL8vQL9CIl61kbO0de7C2BLzIM1s,457
clausal/library/countries/georgia.seam,sha256=jpQG8_ENZiqHBUtRzwaO4AcGYcl5Bi3BJwgHdfm2kEc,469
clausal/library/countries/germany.seam,sha256=4DMs3X2P-ul3rgqK5EODivgh6KTQlX6Sz2A48qUPPi0,455
clausal/library/countries/ghana.seam,sha256=bXBZxeTuBeXz_kyDvMD0rveQ29obUFEXNevuS20ar9A,470
clausal/library/countries/gibraltar.seam,sha256=ZTK-mN_BmWEQyhIRs2-3EaCe4rOmy-zLEyK30en7T0I,463
clausal/library/countries/greece.seam,sha256=OJu5vmzlT92UZ75K4oCpHzoGG70e_s6uRklIntpTTsw,459
clausal/library/countries/guatemala.seam,sha256=bb6rI3wC2IGspn0Y0M1J8Z7nnTH1Bdii3nBVxXBKO3Y,471
clausal/library/countries/guinea.seam,sha256=e5SFtRqgHLkZ3c30fCMFu71zgsWKoOkAJ_xCpo1Q5GM,462
clausal/library/countries/guinea_bissau.seam,sha256=IrLaVOR-3r0ZnTnFPQW-8UQacCb5_kLPm0tmueohSPQ,489
clausal/library/countries/guyana.seam,sha256=1Zn2Q1AxxQwDYGx3Uzk2vZT3TkR1CKsau_GcaI3DuwA,451
clausal/library/countries/haiti.seam,sha256=muocrjYOhabxzUvKw4aKop-_krM1SOSrtlFe-KAgXNo,453
clausal/library/countries/honduras.seam,sha256=tin2mDIQz3tnJOSp23a_TBzM2wdHA-e5iU9iGsGy7hw,467
clausal/library/countries/hong_kong_sar_china.seam,sha256=TGer57C4pZmMBeOVvBKbr8BjBEErarICH4wxrtZLvwU,503
clausal/library/countries/hungary.seam,sha256=8MV9Pxg4BmPlqB0yE6yJAee2LXDbFaWRx8UTuZZIL3s,461
clausal/library/countries/iceland.seam,sha256=kCh6vnmBBnrPZ6evNIdg5CjpgJCjb887UcPnzq0ow38,477
clausal/library/countries/india.seam,sha256=zl7eJiT0hWzNyaKYgmUdRMG6kAO4uyob3nZDoqVT97o,447
clausal/library/countries/indonesia.seam,sha256=U4jbLzAf6qw1wTYfdmtuinravAg5cmhgDU7a5uvQwwQ,469
clausal/library/countries/iran.seam,sha256=-rCBbt-ran2Hl4LQhGLKNdMtyiodS7qXdajV-AKa-WQ,443
clausal/library/countries/iraq.seam,sha256=CoMEerBAr7KbGLY_0-02h9Et5UXmEclI7wQP1MRvb60,443
clausal/library/countries/ireland.seam,sha256=RVe5jr0tV1CuQNlQBheiaWVj_KAMSaL6aLB8-Z57XQA,455
clausal/library/countries/israel.seam,sha256=Wk__7ikhMfOyln91Ftv_wK8Xma9zLF-Jg4rmkygjBxg,487
clausal/library/countries/italy.seam,sha256=94ZWr1_LH0vpDMcZ3lTKjbxiAj5P57JeAKINLIB6U1g,447
clausal/library/countries/jamaica.seam,sha256=FuKXg85cNl3noQs8Vk-hdw5NxKzvS3UpP_A1F6gl-YM,455
clausal/library/countries/japan.seam,sha256=uB-u4ZusmW1QYwauwbMvqZy2pcYujCOeAxKjxYuzvIk,447
clausal/library/countries/jordan.seam,sha256=Rp2ejVIPmE8KjaMptndE-nLKGPDceT8ieAvvBq2c0LQ,451
clausal/library/countries/kazakhstan.seam,sha256=U_QKRqzBAva96xI7wAhd2KFj42g7_uzahwxub_TohPQ,471
clausal/library/countries/kenya.seam,sha256=4KVnXHiO_wC5mQ05ytuu15pnXq9Tj7tlMq9DGeLUrvw,447
clausal/library/countries/kuwait.seam,sha256=B7NKKOqr41raO8z0XuZq24nHHgpxqd908P6LRBDVPUk,451
clausal/library/countries/kyrgyzstan.seam,sha256=wcX4IRsxRVMDI0wdYBOPsPz8TNwzU3PRtoC4rmb1rfw,467
clausal/library/countries/laos.seam,sha256=CD1OUzRHd45qRN_vunktkqMKl9sDTRFjE-Mk1aoQNqA,443
clausal/library/countries/latvia.seam,sha256=jawJqoXuyTZjw__FV28VxGmN4zAkIaiZnyRJl0yj5rg,463
clausal/library/countries/lebanon.seam,sha256=V2qeC-6qqf64ySRQ40b0h2P5Ej4m_bjxS5Z6A_jRyCE,455
clausal/library/countries/lesotho.seam,sha256=DMPeaSdM9WxJGcyxlubilNJPfSvu8s_cX4V6e_B34DE,457
clausal/library/countries/liberia.seam,sha256=7B2ShxNVOsF9Dqd0KB_GVN8sLHIiiDrhknn5qoqt_gs,455
clausal/library/countries/libya.seam,sha256=cZb1RVWTCCZv7IeF5vhOZpiPm7JtDiq9eumnWfRXqdI,447
clausal/library/countries/lithuania.seam,sha256=P2b0MW0PivyJjwSaQuV3cXIIeYgwDiDXgOcRnrAkJio,481
clausal/library/countries/luxembourg.seam,sha256=Qk1plYc-tZYixRmXtZoOXZvKm3S7E2wosIZz2yppyUU,467
clausal/library/countries/macao_sar_china.seam,sha256=3cT0iLwyjmjU2hx5IeTqjut7hCWaO8vPn7EJcmniSoc,493
clausal/library/countries/madagascar.seam,sha256=UHR9uVns0oXgy-qi48BIYmAHm7AuXNV_KcFhYs5lCyo,483
clausal/library/countries/malawi.seam,sha256=rcaCiunYGbbqrB18JZsQlt1xtfss_QzJvYJpNJULiQo,451
clausal/library/countries/malaysia.seam,sha256=agZkWtb3jtWm-sYl1jQDbWWUfmR3BNZP6kMttvIAC84,467
clausal/library/countries/maldives.seam,sha256=DvloxY616cn0pqncov-JBI65Ond4orgf7sM7v8eirXY,473
clausal/library/countries/mali.seam,sha256=hOPdCvjbFkGMZ-LKXioYWEUDIxJ7JGIP1BWkci4hIwM,443
clausal/library/countries/malta.seam,sha256=1N7shZGAIfhT1T3f2bFyHWp2lLrXKFaaryv0jp1iV9E,457
clausal/library/countries/mauritania.seam,sha256=R9sf677TeojXDvKfznx0IkoebuCppYf-JN9BVfud-40,499
clausal/library/countries/mauritius.seam,sha256=xsbYJcPw6AmWKlvWQBWmJmuYpdjuxvu_ljkJhCbnpT4,463
clausal/library/countries/mexico.seam,sha256=PToRLecN-7D6b7f6XrHXS4yJXFjMMtty8u8JIXB8ysE,469
clausal/library/countries/moldova.seam,sha256=NRtTSY2PiPsU5pH3aNSodw46GvpoGwVY6UlmSB_9_l8,469
clausal/library/countries/monaco.seam,sha256=F1McKQg2l-sV7BtlIph9-hb7gDEvdv7lsAM10Fy1N2w,451
clausal/library/countries/mongolia.seam,sha256=XA6syNQTybuHal9vgobYBRz-Nv91oX7rkYhC4mkwDaw,465
clausal/library/countries/morocco.seam,sha256=gMERDdqH3LvJeE24FZ_z5axFCJ7WZ4fCqElr9DV35bU,465
clausal/library/countries/mozambique.seam,sha256=X_2dbqNISYZMUdFriAYaGj4bUWX-bjG3qFJGwRMSRvY,509
clausal/library/countries/myanmar_burma.seam,sha256=va62bUYWHtYNt_MAoQ-YVY0erEcMBx-YTvBaWDyLPuY,481
clausal/library/countries/namibia.seam,sha256=MRS425NYlaZhmu1fgf029R-qKgcUM05sFRQKAYg5pCo,455
clausal/library/countries/nepal.seam,sha256=TOVVC2T_LdHOLbkw6ZQyL5jbI0AbiRIol5UlGo0357Y,447
clausal/library/countries/netherlands.seam,sha256=_QgWMQsZt-KKNiWB8a_cMAO-SZaxvS6Tiie1ro0NBd0,471
clausal/library/countries/new_zealand.seam,sha256=TaiqR2RQFk_KKkvhy8A0CG4AtE2nStpUN4GHY6zWRT8,471
clausal/library/countries/nicaragua.seam,sha256=lUcR7mbHRUaoYjhGxj1YhntXQo14dJhoeU-X9qVIJRI,495
clausal/library/countries/nigeria.seam,sha256=dE9Zwp0BMHD4fOqequXHu4cvl9FvaE7yQqd-zhPzQEE,459
clausal/library/countries/north_korea.seam,sha256=OrUz6rSWsl4oE6gTx9GCw56vQhp0j_h1ERZNpeQiNiU,471
clausal/library/countries/north_macedonia.seam,sha256=qT3YyDVQMgEbjzXE_b0RCvicvwUBJCR7rPCAov7slAQ,513
clausal/library/countries/norway.seam,sha256=xbg2iiRCFiVg08QWSdi-Mxemohz4Wg2jKpQOtChXIrc,451
clausal/library/countries/oman.seam,sha256=3V6bEEnxB084tQ9COhN-tJTmA_ilxI9AIOJH5QKrzAM,443
clausal/library/countries/pakistan.seam,sha256=0iiQtg-aErb6GrshIf3CaPaWKErS7pKLHnxE1JtS_Eg,459
clausal/library/countries/panama.seam,sha256=kjJxD4UGbWnN4yKpPrlKuUmeIxj1tm0FAggJyvgZbuU,457
clausal/library/countries/papua_new_guinea.seam,sha256=c1bxF9T0xmehAOsy-zSX8CZmHg4vGs2cmC3u7O6GZi8,493
clausal/library/countries/paraguay.seam,sha256=7aJUcvjMqkZjY0MjUE0d-NxLpeB0n_v--2vm6I7oT0I,467
clausal/library/countries/peru.seam,sha256=cY7iy9ykBTpH5TiM8ljNlurKtGU7GUpZFAN4d1tgEVA,475
clausal/library/countries/philippines.seam,sha256=w8UviN9x2o1c4wuwwob7gff5ni2i6yNlPQ4cgA7pziY,471
clausal/library/countries/poland.seam,sha256=IJhkmRSfJTsHSzgDKf-tCQHfdM3ka_VgMtR1H6NZZMA,477
clausal/library/countries/portugal.seam,sha256=rJgHDNKoqzvjcmle_80Ma6qBx-Tc66LVEqWkzDlt-30,459
clausal/library/countries/qatar.seam,sha256=RsjhKAdj3patJLbP2FVi0VBqZ4jnIvDFVAGO8rICVmM,447
clausal/library/countries/romania.seam,sha256=qAoSZKjTfz-DsrGjLDf3_02zB5EGq-IKBCkknnMhP-I,485
clausal/library/countries/russia.seam,sha256=NLMgePGua1Z6tPpRhoCSyLOTB_w4C6CwJ0Lo3APHSsc,473
clausal/library/countries/rwanda.seam,sha256=4-yMj4YtTYKSQDKHMDRe7YxLM_yDBJC3PqYeHia98T4,451
clausal/library/countries/samoa.seam,sha256=6nNI0i7m5kBee1OEStceHsWFpc_0N6i7vxjvE_xGZGs,449
clausal/library/countries/sao_tome_principe.seam,sha256=duSkEoPkvpEzvFmazswIghIkyE8GQQ1hDHcWpOlGO9U,521
clausal/library/countries/saudi_arabia.seam,sha256=2YxY3Fd_Mzrj6umxL-6Xdl9ZKMRTc0x933bDOvkCBlU,475
clausal/library/countries/serbia.seam,sha256=lUFE_swPax_knpeLd2BfObvWF77B_EUDEYqhYH-v7qw,451
clausal/library/countries/seychelles.seam,sha256=D1iSfgm-OAXH-iiEnGDVOrFA2Dus4Ha7C1wxUOHT6CQ,467
clausal/library/countries/sierra_leone.seam,sha256=huRZ0DgiaGKf75_L3xg7nBPvp6zxboRVGnHqFmR_FL4,501
clausal/library/countries/singapore.seam,sha256=COXlz6I4fH-PNAFO1QHIH7JHP3ieVrcx5PIqKjH0quM,463
clausal/library/countries/slovakia.seam,sha256=0NyM6ot2XRcevi9qZiCtasV8UzA312NUeB7ic55VjEg,459
clausal/library/countries/slovenia.seam,sha256=V1IXvV_ihlomJeT0gcxoUA-nGEoKHam0kn-_NzHr4ik,463
clausal/library/countries/solomon_islands.seam,sha256=3c1vvAs8fRvVKO0AZqxcKZeqjEQ_HN-oaX-2BRgoX_M,487
clausal/library/countries/somalia.seam,sha256=IVj4RbgkP7oUjRWXPUV0wlJXzQC-U6PLqCpd0MenO94,455
clausal/library/countries/south_africa.seam,sha256=qUHF2wR1dU0lJs1TN3XyLbcm9Ss3h2jM1yjdj5VpKpI,477
clausal/library/countries/south_korea.seam,sha256=2fo4flZlkVS63d6LRekUPqLPfHnCdBrPQP-gnZJxLtc,503
clausal/library/countries/south_sudan.seam,sha256=In3Q_hYYlZ3s-bXwtWRE35T-9e5tKPTwh_C88aUib7w,471
clausal/library/countries/spain.seam,sha256=P5T1aM8OuJf6H8kMT9zvMP08B40EgMlAkP7tz9Whnao,447
clausal/library/countries/sri_lanka.seam,sha256=DMaR3wyhmiQslYKvNlr0WM-FgLdOo0P0BMVn8CbZjGY,463
clausal/library/countries/st_helena.seam,sha256=H5qoHyzbj3ivOuu3p6WqzKORNQgjhLTb83ZVWJ4CBQg,463
clausal/library/countries/sudan.seam,sha256=aE0AZzsYat_gwbb_gDl55UBXVHQZU81s2ohccvKx58c,491
clausal/library/countries/suriname.seam,sha256=ZCcVNoFnj2IzT4KcS61VpuW3mmv5fkoGBQQeK1Hb-B0,469
clausal/library/countries/sweden.seam,sha256=NqSQ9EJeiKc2rudCKjUBsWwEaQK2U2FN9vO54wtTZCk,451
clausal/library/countries/switzerland.seam,sha256=LoQsB-keaqq7ICZYL049wxH-qkZc7CTXsjR6LJp3Qjo,471
clausal/library/countries/syria.seam,sha256=9LqFwEd6aIptl-dsIiEaG2FAN1D2_f_5g1wJGpLreUk,447
clausal/library/countries/taiwan.seam,sha256=2GdkQGM4cmD3fo7tvnmrj7vcLFxJYrS3V0m9By7E4mQ,451
clausal/library/countries/tajikistan.seam,sha256=3gfWTXB1F8KyW3vUbDmK6IZ7iESu05I-4vxAzyg9zDU,483
clausal/library/countries/tanzania.seam,sha256=KOE6Wzb0qAiQd6aaGMoq6tJNGwiI5ka15MOMEeE30DI,459
clausal/library/countries/thailand.seam,sha256=OhLxAwO-XDfLmFvybwqMmvuCf5OwUJ7WSlor9tds1Uw,474
clausal/library/countries/tonga.seam,sha256=-pb7xSbQHcSiUKzp7r71WGafgtJfLXS4dkfDLuhRFFE,453
clausal/library/countries/trinidad_tobago.seam,sha256=xxoch9rIQLWLDpErAFDH7n6T5mTgnsHeaGqLDEwX10g,487
clausal/library/countries/tunisia.seam,sha256=NEoAESY8wJhm6OBn-TqjcQrBwPmV1FJRdKMy_FPE_qs,455
clausal/library/countries/turkiye.seam,sha256=zZ8RVfV3zbdB-9qVjtkJwzJ1PGG9FHA4zcgGIXdvyAg,478
clausal/library/countries/turkmenistan.seam,sha256=5rxYPWHRPZ181g1l2UlxIvQyWxsw9vOgutB1VtnwCrc,509
clausal/library/countries/uganda.seam,sha256=mmyS88EXTbtDhni57SRwURpdrEb3An5xYn0eNbhOcHY,491
clausal/library/countries/ukraine.seam,sha256=n0NHNooP6t9rjtb2CZMyswa8oXzN8852C0XNO15AT7Q,481
clausal/library/countries/united_arab_emirates.seam,sha256=ROt4uAxHzVI8swzFFqw_Xf3kmMnlmzJf4ihYXFpasA8,507
clausal/library/countries/united_kingdom.seam,sha256=jCHkqFZs-YRV7UJXXdC_aRE_rjU6U2I2Yui0QmAxUAc,502
clausal/library/countries/united_states.seam,sha256=t5tYBQMvHQJMeqY0CS__MjimDVrZeULSaUAqUL3ZLkY,494
clausal/library/countries/uruguay.seam,sha256=HomaCoFcnCzVv8JbF4gNVHatWzN4v5xFngwbN2Y67Lw,487
clausal/library/countries/uzbekistan.seam,sha256=YNF3Ozu3aNd7UxUAvJLfL8pE4SU_YYY2KmUhsVTV5vw,467
clausal/library/countries/vanuatu.seam,sha256=7_hLtudlkKJu9A09om9zPzX0848t6WKDo57R42rVzj4,457
clausal/library/countries/venezuela.seam,sha256=kBt-Lwjqpxa_QH6RoBvGf-pMudnfvY_-lLIkJN1iGOc,519
clausal/library/countries/vietnam.seam,sha256=19zFOFodVx9DWrValT27QLd6NtnCLC4ug9RrxNWI4QU,478
clausal/library/countries/west_african_cfa.seam,sha256=xTj1_KZr0EFDylNxZ-wFucSWEiwgmiFuzpCts0ocGxA,491
clausal/library/countries/yemen.seam,sha256=eWKNqXPNYeqiK8dDdyj1HABuIlikcBr_gHdn8k_gisU,447
clausal/library/countries/zambia.seam,sha256=tGeSwSSRveHPdqru8ihloVu3j7PUcv4bADYQy0LJQ-U,487
clausal/library/countries/zimbabwe.seam,sha256=kR--brJ9qeoLhSn-cjdYc-jS6mo-CgQoEhrH7MkiGYw,542
clausal/logic/AGENTS.md,sha256=BSYI3nnfr_YJTgiOxZJLf9AEK62wHFoCzHGb3q9L7OQ,7177
clausal/logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
clausal/logic/_arithmetic_core.c,sha256=QqptLKWlVtCmN5_k05M8XCczUSsKgRum2NRGe8pE7Iw,25532
clausal/logic/_arithmetic_core.cp314-win_amd64.pyd,sha256=8flyhSgQK6RGt5pVgtMkRxoyK3D5qmDwdl0vvOhnV5E,20480
clausal/logic/_clpb_core.c,sha256=STBTK0TcRjMrKrY0PHFbV5dzde9fLMQvIpRhNtKBrq4,34172
clausal/logic/_clpb_core.cp314-win_amd64.pyd,sha256=F7-2sMJ9SHn6Yg52roTEZBubObsLx0JTpfcC7FGh0nY,22016
clausal/logic/_clpfd_core.c,sha256=ooWqauLT4AZiCcw4eUDo00OTgnS0xR6Bx08rwf3vnZs,22945
clausal/logic/_clpfd_core.cp314-win_amd64.pyd,sha256=M6jplgveyvU9S7_7CLK5yNr27D3q86IoCHz5iEEXYus,21504
clausal/logic/_clpfd_domain_ops.h,sha256=-h7T0qvYnzitJl9pHY2IkscaXzErks8bY5M40qF61mE,16108
clausal/logic/_clpfd_propagate.c,sha256=1iFfuFedfxybb5khhhTIyXSdVU2IziDNXtraCkRcFv8,133031
clausal/logic/_clpfd_propagate.cp314-win_amd64.pyd,sha256=Ibq2nZ4vjAaXGYYtYkXeo4dnNtlH6DXjlJmdnc40h98,67072
clausal/logic/_clpr_core.c,sha256=4uzYSt6jwXIXnvN7uXaF-HDrc-Bgj25vBTi6E99dBx8,15967
clausal/logic/_clpr_core.cp314-win_amd64.pyd,sha256=PVch9iqMA_aUTjnVC3Lhf1ashlG6ruOy0CbfD6MYHBk,18944
clausal/logic/_constraints_dif.c,sha256=py4sA4s2ofcoX6Hy2F7D9nNrB0xKMzhQ3BH7T5M1DMs,28830
clausal/logic/_constraints_dif.cp314-win_amd64.pyd,sha256=Xie6wplkZwugVQZojjjQZlDmV_p6Fiobn8SxQB76hho,19456
clausal/logic/_lists_core.c,sha256=OVln-LSNsaaD5xl-_G0TRGwF3wh6iOcZc55zW65EnAw,20345
clausal/logic/_lists_core.cp314-win_amd64.pyd,sha256=1H-kWkjs4XLZ50fT_QqGTFlUNnDmJsHEplwtPGtjk2s,15872
clausal/logic/_tabling_core.c,sha256=w4Gzxp3hS11nUTQZMPikhbb__PAXdGVNdBQ2Qv5LyUE,22987
clausal/logic/_tabling_core.cp314-win_amd64.pyd,sha256=9fQLZpLG35qOiMFncN-uRR0HbeM5F38G8KLlkkdeNj0,18432
clausal/logic/_trampoline_py.py,sha256=KcwVxB8fIkl0k_Q1D4pEEPf0KzPWEds9sAx8Aptdedw,18816
clausal/logic/_units_flag.py,sha256=TBZEndaAvQuZIf1GRfDCewQeDAdgn56bQIa0lq_xVMw,860
clausal/logic/atoms.py,sha256=yLxzBRFhOSMfUreabwvRwM7zC40fzPk8AbgCUzHLKZM,26860
clausal/logic/cells.py,sha256=D8ZOIlMXY1kTAEvX6hOrGwJdDdG2jJXINA4hKt5-gqw,68932
clausal/logic/clpb.py,sha256=RBb1N71OnrDQYZjCYYZM-dS6XtVV96qDCwry3wv5brI,38750
clausal/logic/clpfd.py,sha256=zDBPv8xbKYIIfbNUDZwZvzDSWhW2uSSulDa2H-Saq7Y,208997
clausal/logic/clportools.py,sha256=IkY-kE5ASItzHPF8mYvrvv1WIvpmIUpeZfxH0G8lNV4,42093
clausal/logic/clportools_graph.py,sha256=g5uufVjw_GZqNPb4857SkJteeaSXbOuejz-UqGJzNn4,9688
clausal/logic/clportools_lp.py,sha256=ZKzm0FFNZzy0kGS7BZ5WTChSN1dhXdYGqICHdPdIWdY,22112
clausal/logic/clportools_routing.py,sha256=HTqibtitADZqrDinoaky78IypokFgEOz0-wqzQGC5Dk,11995
clausal/logic/clpq.py,sha256=fPdn3JliINVJBcM4wL7KV9zgidl-fibgDe97PprQbOI,80351
clausal/logic/clpr.py,sha256=7Iavfj1NMTJynFpJHFVjg_NuVXId2YVuILuyZ9w6BUA,46023
clausal/logic/clpsat.py,sha256=jc5g-L-jbiCHJKR0is7tPIZIIbNXrfMq9cDo_QUh294,26055
clausal/logic/clpz3.py,sha256=eqdy5l1kED8yF19wJvGwuhKOnfLY7oNu-9BMdhz4iyk,94250
clausal/logic/clpz_surface.py,sha256=PBqLSay7sb7kctnA_N2ODf6n7gnTCJbiKk1HORYKE8c,37514
clausal/logic/compiler_v2.py,sha256=QeW4r__1te4Wg0LEGeuu9QRjMHg4GVyCNNJkcj5OXLA,183375
clausal/logic/constants.py,sha256=ZwjH-yCZF-Na4kmieHJlMWsf_4-xPBIW86HjXv7Kpoc,26101
clausal/logic/constraints.py,sha256=pleS1dS-NJkXxP1CWTPcQ17_wJn_vqydjhdGyaQLavk,14779
clausal/logic/coroutining.py,sha256=5N_ocNG2AJ6FjvTVGIjhmC4cy4-NU1Xq0uYmPK0Da_s,7314
clausal/logic/database.py,sha256=iqulUKVX_ziOhcYmfBwQOd586kODEA8_0tobr2cpPks,109099
clausal/logic/dialect_edge.py,sha256=X-xBWRUUQZqolwOADH4wQCfszIdX3Bq3geeMNsd5-G0,8987
clausal/logic/exact_arith.py,sha256=9YS_xup3InkqbSCKbe9y1Z9ARpjJljKUi0B-OZ1VzKM,44057
clausal/logic/exceptions.py,sha256=uNfVtSSOMsBJVKG3SyurBQurziVlKoYmOmNLKk_sD2k,32367
clausal/logic/generated_names.py,sha256=sD1V7cOzuECkZGxjqut0493TC_vUdtJJOVOYzdf7ZGg,7348
clausal/logic/goal_expansion.py,sha256=wwkfEC0a7PKvs1DmL7U9J9Tb_N2jnhvZCUmS3WtXJHY,27158
clausal/logic/meta_predicate.py,sha256=35jyk20MqvXYltvsvJ80x3M_czA5lZ50HAlvoSowHe4,15908
clausal/logic/predicate.py,sha256=xd7Xm_qdu9J_M1ajtOBR8t_atepctKLEo_EP2svVq68,137540
clausal/logic/python_terms.py,sha256=inDX-J0IUfI4q71IwXbZCCo03f6IjeKp7lfzVWGldT8,32669
clausal/logic/reif.py,sha256=zYdyTX0wZ0vw6If6X6g-P8yzS6N0AboDa5a41Jn2dl0,3829
clausal/logic/seam.py,sha256=mjo4yCZOfJaVZoLSvgjGiAh6p4M9HR6tKkMGCpQSVqk,55931
clausal/logic/solve.py,sha256=h4q2GZvb1yXDgafPqaN04AOEMKCql2A1F3qZPUqyuoc,114801
clausal/logic/specialization.py,sha256=lefsBqOtxLG6S2SM_l2dh8J6-qfv8B_Wgeb-vO0wzGU,93608
clausal/logic/stratification.py,sha256=TCWjLwE3SmGjNjoDKFMP73BtK4Jz-2OjhIq_71JuQws,10221
clausal/logic/tabling.py,sha256=5gG3zMdWKmTO-I9iH5oa0B8C99HkV4BLbfRMG-oB2Ac,75929
clausal/logic/term_expansion.py,sha256=Tqj6r1_TRb2CQLE8HTmYJHC2PxbrBK6vV0xS7EZwRzY,34039
clausal/logic/to_python.py,sha256=WBKk35-nC8WlAvYIzButBdQkmP1oY6xuJ07x9eo7PoI,22864
clausal/logic/trampoline.py,sha256=bm2UvN99mstZzMGEl8Bx_KiN3708cPsGcqQtTRQxwsA,5958
clausal/logic/translations.py,sha256=JgLZB4LgNzu6k8hkN4vioJkEQHBo6ew17urlcZmLMZY,5310
clausal/logic/units_clp.py,sha256=bndYunOJE4J6xDueNmuPlCNNhCODODO_IoMyGmaJAoc,40079
clausal/logic/units_constraint.py,sha256=BZdXz0LfUAtx1IFIkl6sTgnYMu6lnLO_RAQfsCYym1M,7536
clausal/logic/builtins/AGENTS.md,sha256=DqIleLfGE_VKKUgBs52Bf3cgRHCIHI1FmfCnWmZXtII,5263
clausal/logic/builtins/__init__.py,sha256=Z-4BKOnd6Kus6ZcudiYgJ17iGTy7CbPJuOLhhh76W5E,5008
clausal/logic/builtins/_chars_core.c,sha256=wQar-xiMOf3QQezLtgrWqo_KFHUk8N9dQPz90_huOwY,25449
clausal/logic/builtins/_chars_core.cp314-win_amd64.pyd,sha256=fPO_M0C4-41Og0ZaQ9BoWHsj0yvI53OYkkt42aZcIvE,18944
clausal/logic/builtins/_helpers.py,sha256=OyzC16krRfMzg74yVJBQ6PLvcV_-6KOLeGqSeo59VwE,44919
clausal/logic/builtins/_registry.py,sha256=tBHFF39llaEgDf7DKHsenHkQ_mt4pbQHoFsgOK1b_Zw,29552
clausal/logic/builtins/arithmetic.py,sha256=Gk52m1lDVFWjMx_qnLeFTa9L6bdWso5ZDuypjmF4w9w,28836
clausal/logic/builtins/attributes.py,sha256=soEBjqMvtQP23uhFjXJRvnmRmeTmBsmnTQoEFki6Ygg,9845
clausal/logic/builtins/call_body.py,sha256=2kQgy8CYVU0o_nPZu9z9CoqZhXQXLZwnZAQ3xr9S4-I,36396
clausal/logic/builtins/chars.py,sha256=cMBeC4hAqTWpPYXNZsvIFlEX_93rsfI6wr1NslvFZ8Q,42371
clausal/logic/builtins/clause_ops.py,sha256=vKdX5lyRF_0HAVnN0TjPJ8QEjm7QMPqoCKqwV0ZR-Lo,37306
clausal/logic/builtins/clpz_names.py,sha256=euYygqrDMcsv798IN_hKS3nQCTa9JyxY99DwqJWQbTc,33216
clausal/logic/builtins/constraints.py,sha256=1DlzPWLLVlkC4DtCYEGJKNbJ6ckDAyqCdNCYm9WqTTI,17416
clausal/logic/builtins/control.py,sha256=Pe4_85H0qcdYMrMcjnKyoXXnpLLezoycG1tCIdAM_lM,12509
clausal/logic/builtins/database_ops.py,sha256=yOep-Z68_LpXtp4e67LMggTqeMfpOEBsyWPRwDJk0E4,62412
clausal/logic/builtins/dcg.py,sha256=hyB9q8DUAcxcu7I9eUrwzGfkVIChF5u3Cgmv9ckI2Is,28774
clausal/logic/builtins/dict_set.py,sha256=rLNhBNg_d51yofGCdY5adxei_umO1eTEW74Q-eZ4FPo,29791
clausal/logic/builtins/flags.py,sha256=iQ9cnDQKVrQcZlbyw76WOMse2HbCUhqg5RdmWe_QL1E,12318
clausal/logic/builtins/higher_order.py,sha256=DdKdlQPcnqRA8lkM4zLn6FEreVOFPwcJL91sny9-79o,84621
clausal/logic/builtins/inspection.py,sha256=IoLRkICxfamGCAlKhtw52AS67sqreMmoaU7ZeIcKB4s,56564
clausal/logic/builtins/io.py,sha256=Z-faYANvO-sG9ROubV8TLjEos8haIYrCVlwvFFDmdIM,58683
clausal/logic/builtins/iso_compare.py,sha256=m72okOrXhJbi_qw0PwrwN14e0r7P2-amshRcF3Jet7U,30103
clausal/logic/builtins/keyword_ops.py,sha256=yqB97AJ3U5KYwe4kUz7Yxe-pQ1D9a4RYexHV0cVLoZo,7671
clausal/logic/builtins/lambda_lib.py,sha256=7rlza06kf6vwnOa0dU_5MkVMoeMNczm-pJPgl6pGzyw,5941
clausal/logic/builtins/lists.py,sha256=QO0GM_9hGCar6C79F53GfZiT1eIsRJ3Mync1ycp_EYQ,74771
clausal/logic/builtins/ortools_constraints.py,sha256=7kyvpFnFe7JfjEU6vpP8swAYBK8rLhB0G2KFrIbqcqA,15956
clausal/logic/builtins/pairs.py,sha256=AVoJCLbaMjh2P6shlHWGvcV3s9A8VWqflTNQoNY_FNg,11961
clausal/logic/builtins/sat_constraints.py,sha256=nGQUnXS_iCcdyj2kjzH1lCPhwDSiYW7bAXDbqvd1ooI,4132
clausal/logic/builtins/translations_builtin.py,sha256=BPZ2okpsQI5bU37q-5ZI2oGJouLOGv4tMBrGCtDQzKU,2424
clausal/logic/builtins/type_checks.py,sha256=9sLpfFk3cEiPb5SgaWC4ISCJsf3j_6FsBXICwkYKI-Y,26111
clausal/logic/builtins/z3_constraints.py,sha256=cULdsPNWyMn289r5e-pMO0-y8b_WeYXY2tUm7zfZfAQ,37247
clausal/logic/compiler/AGENTS.md,sha256=rrdWpo-xG2FBOhgBJaZ8kLz05_2L_lnMabEdGNxKn1s,3309
clausal/logic/compiler/README.md,sha256=jmGe0oMwfZYo4zvW90iFnIGR1oCXpP0s_E54Di41RtE,37931
clausal/logic/compiler/__init__.py,sha256=FkXmR0I1AREGO1eoHsAeGeJteDyOe_o9gOV67DHNMSM,2180
clausal/logic/compiler/_ast_helpers.py,sha256=pL6xYYulIQMK4X182jYQCLyHFxjSpsIEqps-Igkig_Y,15104
clausal/logic/compiler/_lower_goalop_shared.py,sha256=1FTE_Y2ki2nXbNRO2RPUxN3Dxqg48rSuIQT2oGrsXW4,36417
clausal/logic/compiler/_vars.py,sha256=6xNzq3ZJzubVrAgVNOfA-pGTKolQuP7pw_nNcOxdUyM,7292
clausal/logic/compiler/arg_index.py,sha256=rIVuluDdauWmdWR0zGfQZBeTwMnFHOropva1rXaSgF8,71096
clausal/logic/compiler/compile_ctx.py,sha256=9wvmuyxGuMjxONuJmg6dcuYmQYNdzEo0ACLYwucfBsk,13739
clausal/logic/compiler/control_constructs.py,sha256=OcxrpeKJiQ541gefBi1zych9Ov41MOL3zCR0AGjISjI,49964
clausal/logic/compiler/destructive_reuse.py,sha256=IXihU9r21I58OetHi_kTxxZ305oCHxWUpDlqXSB0bJQ,9730
clausal/logic/compiler/globals_env.py,sha256=VrsaIqlkYW6VloHr1nINeipLmJdDf7dDsK-YpKD2-iM,78522
clausal/logic/compiler/goal_shallow.py,sha256=fPlSK24Sc7Elxfc2Gfd2S2A3th5Sdo0dIoIKcSShcO8,22611
clausal/logic/compiler/goal_trampoline.py,sha256=iHLor2HGEAHRR74GCf2tjUfaOolR4bf2puOLh1dS91I,26045
clausal/logic/compiler/head_match.py,sha256=uAbxnVAvWb3ACcjY5tMJlHzwX2w--uc4HmfF9wImevs,96011
clausal/logic/compiler/invariants.py,sha256=S1_SJhR27XryX-8XwLk-b5YNLZpvYL3u_FxePZy0aOg,15360
clausal/logic/compiler/ir.py,sha256=r0QvRiDigoahvqnW9C0zhO1NuVD2MgkqBQ0tnsCsOfg,26972
clausal/logic/compiler/ite_reified.py,sha256=ohfBw38m2VwrhvNIlYU5gBYPN-REwbH4cR-LUK6hzTI,6874
clausal/logic/compiler/list_dispatch.py,sha256=ccrZ4AFXlo-8poxqrxCEtLblR7a4tnToqk2CeyfN_uo,30097
clausal/logic/compiler/lower_python_shallow.py,sha256=F3HwhTRKzwWySMjFEPe9fJhmKKE9tnSD6MWXEEg9Es0,3799
clausal/logic/compiler/lower_python_trampoline.py,sha256=gL8agNX8QEP5Za4fvOjDPeWgi9je-22X24auew6miI0,5631
clausal/logic/compiler/predicate.py,sha256=R620yuIOZqGKYieDTzDM4oJon4KNLOVQRI8B7wD57oE,126084
clausal/logic/compiler/star_segments.py,sha256=IQqZ53-9N-3-FQ3KlpvbT7ybvSMsFAgVEkK-8a0B6PY,4276
clausal/logic/compiler/strategy.py,sha256=kgJaVkWJuyxjKkOXhRL7DGnTkpEjsJmbxWvX0DlDig0,7785
clausal/logic/compiler/tabled_naf.py,sha256=cG5SciiPWBNBP44zBNsTO5YhDct94x_8ETwyVgTkO_0,4753
clausal/logic/compiler/terms_to_ast.py,sha256=ujcQUP1mdy2ZjjceT72prBlkvqvuAQ0VsIxJ3R6deEg,107354
clausal/logic/compiler/terms_to_goalop.py,sha256=bj658bqEg1Me9kn1w9GE4yLy44O2REmL6-gK-oWmmH8,48867
clausal/logic/compiler/tro.py,sha256=8NsHUqZs1vi-a1sddUd88FIHCPpGnsTL_y6euGttZEg,30420
clausal/logic/compiler/optimisations/__init__.py,sha256=ec2H8-G3SIUSTYPXhxxVkanPTSqV1-OybKW0MjmoN8g,1138
clausal/logic/compiler/optimisations/call_site.py,sha256=cipakwBVjJjBohEknmzadr2FmP9x1znsbGrdgs65zug,10377
clausal/logic/compiler/optimisations/continuation_tco.py,sha256=Ed_d59y2fQ22cvVImjLdDnHXOgRbqcyw6HkQx25LrtA,4685
clausal/logic/compiler/optimisations/destructive_reuse.py,sha256=dWPxX_XajcR3o4O_OSZEJ02mBFFUHXw1JQs5HsrQaKA,3655
clausal/logic/compiler/optimisations/tro.py,sha256=wOGqmtqYVe4KlJ2QmIfkpq5wDV0o4dzyvexu3Vf2Igg,3771
clausal/logic/runtime/__init__.py,sha256=UaQg9bO57IT8m0SaBKQ1NOu43jaGICXtT2-fzO10tH0,1337
clausal/logic/runtime/_list_unify.c,sha256=uDXwUlFICmFCc8hbHjNbSerFF6_5GjgyHDLl7bKBdOE,40040
clausal/logic/runtime/_list_unify.cp314-win_amd64.pyd,sha256=qlNmiHQJTOQhDzuwy65z0YkPGc08pr3sWAHoMQP5qLs,20992
clausal/logic/runtime/_seg_helpers.py,sha256=r7qcf5WbXMzgQyomq8R9quHkT-euadoQNNu3Lmmt-Eg,6875
clausal/logic/runtime/_trampoline.c,sha256=unXOaSFandfP0e_6ocFAaIVYJ_Fmmt5IjbzFhESS6Y0,38971
clausal/logic/runtime/_trampoline.cp314-win_amd64.pyd,sha256=5EoaQLgZJBTK6mWsOOtX9W2eoiZklXX1h7AunMjuudE,19968
clausal/logic/runtime/body_star_unify.py,sha256=LV-82fWZkqoNwY4dH5Ed0Woio94K9d6bQncxwdfaY4Q,33566
clausal/logic/runtime/const_set.py,sha256=9ezE-0jIe1ZPE_WQL_3JCPDFAakmgWtHJXQbiqcuJnU,9695
clausal/logic/runtime/dict_ops.py,sha256=ypGqDixiVO-Bi2gm5b4EPf2uOBHDj3cCbXBXZHvNyqs,5436
clausal/logic/runtime/list_unify.py,sha256=gns92yaWebbz-5aTIZdQA0EQ5UC-SoseEOV0z7RucIk,19039
clausal/logic/runtime/tramp_call.py,sha256=MHavAONydHA5c8LXtNjgiUzGzGdJ-0xeFIqY6jnSF54,2202
clausal/logic/variables/__init__.py,sha256=S4MXHHHhe0WRZQxQRrckPUv2c9GQE9qIN1N0VWZX4cg,5835
clausal/logic/variables/_ft_compat.h,sha256=H7r2_RYvjub7Qk5Lk8ouFPBupWoOP6Ly5lN7uDsF568,4967
clausal/logic/variables/_variables.c,sha256=yd8Q9620RNr0WS1M505DqDL2AaWzYdCu0yVZxRswe_8,146839
clausal/logic/variables/_variables.cp314-win_amd64.pyd,sha256=pYe9bfA2kpkldoq_YGikztpZZYR-y7X1OIWkt2H1KRY,55296
clausal/logic/variables/_variables_capi.h,sha256=7lgvjwWxRTN3336la-TjhewYSbOSfzd4-mQWNY2BtBk,5073
clausal/modules/AGENTS.md,sha256=fUYjuPuDpJ7wYH2ZyVFSf6uUXoN_fkK4FxIUioABlKw,4320
clausal/modules/__init__.py,sha256=CjckpxY0GB57fuKwFNYog4vYEzxsRqiLA5IRxNEzQK4,2581
clausal/modules/_ratio_data.py,sha256=rYhyIhW8NFjg1AIN9tjQkVoa4tCafb_gah5PrEnrLyU,1371
clausal/modules/_unit_registry.py,sha256=dfBNeCN9OHcmTEF70TDVIEeazO7PjxXjtBFWK2XEdZ8,3043
clausal/modules/currency.py,sha256=cxE8wyYmeDtc0nWwc1c7fnA8_eR9Rl5BmqjPXSgqnz8,13352
clausal/modules/graphs.py,sha256=MIMLzNxBqFrhM3X0sIeYxHNULpp6Pfm8fg34rlWTGPg,32039
clausal/modules/imperial.py,sha256=kNC9Y6tril8JtbcKhfyun2ST9xl5LiqdAx6Wld6T1ak,8923
clausal/modules/prolog.py,sha256=m0_amtpBO_zPYDAFFyrd2AC1KpAg0VXvJUlpjCGeOI0,1750
clausal/modules/reflection.py,sha256=jZRKiAr2e3espczb2v4qyotMRO6iQ3BHHoSjwBMMz6M,23396
clausal/modules/units.py,sha256=TxwmRPhYxaI8U8K46qch4nofwQRtrAq-PZCKmSUfjnU,43719
clausal/modules/countries/__init__.py,sha256=SUXdR17eDIhrPkMOKxxu9hSjyX3GJUVeU1YBUN0Y8-Y,374
clausal/modules/countries/_currency.py,sha256=b-grjEEGP9rmNKTygDWDwPo8Wnmh_TxU8vMBtND899Q,4840
clausal/modules/countries/_data.py,sha256=QBqdv5arVx1Ya0NCnxf0WP32aVWpPJAiamDs5zcAk20,49780
clausal/modules/countries/afghanistan.py,sha256=eXh2cmWkg2ibsiQbTyBJp2P-ukNo0SJwu382gHxajcI,374
clausal/modules/countries/albania.py,sha256=ad8ih3IR2Uo3OBgVoAkTGuo9OvYgXGRIOGKGASxKif4,346
clausal/modules/countries/algeria.py,sha256=SfethQmHi3opcdG9lu3JH8rn3jQB2XXvbDIT5yLqfuo,192
clausal/modules/countries/andorra.py,sha256=yydyIauVbWXmRKTCl4l_tFqm3R38iTxM5_mOaQbHIuA,219
clausal/modules/countries/angola.py,sha256=OVrYHmH2h8_kB6TncaERKNg-m0OsgL2pehKeHaTzxfE,682
clausal/modules/countries/argentina.py,sha256=qldxkfXW3HaE0xGrHp9ZmtHKKOCsKY-XUwDwJrpfhiM,782
clausal/modules/countries/armenia.py,sha256=l5aBbzllahOaWSMUoyuIFtu1CSnEmVtrSoLJD5J2CDo,191
clausal/modules/countries/aruba.py,sha256=rwwyWykIYXe_fMa8MQgErh4kcSLvcKioYe1QZcpdnaU,195
clausal/modules/countries/australia.py,sha256=KN0YSYa_k-UIZW9ObTxQ8UWB6CGxBp7Ob1ykcFBRjqY,247
clausal/modules/countries/austria.py,sha256=kAbXo3dJvstQ7chxb3K65rHAPMMSyZE6-A4dILekhms,231
clausal/modules/countries/azerbaijan.py,sha256=mWwItmNZX63MLNnGKQZJsMMraqVdOUQObq_P2J7nnE8,359
clausal/modules/countries/bahamas.py,sha256=9G0SPSqFdpXUQW0j5IKLneaeWE7N1x3fZEpF2tsgjDQ,194
clausal/modules/countries/bahrain.py,sha256=6nIOc0p5sYA1wXfIh7qNnPS13P7-KEEorZ_1uBIQlUc,191
clausal/modules/countries/bangladesh.py,sha256=097xGky9H7GptVd4YurPioCzKajgknkMy1TQVxRPmJo,194
clausal/modules/countries/barbados.py,sha256=9XHpwwI58B-wFbU6LIEhHLpFDBRwUsk4afW3EUXuPZw,195
clausal/modules/countries/belarus.py,sha256=0h8CesGOd2xFsFXgA8n2oDt5FY07BKcl8CTChhNhKPc,520
clausal/modules/countries/belgium.py,sha256=ZfPJ0jc8d0J-TelOWHJ4z7p3wsuV-oQkwpG2sk-j8Qs,217
clausal/modules/countries/belize.py,sha256=ZaUBfg4ykFnyhTmwXK58bO5owkLMzmVa4MVTuTYAz74,193
clausal/modules/countries/bermuda.py,sha256=VcK818j54r5tdRDCGfpM_PFDRsGG7UiGu2pRu5qUVwM,194
clausal/modules/countries/bhutan.py,sha256=IDnp695pRx_IDYPYy75gogkBFyDqsHHe2X_svvaW3Gc,202
clausal/modules/countries/bolivia.py,sha256=YvTjBscYhZGpyxq4IPYG2eq8w0hqyQwrjCrzy9WPdLM,512
clausal/modules/countries/bosnia_herzegovina.py,sha256=m0U0AyakPytRBDgmidWKl3MFJvRh6Ezi18kk5fh77C8,512
clausal/modules/countries/botswana.py,sha256=GcmwGcMoJ1M0ymcwFYMUi3mdnKc4tU3L718yRdQvU2Q,192
clausal/modules/countries/brazil.py,sha256=knsL9JJP5l4qYxmfmzEjheFKBLTutGTe12wJcNjsObI,1185
clausal/modules/countries/brunei.py,sha256=uTxBNgeppo8d9olcCP43l13AFY6-KQs7OvIOtNjKbjI,193
clausal/modules/countries/bulgaria.py,sha256=ypiL7FG7EcfiNV9Pi7bYstZ7MJ4QLSAHilXwbHrZHcc,648
clausal/modules/countries/burundi.py,sha256=DXQOV6DFBbS-NiunQFxJTjMkhB3T7gixcE3N7ZGAyh8,192
clausal/modules/countries/cambodia.py,sha256=M43lh7C9aDKq3k83e0UDTVlcS7ND4j3gIzbyYFL6E9Q,192
clausal/modules/countries/canada.py,sha256=3wR4ZF3sCJ1x2VEhb9n3DqggtzYW1j_3p-J9ehYtAmQ,193
clausal/modules/countries/cape_verde.py,sha256=fv7ar9yMa-NxjQtPNVTl7qeY82brU0waElU2SsbKSF4,200
clausal/modules/countries/cayman_islands.py,sha256=L5c-ltIJ1Gv4ScETajYv84EPNHkkmqTN2Q48WH50AjQ,201
clausal/modules/countries/central_african_cfa.py,sha256=FjE1qx1buWziuejTypeeKp4gwh3O0jaLTua-x9v9uVQ,205
clausal/modules/countries/cfp_franc.py,sha256=jZMS8kWh9EHvzywCeWFX5iaA-4jzEGBuXKTyimRGJBA,195
clausal/modules/countries/chile.py,sha256=P5hcvI_OGcuDd4oXUdepoQAaSlyUUKs4lfmsHuN_hlQ,322
clausal/modules/countries/china.py,sha256=U_FJ3l81O0cFg_iqNL19-_-K8tnzAs4tjRSoOZMnL88,190
clausal/modules/countries/colombia.py,sha256=FpvxquWkTtKAEpAEYouqb3rhAoZwLHNEZs3CbdxYtyg,191
clausal/modules/countries/comoros.py,sha256=DrW1IFYYxm8NFAnvNxOJHkrl4Lej-hA3KJMTeEa2saA,192
clausal/modules/countries/congo_kinshasa.py,sha256=QHYN-lykwNAejiV7ZRVP4knunAy9zEFsL3M0SBgnDW4,199
clausal/modules/countries/costa_rica.py,sha256=1i6-Nn2LcvkpV5HI7Xx3UrSRoVvxS8sfSN3mdyvwO_k,197
clausal/modules/countries/croatia.py,sha256=vZaMMgcrr6g0b6QghnQc2-DWZNDzzK2T4-m8dMoXrto,348
clausal/modules/countries/cuba.py,sha256=I7z65u4TM6mLU1-ARDqaioHd51duxNkfrzEu4USkrRM,354
clausal/modules/countries/cyprus.py,sha256=JLHrdLlP1Xv7Qs6iHWwkPrhihIM14r1lzpKgcAbnwuk,216
clausal/modules/countries/czechia.py,sha256=CngAu3HudGooSDJKwtIKiApjhEN51I2yK_8Pu5_2e0U,197
clausal/modules/countries/denmark.py,sha256=4XAc9KDCHS6dO21fF4T4c3lDupOaLkDHE3tudXOb5m4,192
clausal/modules/countries/djibouti.py,sha256=2QKLfmT3yz_iogtcO0waZ6Pf9BIK_ZraJnR7FoS-i98,193
clausal/modules/countries/dominican_republic.py,sha256=19ClbDfVn3qFqeaW79PcW_3DcwOjVfhKP3zWTPbpf-M,201
clausal/modules/countries/dutch_caribbean.py,sha256=2qFcrqjHEQmDn-obv3_BrRHLZiT5_cZnK9ylkhFEPhs,208
clausal/modules/countries/east_caribbean.py,sha256=bl1b_gT4jiD1J18lMGQFrc8vDTNGBOJskRC7tez2nm0,201
clausal/modules/countries/ecuador.py,sha256=jJaWYqNkx5UNkvkF0M2njhXZihnxP-daRBvg9hAfK8Q,219
clausal/modules/countries/egypt.py,sha256=fJQ9c_TrtmRL2Z8isImPCx8e44SCaYByKb3jwFTdFyw,190
clausal/modules/countries/el_salvador.py,sha256=Qv5h6uFSfTx6LoTTWvVGEUCO6PT7aiNW357bwYOh0Ds,221
clausal/modules/countries/equatorial_guinea.py,sha256=rLTcVf5kIHdqddyHjp7ct3uM5jgKybFyqZlBObNQ7Fo,232
clausal/modules/countries/eritrea.py,sha256=QoPlmItyDQ27rDMVjR-I5_6wB1Y0W6eZo8X9BzczFUA,194
clausal/modules/countries/estonia.py,sha256=xeP2PUKXlQVscs7P-1-FXXp38cE3qLPbMgKuAQ8l87Q,219
clausal/modules/countries/eswatini.py,sha256=wi1pl_IFYz0Ih_5T1PcW6CiHYXBDgdpsoPRwrTIZBxw,207
clausal/modules/countries/ethiopia.py,sha256=N37TpOvvDU8J-qJ_PsbJWlbSB1_Ia3mCxAfKVhEf8Ak,192
clausal/modules/countries/european_union.py,sha256=bBpiCmHA5cfthpLcgCEebDrvAS1qhzrCzbQTgUAORUw,251
clausal/modules/countries/falkland_islands.py,sha256=U-BcpYMynG9MM6gHr6OBvDmj22mCIl0sGoYkdnG1S2A,201
clausal/modules/countries/fiji.py,sha256=GEFAp_-4rxoC3ozIg3eGrD8CsRlNj4rsvG2QBt4B8Ps,191
clausal/modules/countries/finland.py,sha256=E2ZJfjaTb6o5HXGqP-zRfbZauGpbFHSQCurmlkrB-5I,222
clausal/modules/countries/france.py,sha256=mu1MSveluAdXTJio66TzhrgxYWMHR2TqZ6RbIMpAEH0,216
clausal/modules/countries/gambia.py,sha256=1UPc82c6B63eJoBBAXBml2Z3pH1CSjsPfSvyPTnjQJI,196
clausal/modules/countries/georgia.py,sha256=txXeSCLjAYKAFyLJo9h5ou1znUyfRadxsq1m4x48PE0,325
clausal/modules/countries/germany.py,sha256=2vEGb7yqsGaeAR_SogmTWL56uvK38wtsKD6dYts9MV8,215
clausal/modules/countries/ghana.py,sha256=_zXYh6tBevv1y7sHWGSHEDSnRgnp9o4HYigF3pxussM,350
clausal/modules/countries/gibraltar.py,sha256=U3MmKPnpHa_Bii2KkGTutRey6QFSq0BR-ycJ3QZbaMc,194
clausal/modules/countries/greece.py,sha256=pmx3P-qBE0QottZtbREQymvb82p2WssCgyzBv8iCMeM,224
clausal/modules/countries/guatemala.py,sha256=B-koY9n1Wt5zCqdtUBLNQQZ6UN1qu73A4oDq1DIeC0k,202
clausal/modules/countries/guinea.py,sha256=W0_QTfepB5wVmN75F7v5AuFNvUV7mhz6bx_9tZ_YTDI,322
clausal/modules/countries/guinea_bissau.py,sha256=0sqDaV_nOaXnVr84CDs1L0iblhQa9VNRT2bnhFwhpow,355
clausal/modules/countries/guyana.py,sha256=O8PSnkyK5wJi56f4Mj8kWB3wvx0KwT60h-6l0X1WE5U,193
clausal/modules/countries/haiti.py,sha256=2d1StSgop4L3OgkMODKgOHbX7H_HkCXZp5gnH_Vxnmw,195
clausal/modules/countries/honduras.py,sha256=DtwMcL_BXAyWZDrNwz04ts5p-oaE_-N4AFjnG9gsoGY,201
clausal/modules/countries/hong_kong_sar_china.py,sha256=lm6Dp3TKAyB9Swfr6rlCFg7AOkCFY7W-WmlwwGgk3cU,206
clausal/modules/countries/hungary.py,sha256=s_oTN-UnW7brIcvVs9A937AYmLkCtUAskU2r8Pd2e9k,197
clausal/modules/countries/iceland.py,sha256=-sMGCTyQI1-_W3JQQHDuGO2H6mLmmaFN-8LOXYaRTyY,356
clausal/modules/countries/india.py,sha256=RCzeOmA5fysAp9xppUL-di0ROxIIm5OHq5-NNi5wxpg,190
clausal/modules/countries/indonesia.py,sha256=KZmPxKjeEZVblooDgx88Cw03HgCzw7jyZI-P7H9fBnQ,199
clausal/modules/countries/iran.py,sha256=o5AS62O-HZvE104csvON5BSjFnVGyA_HXPCUBueuOfs,187
clausal/modules/countries/iraq.py,sha256=TXlssYDZp_Ou0OtyrkYeV9N0p9bDqONvPNRc7cmtPWA,189
clausal/modules/countries/ireland.py,sha256=icXEl1bP_Q4zK5-qR51Pp5ch9DyDoTGo_BgkwXT7zkA,217
clausal/modules/countries/israel.py,sha256=fcc5Dbt_kM7AoKaWx0388AIsvjmK5ZMI5E4niIL3qI8,495
clausal/modules/countries/italy.py,sha256=-eNTl5Yt8e533e3Soq2NfJKEH9FaB69sE_INMQ65M54,213
clausal/modules/countries/jamaica.py,sha256=4kn1E8KPSWXlRGJa6mJuNTAXFJ7vD46kzJMD4I61jYU,194
clausal/modules/countries/japan.py,sha256=5UfM0CyW2qHHmMY45fbWELzMJ-OSgkY3N3A_FNkSRz4,185
clausal/modules/countries/jordan.py,sha256=oeJWkuculqIcpL5ctUdGtxfNO1d78Zw3fNvr3qejop8,191
clausal/modules/countries/kazakhstan.py,sha256=OYaJxW5u01U2NtlSiHHcey9o_cKv2WlxdpkMv2-r_GU,197
clausal/modules/countries/kenya.py,sha256=le_tiCPfbGaWvo2NHhwzQrlyeZTQJARf8S-IaCYw2tY,196
clausal/modules/countries/kuwait.py,sha256=Lcjdri7uXWiNxMxynYv9dtgkq3V60Jx04UMyAn-rTIw,191
clausal/modules/countries/kyrgyzstan.py,sha256=gnOgtRsjsBu4f3NDCdnv6jO74fQWZnZBGJGb-405RTU,191
clausal/modules/countries/laos.py,sha256=04L3gw4hv4H5DSqQeRBq_p6Mh_id6S0QRW0mQ0rQG_k,185
clausal/modules/countries/latvia.py,sha256=YoHaacONTVezsndhTaW9mZhIPt7aAa9PxE6VrWCBGOs,347
clausal/modules/countries/lebanon.py,sha256=yaAdMA0JV26Onc5mLQMYpiGM8CI3zgXS8Rp-GoziBtQ,192
clausal/modules/countries/lesotho.py,sha256=vw3ZN4ybM8sCrcs6y87-GdvLPKpQeo1naSOJyED92Sc,191
clausal/modules/countries/liberia.py,sha256=sT42SRMFBMC0aYaKyhn0DInHLNya6huleMPdkLYVQEE,194
clausal/modules/countries/libya.py,sha256=F0Vfg0fgV6BqWNUUnjyX6VZT2Oau5TlLOfD3xnyHyYk,190
clausal/modules/countries/lithuania.py,sha256=SmP8Sk3swIIGHrLFEsyQG4SvHhrT3xRIY5Qu_n2Nibs,361
clausal/modules/countries/luxembourg.py,sha256=Yzth4odPz-XtyE52fJo2yby9VjlNxoIZBbD1wugiC-c,220
clausal/modules/countries/macao_sar_china.py,sha256=w9lglaDmDk8TVATVHWn31fzbtdfXW63lMQMWuR7GJ7c,205
clausal/modules/countries/madagascar.py,sha256=74V-g2iks3vSY4d8jJ66Eqp3gAwiVQbEX8bte5-DZ3s,332
clausal/modules/countries/malawi.py,sha256=Qu8HtWdhkpRMO9jTNZg7aOpmUdsizsFM4P99PursMyI,193
clausal/modules/countries/malaysia.py,sha256=T5P0w6hqgxOdqqz7pt8vEFuvT-avDTnwEGdqZQMkzqE,201
clausal/modules/countries/maldives.py,sha256=ulkYdpLrizPuEJcjThplmpURxOaSza157p9fLcpsAyY,333
clausal/modules/countries/mali.py,sha256=zYRzStAhgWP4xm9SesdEscTRigrKk_IxTAPBd6541iU,214
clausal/modules/countries/malta.py,sha256=kDBDZDoyF3yQEqmNqBKkxLVD5xwnF1kvd-dL6PgTfNA,345
clausal/modules/countries/mauritania.py,sha256=AjlczQG8OkTjyKpMnjVwn2Vopgd7FYAV0Nfsjj86v5g,373
clausal/modules/countries/mauritius.py,sha256=gOc354y9yNfd_7CEM3OOyouAVW-FDNB-98VU3ToLLoA,194
clausal/modules/countries/mexico.py,sha256=GPkJE5nmfTyI2ofNrKfBCNuE4AmlKVCUDKb2noe1-74,341
clausal/modules/countries/moldova.py,sha256=dHLEUP42UCFdE0ufvS_xgOLO5kekKv0MlvQQ8Gz8u4c,322
clausal/modules/countries/monaco.py,sha256=DvIUPuFFfjEld5zfeVspCpvsrxJPcunTtsCrHjW58eM,216
clausal/modules/countries/mongolia.py,sha256=F9TpDUlPYF2IZK0z6RxccKj_rbvSKA1xflNkibXDdhA,198
clausal/modules/countries/morocco.py,sha256=tI5CMrcwascBhu5wp3BaH9WzFBG64vJ6rw2cjum4_Ok,326
clausal/modules/countries/mozambique.py,sha256=AV9ryIe3CgkTpfHKm8bdQ1-bzRJesqSwCbVGQB4_v20,507
clausal/modules/countries/myanmar_burma.py,sha256=DHORGIe9sel9I0rLnaPSNZsqn4yoCc-fy4mUwdGS_hc,197
clausal/modules/countries/namibia.py,sha256=i0uCJcw7fgdo_LuPovFquTOwKX0JFngpELzsSRyB5Bo,194
clausal/modules/countries/nepal.py,sha256=Jj2BAuyHGMJEBxfOjnOzv_TaYPUNLe3_ojCrp5KNX_Y,190
clausal/modules/countries/netherlands.py,sha256=mN1z1rLUGxFyJz_rgmjvqs5yfD3ps5YpAmJV7eizH0k,225
clausal/modules/countries/new_zealand.py,sha256=iBwdBOe8nV7z7ioQwHLCJAXh4iweB2rt9ses0hvHndk,198
clausal/modules/countries/nicaragua.py,sha256=Txk6P5KUA0nZq_gDKOY5-lea4Bkq_ifqauB5DBfy71I,372
clausal/modules/countries/nigeria.py,sha256=pH72Zd8ak0qHOkJjAhUo_sEXotNWkhGvWqUNJlCniVQ,194
clausal/modules/countries/north_korea.py,sha256=rxPxX7oNYTzyltxdwvj1NWWK246N9qxfoBGm1PCAEw0,192
clausal/modules/countries/north_macedonia.py,sha256=FM73FWVrD1ZTvt_MyW7a7pTS6hzYXXD4lBb2WVGFiOQ,366
clausal/modules/countries/norway.py,sha256=HNlNhlEF7YnZv1CGfTRJVLKNrOeHiGVmelW1aa5PudU,191
clausal/modules/countries/oman.py,sha256=u_sV_goB_3RFkG-C6N8hE6VyCD-XRGr57lC4-4HP_qY,187
clausal/modules/countries/pakistan.py,sha256=CEcdMDaStD1bZ_9EiAvUq4R9x7JUsZPLkRP7BhajvBI,193
clausal/modules/countries/panama.py,sha256=ph9MgoseS3GUOiI3-tloZ62TT6XY2psvX5v3NAOqyiE,196
clausal/modules/countries/papua_new_guinea.py,sha256=ciEuUcn7ztQ44tq7bFbfEBKJvbJ34zA66ZQz_5vs7ac,200
clausal/modules/countries/paraguay.py,sha256=cK-bxlXiKqPeDsHWOTZfmd9A0JPrE-prwE9YtmMhD6s,201
clausal/modules/countries/peru.py,sha256=XZ1-R71hINBwbiWDVSxmlfwsEOUkBLyGf9lCrIiTq3U,474
clausal/modules/countries/philippines.py,sha256=Q3Bn3FhipGH42z61hqpVMwFzyEgq4mQywDNz1f6hbO4,194
clausal/modules/countries/poland.py,sha256=svJOxBXX0ZoUOFdL1coLjJz0jEo8KWDulRu6Ev6h0u0,357
clausal/modules/countries/portugal.py,sha256=WGTty7IoWnt_J-_gpksEwBiRzXVI7Vzn_jBahcLKtCY,220
clausal/modules/countries/qatar.py,sha256=02Y91UymGaru2KOEFDijs5JxADmmtn7qIkTQQjKF8z0,190
clausal/modules/countries/romania.py,sha256=Q8-0X-TOLn5Q37sLHcIItaUXAL0nWbR6BZ2ruF-2VCg,346
clausal/modules/countries/russia.py,sha256=JRr0D8ey_dCxoH7mFw8LLDczdIxIAqCo_Xc4JxvgGVo,355
clausal/modules/countries/rwanda.py,sha256=DTGWEwgkMWSbJtpX0uPMRp92c57qAxnwgr6UHF4KkLM,191
clausal/modules/countries/samoa.py,sha256=YHEkALd6JD5VPmMh-Ez2Lrqp0e-Fix11z1wYUi7OExA,189
clausal/modules/countries/sao_tome_principe.py,sha256=uF_0guqsfjEFeTfW7mqB6fSTDfChXOB3QPlOFdx9neY,368
clausal/modules/countries/saudi_arabia.py,sha256=bM_9sSFOVmriQbxEZtE80_lsekiWPC8S0nXgFgb3YNw,197
clausal/modules/countries/serbia.py,sha256=B223lJpQ7Gr2v6osXDr0OejamI0nhrfMkXKc2FjCExk,191
clausal/modules/countries/seychelles.py,sha256=xO9xxgmKSLeIKGFFGI02K_ogAT8OyLYCFaVAFNDsAsc,195
clausal/modules/countries/sierra_leone.py,sha256=2jIxewN8rVAuEaN_898blIlpwQjQSe2v69H2H0knMSQ,363
clausal/modules/countries/singapore.py,sha256=g8Rj2bALVIcIuNTXia-WDofgTKSD9YefDttIxBWZHUA,196
clausal/modules/countries/slovakia.py,sha256=zUoNDhRSxXTpqCiRlcnNEWIL0zf57koXZOx2HZZk9JY,220
clausal/modules/countries/slovenia.py,sha256=TFXmJ7qThPgqyNZAttJrSKdtRPihncmQX4ff9e5l-xg,220
clausal/modules/countries/solomon_islands.py,sha256=ZhDr5MoIErFF10OPuHpsp-E7xfWakdh8uZXWie-5sAA,202
clausal/modules/countries/somalia.py,sha256=MiC5pzwJeRw2IMkqCYT2n5hmyEhn46gR-OGrxi4Y6lA,198
clausal/modules/countries/south_africa.py,sha256=7IU-b_kK0l2czMWE1nN1Tg_gCyKARIdIiO9GyWljycU,196
clausal/modules/countries/south_korea.py,sha256=scm0AxpEND-kxBZTsHF-c-nR6N6sBXYOQ2HexwdYhHM,481
clausal/modules/countries/south_sudan.py,sha256=bfEFPzwDtdBnvFRIbDlkCh38QX-UqJ0Ud6Ub3Nkq4LI,196
clausal/modules/countries/spain.py,sha256=SvU32nNQ34LSzINvHMJLx9PeO7icN9yowa9Y80lpKrw,217
clausal/modules/countries/sri_lanka.py,sha256=IwW6vgEsXdxevjXeDMSKaoyC3Wo4HlNg5aTt45VzGHM,194
clausal/modules/countries/st_helena.py,sha256=FPkEaq63wI7JFRyLQYfhx0klsEZDZbnx_kD4bJsy0tU,194
clausal/modules/countries/sudan.py,sha256=KgDsyi_xT2GMVKCt7zKkYNB2UFCb8MmJZZNsT9wPf70,486
clausal/modules/countries/suriname.py,sha256=rZ7bTgxOt-RD4WyKP_8lEKwf8p8KvpN8GSRbMZx3L3E,331
clausal/modules/countries/sweden.py,sha256=jJJj-ypLYcNzemQuIvZ0QrUfnyOoTJ6nD8WsStT183s,191
clausal/modules/countries/switzerland.py,sha256=y8KSbAKPmfmHVX2QSMibuX6nIADoMqmbTYsdGkanVgk,196
clausal/modules/countries/syria.py,sha256=moxXqTfkB4UNTJHxmDPe6a9cdbtXQrGWjAk0wV9riAs,190
clausal/modules/countries/taiwan.py,sha256=Rp3mcGSNSuAa87_Fk4WDh4c17YwjNxwJxlmXQPi1FFE,193
clausal/modules/countries/tajikistan.py,sha256=4rbMJ7lhuWkak93aoqdWBnBZt3cF09RsmRpwTohXFV8,332
clausal/modules/countries/tanzania.py,sha256=JdLH5FGOd7dVXxXQ9Epi4PDNZOsDv_AsU089SLaXmdE,199
clausal/modules/countries/thailand.py,sha256=fgC7I2ipfY20CPMgOSYAI2b80P0tn7m7Tf7w-E9e6EM,243
clausal/modules/countries/tonga.py,sha256=DgeRbDwBEGqhXkwfGyejkVoI51c_ArNT8GaB1qzvmuQ,195
clausal/modules/countries/trinidad_tobago.py,sha256=qcSmj88doLRYnNPf_J9KDQa2otSGk60COpv9mx6IKLg,202
clausal/modules/countries/tunisia.py,sha256=oy7cAJna2WAWfbmrEh5qa77vJpV7jD3mqpAolxDZxNM,192
clausal/modules/countries/turkiye.py,sha256=23UCZXsJaDaxYcfWvVeY8mhHueoxxtO7b4Qx3hb1QrE,352
clausal/modules/countries/turkmenistan.py,sha256=gLAoZr7UjzeMDkKAxnqERv0ldAXOMfAYrcKZ3YQMxR0,361
clausal/modules/countries/uganda.py,sha256=r_SiCgfnlqg9hcK5HylI1AUII5OGpnRQHaWyaMdYzs8,370
clausal/modules/countries/ukraine.py,sha256=n8rzbjic1g43mJaZGrB-M4t1OckNCj96v4pTLcXughw,352
clausal/modules/countries/united_arab_emirates.py,sha256=qcZHWQvZ4jmsnj3ewog-2XeYRiBvjDgX1JrKMtD9Uw4,207
clausal/modules/countries/united_kingdom.py,sha256=CR1oHNtofM3KIYf7_UVKrb_eQq1ZOTeSsiurF251t_M,263
clausal/modules/countries/united_states.py,sha256=qytPtHaMRNDBpaib5D5xFB93uLfIxV1abvNRP85HbSA,250
clausal/modules/countries/uruguay.py,sha256=XNfdkZHJVzgiZCnkdW9CsB7mzI5fW8Xd5IbkDxHnBhg,351
clausal/modules/countries/uzbekistan.py,sha256=jdqsQockuk6NevvQZe26RtSaXx7DXf0qISzc6rKK9ek,191
clausal/modules/countries/vanuatu.py,sha256=GgqVeWBfi15U0q9oDv7MXjeHnqfmBnkgzB9GLCSD31Q,191
clausal/modules/countries/venezuela.py,sha256=jLlz_DSS7oF_xB_gdhpd_t7WN_FNotofthm8lc_lKU0,542
clausal/modules/countries/vietnam.py,sha256=pPtBc6hYeaAVjshVM7IDV1ZxzmmuVgHFyv_c9qTPldo,352
clausal/modules/countries/west_african_cfa.py,sha256=_n-V4FAncYLbml2gWAr6fLU5_cei5e8CM0pgK9vSfJ0,203
clausal/modules/countries/yemen.py,sha256=R8RaG9DvN96Wi5jcyxtsQEEM_Nvy9hF_fddv9zAdprY,188
clausal/modules/countries/zambia.py,sha256=kntm9L4dJ0VRgpIdAVHKJEekkLaW1u7oHy86QHwacVo,360
clausal/modules/countries/zimbabwe.py,sha256=jLQ6jVmwydnR7yDYlpvO0Bq3hCJKnLckj67DvAzZF_I,693
clausal/modules/py/AGENTS.md,sha256=Ttgu17dXyLbxSj-hvT4bktTPQU21QaMzU72-j-WknDA,4548
clausal/modules/py/__init__.py,sha256=f5jq_CwT9sgoC5oJEK9KPuHs7Kv6JRdNWR95MqfvTW4,36153
clausal/modules/py/_helpers.py,sha256=pVlMCi1w6E3_Gu28fV4XY_Hs6q3Giv0NtdP1a3CXs_Q,17991
clausal/modules/py/csv.py,sha256=ZdweSDLZjnXUdNDJRb0mRchRIwC5bzHe6RC3uYp1vQo,10411
clausal/modules/py/datetime.py,sha256=3dq52CRqvP3ktFsY8fCWd4NlTHCvKGyLmb6iFbED8_c,46158
clausal/modules/py/files.py,sha256=yTyaHFoXSD2c2eN1-TYKfJWT4pOvMy6qaaudZ4REXWY,18566
clausal/modules/py/hash.py,sha256=bViJdwqjISaxl4LJKVkh-Leqje9gGDoh40QWjLGDOVI,3531
clausal/modules/py/hmac.py,sha256=lzTtDsG-79XK8Y5v16QFAcOy00l-MfduMEy4xDgJpkU,3888
clausal/modules/py/http.py,sha256=LeiKCrJ97Wj8WijnddbxnsPoPdxDPBEORrZszuwyk70,16546
clausal/modules/py/imperial.py,sha256=UcmZqh-vjiIEEVTlW29qYXcyWmYC6Or399D55gI6ILI,147
clausal/modules/py/json.py,sha256=wXLq1X4j2GINdjD4EoiOoqxvAPNssi2ZxqZvHynVSUQ,18618
clausal/modules/py/logging.py,sha256=cCcaXmmtyI-_LBBM8ediobj7VWLPpwSQqioln0fuziA,13768
clausal/modules/py/os.py,sha256=f7uoqJJM1T4ceNUU1yVRLjaXqMMzs6F4-ukRbSaoVBI,5693
clausal/modules/py/pbkdf2.py,sha256=wDndTRpnBxehK549hqd2UvVZuGlBQoC1a_NfLUVRwi4,2209
clausal/modules/py/process.py,sha256=bkDVM0uyzInnRGrgkwut9rL6xkehjocW_qduWDIirGk,11416
clausal/modules/py/random.py,sha256=3KVSxXz1SHkE7WKKvRHu1ftmp5Im4U11-OhAQWeNJfQ,6191
clausal/modules/py/re.py,sha256=JdoJnCbWP_Ic7ZDI8wOVKG0HVd8p3eDM5i7jqiACTRk,12305
clausal/modules/py/sqlite.py,sha256=LyE99lGCFZEMawP7Mvz2yOVCh0j-g_z2kSMoYDNFWoA,12387
clausal/modules/py/tcp.py,sha256=kf19p2a_tcwRxkAlnvMo7hqer5ynngqu9xaag5latCM,7339
clausal/modules/py/units.py,sha256=OCcbNmkmGP1d21Zjzm7QhvCUsBUlgyP5CXePZdf2LGU,523
clausal/modules/py/url.py,sha256=ZtGpdLbsRu6CRsnOe2CWrqjbETaTuzXwkacAXoufZ8Q,6069
clausal/modules/py/uuid.py,sha256=a-HmqqD1cPDVwhsTqt0S8zD7kJJEp7UVgmUsvyKpMgE,11565
clausal/pythonic_ast/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
clausal/pythonic_ast/conversion_from_python_ast.py,sha256=YIJYbio9cyhVBwJxqbzW_B7BH6VPVt_nLZb5NT2frRY,25980
clausal/pythonic_ast/node_class.py,sha256=AfbivB71Whl3Ecz9mSsHpAcW9qzQccjKJBmeNi40Z70,4884
clausal/pythonic_ast/nodes.py,sha256=fKzAy2C3iLxcIF8m7eMuErkFA6VBm24IE8DIeIztDUQ,56016
clausal/pythonic_ast/transform.py,sha256=jdXTA3-QZqsPVq7k3m_SO0vSEdOT8HT1iXB1QJAuxYM,1435
clausal/rewrite/__init__.py,sha256=Si0lnWE540hq6apT39dZFh8P7P4zLmZPIGTEUTEXPds,921
clausal/rewrite/cli.py,sha256=3CxWR38aY35MEnauXS6BYKFq6D6xnrw38JkB89AMUEc,5392
clausal/rewrite/driver.py,sha256=SumGFJ8GpkLF29CLIqdVN5r8DjFrS9Brhq5j_nMBFRo,17327
clausal/rewrite/rules/_broken_head_fold_control.seam,sha256=g1WhT6EzFNYosE2oGHV6aTEiod3ESGGNN1qijD5JhmY,6843
clausal/rewrite/rules/head_fold.seam,sha256=iBhX5orX6zbuY_j_0clfLJnrrJxA34nuyahhjNrvFFI,6071
clausal/rewrite/rules/unnecessary_lambda.seam,sha256=x_Z8FCRM4hJ4qgTah9S6t1yV9za9et1ay6F6TJ-TdAI,4939
clausal/stdlib/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
clausal/stdlib/clpz.seam,sha256=rC8uVHsrTl33QegZB-tiG0XwLyzr9V0RZFPhuemlUBA,367
clausal/stdlib/clpz_sum.seam,sha256=hjVD-0KNkgFGLuq816C4HDDdwa-DXG2gkxYJKRbWjgY,352
clausal/stdlib/kleene.seam,sha256=-X4MLjwy8xEPlMfXqnKLxA3GTcZFkzNsFSefxu695og,6099
clausal/stdlib/reif.seam,sha256=hBN0VG71WI51kV8cGvn3_ILRbr1kpspguxV0iqKoix0,3219
clausal/templating/AGENTS.md,sha256=3Oq_fMj72N5ojbZZOjMCeyTCMm2LbZOQmtP8L7BUz70,5847
clausal/templating/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
clausal/templating/compiler.py,sha256=2mO1CPxUWxaDTPTZGIU6j62Gtepa4yHZrEPpZAnP-EM,19440
clausal/templating/desugar.py,sha256=CyxF-uvksNhbwSPr1YT0PBExQOsN4VsGpoRnEQ2NfTQ,9522
clausal/templating/parser.py,sha256=V_5x70K_Z8vOKRsM1PIBSSH2dktYaFRRON7ToILNhrs,4170
clausal/templating/quote_map.py,sha256=pt6B7G9RPumN2LHobwAb16Dj2r76IPyERZRGB77RXJ8,6500
clausal/templating/term_rewriting.py,sha256=YGx7eFWzYh21uYBvoWHRbOvuDvYhUg58Ms-iRao-qkU,587682
clausal/tools/AGENTS.md,sha256=7euMVL_I0Kq18uZ-qhDUZmE_ifL-25ji-StWAFnm3Sc,7463
clausal/tools/__init__.py,sha256=8zJq6PWtLTAwg7GaLKU04izQJ5pvzOM4dBq1r8nplaU,89
clausal/tools/clausal_to_prolog.py,sha256=sUCPPZCAkavOl-PuQiZCpQxJ-Qb9mh4umHyQLtjVTg0,235800
clausal/tools/clear_pycache.py,sha256=84Zl6OZRbOYO51oWt_6Mgexz5TYybcYry2YD1SyMzyo,2167
clausal/tools/doc_snippet_check.py,sha256=LRUjj1_nPmq0tgf6rnGhkKcYM0JzzWzqs_UbCiM0Q5g,7340
clausal/tools/dump_transformed.py,sha256=fQmxrmsXKOLSJyb57SLtMW2QpLtcomKk8jU9HyVB3FU,4745
clausal/tools/gen_library_facades.py,sha256=ktB87b2sm5vFCuRJCXD5pR4Sg4UepNoxsqqsKWLx-rU,12576
clausal/tools/iso_l3.py,sha256=mURaJGnCwgnUwLC3RoigGiE3ej5F1FH4LoBtYhzkgM0,72924
clausal/tools/iso_l3_directives.py,sha256=oRLwKo6MYsj3l6aiTO2Pm8RXn4drr6V8p2ynjKwRDS4,100757
clausal/tools/prolog_ast.py,sha256=EzMRYcAjbrPNMFRa1zVNCN-wZqGNqUBJk2-6BzW6Wfc,12826
clausal/tools/prolog_dialect.py,sha256=9TjAE3vSaVr7fNY9i6uITTAoS4_YHcaIB5eiP_GKl3Y,20203
clausal/tools/prolog_operators.py,sha256=80gG07HiqIqUy2r1TxnMdtcwodc7160AI9__2hMfxic,7895
clausal/tools/prolog_parser.py,sha256=99Yy5O31FyM6M5lnLSmKTDrB0Nr-PHNgeViKnMT26bc,22704
clausal/tools/prolog_reader.py,sha256=t8DgVD-Fj19kCGRbPIZZpILKk7wOOEKGhuBTzPG31mY,22238
clausal/tools/prolog_to_clausal.py,sha256=SD2Sz7WaqDyvnSzrn9rwOO7dF_aPsxNIjzUkh-2AXhg,116287
clausal/tools/prolog_tokenizer.py,sha256=eLEA6RxIFvMzfo9_C8vm5zobWsrHmdgbM33V4lzqVbA,8110
clausal/tools/transition_census.py,sha256=W6Y8jWte3wwCKhTj0eecoc0yujWHCABQ1OCx1CEARbY,14948
clausal/tools/transition_census_baseline.json,sha256=XcSqV9wbvTMsPdqguEsnL6ENchJJUidPfnSuC-KDP9E,8068
clausal/tools/translate.py,sha256=DCEubYaVUVlaqeO9hwK891fs2VZjVp7hI9bBXr7tttc,7773
clausal/tools/visualize.py,sha256=gQeJRJsc-AQ8Oz_l6HNkt9JsE1OUHyioHYkJS5ezTjs,7099
clausal/tools/eq_analysis/__init__.py,sha256=JSyBLMs5WQqoMV5G8wunskbMp2r5hzXNsb9Ws8NLvnw,120
clausal/tools/eq_analysis/instrument.py,sha256=r_GSZyWMPG86A5yvA_Yby3POe2hFbbdqKHPr1SpUu7c,13016
clausal/tools/prolog_preludes/clausal_constants_scryer.pl,sha256=tgSEZLIVH6kBMRFVkZu0e9v_k8lwRTZfh0oZz5PVOzQ,2236
clausal/tools/prolog_preludes/clausal_constants_trealla.pl,sha256=6WuEZ-BdXQmZViKbcKmSxdFzNugnaGOb79hLyqv5In8,2413
clausal/tools/toklex/AGENTS.md,sha256=rKf3bE8QhGmGIytdumF2WkU0Cg5vdk7ghsCto4B_ABk,4172
clausal/tools/toklex/__init__.py,sha256=YimiLHy9av3jiSW7LEXZp9wvRjvyxRCipqjh4acScYY,715
clausal/tools/toklex/_bootstrap.py,sha256=Vua0BrAd-A8Igk5jfa9t3tq9YapYMK6NGqIpf_yuuMk,18546
clausal/tools/toklex/annotate.py,sha256=Q2pcncfAh40o5DHLG10jyJDnMDgr7TsyTzsvvkcrIc4,16044
clausal/tools/toklex/automaton.py,sha256=v33FcJGQ-ngb8lxJ3nOulkx3xHHLVeC8huxHaPNGuV8,10860
clausal/tools/toklex/builders.py,sha256=Z1YuliuhvSO_pURTgzlnoZlN6Oa0C1IX8abXCffklhQ,5062
clausal/tools/toklex/charset.py,sha256=dPoSUmKdTkEdVYLqyGtWDazGhjuA2Ym0gNXG8qOmJLw,6043
clausal/tools/toklex/dcg.py,sha256=mGutngoZkWWZvEOHf0ghO9fDJtTVfAuD8l-txUBqgYU,25066
clausal/tools/toklex/decode.py,sha256=sOkFAFhAK1YIbaq7opGCmAdB9bhNp7I876GIROw_2oM,5488
clausal/tools/toklex/driver.py,sha256=CRaGZ7Q4BQnk4hC1pB5i0Z0tfPqR1pift8sOY8ol8_I,21299
clausal/tools/toklex/regex_target.py,sha256=udLshTJm3wXnk3X5UkAdxBXm154G9T7vY_QYAE_RlJE,24635
clausal/tools/toklex/spec.py,sha256=Rry0HMdb-kxVy-WRnXKBSNKpFkJZ0eFNZZrTUzk0mDc,20840
clausal/tools/toklex/specs/clausal.toklex.pl,sha256=0g3dfwaGzH696EZ9ahBLwSOEtAz4E1hlo3cIxHWgCks,13457
clausal/tools/toklex/specs/iso.toklex.pl,sha256=lElFph3PPqke1U7AAOc6EINbUIAHGhmtLHMjNng4BxQ,10172
clausal-1.0.0rc2.dist-info/licenses/LICENSE,sha256=VfeFUPADP-yMmwRYXUr1GlMkWa2Vfvr9OwIiK1L55DI,1089
clausal-1.0.0rc2.dist-info/METADATA,sha256=8uR2y9u_nB-nkaRWCUjdkbUzovIq9mXqPiMGa-ppk_o,12250
clausal-1.0.0rc2.dist-info/WHEEL,sha256=-IaOVGd54IKy9O8azc5wW9nMJIKe6K3SE5RreQb4JC0,101
clausal-1.0.0rc2.dist-info/entry_points.txt,sha256=NscmsMeqi_3sa-PZReUDbCOAfFNIvV85v5McrOxnxUg,219
clausal-1.0.0rc2.dist-info/top_level.txt,sha256=r0_zk6WYKqGBcSktYnZcbV04Ohh7dN8FVK7y8xaMwxQ,8
clausal-1.0.0rc2.dist-info/RECORD,,
