clausal/AGENTS.md,sha256=muHPMBPPoWxqn3vsf3gYu-MC6mRUAmU0EZtP8VBQ4lk,7899
clausal/__init__.py,sha256=_LduwWW5sgL_4zAb1eq--HpxWRNkKXs-9wjjm5YQsPg,4470
clausal/__main__.py,sha256=igUzFQZfcQpMd-vEsxvOjTyvwPntM84iWtVh6rxOBts,221
clausal/_install_ipython.py,sha256=Me1_GDYuEVf_H4pI-Ni9SW-E_FFAQ4TH6qg-kKPjBYc,3584
clausal/_lazy_hook.py,sha256=HgUlFGpKr6lHLiY7BYuLccYMVmOJGmZ4mVIRVMYCBjg,5469
clausal/_py_facades.py,sha256=zi9E3ialAv-OmeyDCiNayT-odB3ES6U1xgX1HbqL_Uw,5726
clausal/_suffixes.py,sha256=AIfWdDzOhtsmCCkX5tGs0BXXjGLImWc4PcE6dMzZWNQ,3642
clausal/_transition_constructs.py,sha256=eXpAI-c1o4TWZYfBzTsnZ8Aqc4jAbRgZ9ublz32tXG4,853
clausal/atom_diagnostics.py,sha256=z6NS0TQo4pEXEDwbI4gvniUI443EfnVFXjWa5tYUlmc,4931
clausal/cli.py,sha256=Hr3-DlMpWozRck7C3eFAwbjPyvvEXwZVBbuGyA2k4lw,10425
clausal/codegen.py,sha256=lF8zPv9ooe-qiqERhTMSYPzIAEuEQLoA6D3lGD-6Dlg,33096
clausal/end_module.py,sha256=gwIP4Ht70fz5_8YwSZF6CluHG5Q9oCo8DE6PVaj7nm8,12493
clausal/import_diagnostics.py,sha256=InulTEqMnPP5HNbjsJ9QDnlKXOSUFkEGTG9oJBJuA98,40349
clausal/import_hook.py,sha256=nDmTb3aCKFLv2V6LPm20lOHOgje-CWpHQv6H1MuYiDA,91255
clausal/lint_warnings.py,sha256=44h6TkMfLykd2H-ubojuK1KHZV4OidHZC6jc26u1v_U,17050
clausal/pl_data_imports.py,sha256=wQOuhVzVaX7bdMA07PdJ8vvi8prCGeqdcsTiP1caF6Q,24539
clausal/predicate_diagnostics.py,sha256=4HgpM6t0QO8Df8wrlNoMhng_ecibQip_n7d9NRgIubI,47234
clausal/python_bridges.py,sha256=3fk8XmTRD6Hu3-gEMl09pQeMT4vn5z8ZAEnZ6FHVueI,47985
clausal/python_repl.py,sha256=zC3p25ZX4YTO9ISS9hwZqGHo4_MvDBvihRiIDX4Rrgk,11436
clausal/reflection.py,sha256=Xbd4Q-I6qFE2ww-RGBYgDmlMhAPwfLj0CyIdkLf5k78,83344
clausal/regex.py,sha256=xn-cKW4gv2UDkQZ_jznuDfg-JhPtaGYl181ZXnzrFB4,597
clausal/repl.py,sha256=qDp8rEbBoEKckoyvRCpDnWl02fpGL407VD8wZFpkqic,18512
clausal/seam_audit.py,sha256=K8gJECERllJQiBoA4ZTbi6FbBSErbBL9fNRoXaS8npc,28605
clausal/syntax_diagnostics.py,sha256=5ssSz7koAY6pVH5D5x5-21N-9t264GAP1yVkf2mBWa0,18019
clausal/terms.py,sha256=pIq8PfkWbkPcZgUhf4jxRKKETNCrWF4FS-SABLQGLnI,198598
clausal/testing.py,sha256=W7zkRuGcbrJmLAlXCdCRJMoJU1U3w3Y2P7ENTNBmwdE,136855
clausal/examples/dcg_state.seam,sha256=0sZv-o9HlI8eubp4ex2GhqKdLuYZfPSSgWjoazc_Z4k,2607
clausal/examples/fibonacci.seam,sha256=urggKxFehyBfQkJ5XCkIr1YZEOeivl5eKEx1voVC6IU,710
clausal/examples/graph.seam,sha256=2cCBGTRpXGXIrXrg05PF2A0_7otqUAAjX7kJVK87fYo,1420
clausal/examples/hanoi.seam,sha256=CvguEBZ-hbQLQQ80ikhYocPRjXzA1lp7FKrLJpnwWw4,991
clausal/examples/higher_order.seam,sha256=ed8wM98V_diFdLO1IFIDWeHNLex94HZwW1rSDgQJ3kA,4139
clausal/examples/lambdas.seam,sha256=amcrdh-f9GqjudgAC4wNt0xxoyGUMmzHhXcN5wLpkuQ,3139
clausal/examples/map_coloring.seam,sha256=SPKWbQj9X90YJX1UZ2tCFJjVmNBzLcmErrMsZGw9ZZk,2742
clausal/examples/meta_predicates.seam,sha256=DMhl851v7SkxcuoE3kZRnEMMdCKQZlx1L55H35dQ8Tc,4133
clausal/examples/metainterpreters.seam,sha256=M4vhIOEBxNHNIEgacvIGjMU1VkOVEJEYYtvPyucVouQ,8926
clausal/examples/nqueens.seam,sha256=MMC3WhFX7nIQ2rGbp-BmjGoYEBqmZZ_vi8nUPCYspjU,2494
clausal/examples/peano.seam,sha256=Nrc3VJBzEkZ3Jhkon7S08kKmXAPK6DeJh3iK5mkqlSI,1981
clausal/examples/sorting.seam,sha256=YpfcSvB3r2PWHZm4mgMOWenPlqcdQrCBbqraF3SjcQk,2501
clausal/examples/sudoku.seam,sha256=fnESmWSU1Lq46BaGF601nvRuIRwozbs2w9e4WVXUA2U,5666
clausal/examples/symbolic_diff.seam,sha256=LALypW8q_DNEFVFMhqhdNA8zkRu6GMJiUsgu49sk_As,1668
clausal/fmt/__init__.py,sha256=mvbfMrqmZDhlZwxz03q_7sIkSQBWeQLXzTTVziaKzEA,938
clausal/fmt/cli.py,sha256=Z3LtaghsqEfB_mNfYNCPeYukVOmdBfzRBwjxiu-e0Ok,4015
clausal/fmt/comments.py,sha256=zVlKsQaYtYyxz7VNwFlls9Y0Vin4QUhsNOpQaFntjjE,18436
clausal/fmt/emit.py,sha256=Uv2jwufdbYnJEPP-cuUVlw8tKAI_mp0yZ3VgYfUeS1I,17397
clausal/fmt/repair_prompt.py,sha256=vOTmSY0HynEJWKuOZrCCy1ofX6rEuyI9aD1zgGgYcpQ,2856
clausal/fmt/transform.py,sha256=dE4LQRdVWk9FF8QOFPeor2c7K4q1mlJSbtRw2aYI6BM,1664
clausal/fmt/verify.py,sha256=Xh9UuMqytSmsDgFqJOHGN1Lf9CjGEoaT2dtiQFsRUWk,3751
clausal/library/AGENTS.md,sha256=WxOt2saK8aqYarCUnsnCulTS9GyFTjqg82i2RNs-tLA,3577
clausal/library/__init__.py,sha256=rBRMzlXZ49s8HbyiB1XyXTKAzvzBluXq9xBsvkT8H8w,2684
clausal/library/currency.seam,sha256=XUbzPUp8x4mlKHOeLvrqwqLNSm5Jpmi5OE7ysbcVrZw,814
clausal/library/datetime.seam,sha256=TXVdHgby7COPdVVQqjU3VZz7FbO6l2LYE5L3JecyeRU,1079
clausal/library/graphs.seam,sha256=Fg3sNiJ4f_6MFdbxQrEtKPZAFc6CLXefkN3jrKjMnJ8,1130
clausal/library/hash.seam,sha256=nwDbXVsxbFFF_G_YwOhynRk4HW2uqwE8Q2NN4CcumC4,475
clausal/library/hmac.seam,sha256=Ygnn8RAA5kuB6KFktfTkGT12EL4Bm2YxHJGmeoosP1E,493
clausal/library/http.seam,sha256=hZMCXd4KpG2Lis94wok67cGvsbBs50Jj-B10nixajhg,573
clausal/library/imperial.seam,sha256=sT1KvxH9wXu3KnCRRqnXrs5_sd64h2cnOUZI6YCP__4,1018
clausal/library/json.seam,sha256=BQysM-GUrLrcKqi5ZRYzy3KLskSg9TPGkzD3bHtTid0,620
clausal/library/logging.seam,sha256=mib1mPyR75SxwIEQWAvyxWktp4V5NZxomnge9yQ4GkI,1049
clausal/library/pbkdf2.seam,sha256=W2SG7foQ4k87p5_8tj05J1I4VA11lDOuM2clQM3QUiA,469
clausal/library/py_csv.seam,sha256=QJ-DszQLKEnWxAhkPZGQ-ff7LZCIHea9IjXytr3bWoc,701
clausal/library/py_files.seam,sha256=lB2VtBgsv8bUh_ihlLJxlNfxfkXiintKwfGb9N40Cvs,1366
clausal/library/py_os.seam,sha256=UFCt3j5gJ_agRjYv95vQdnk81_aum1knlNur0-Q3jrc,797
clausal/library/py_process.seam,sha256=v0ILsnelikidrWp3tJJcj4kDLorfQ39daetxWQPSiVA,630
clausal/library/py_random.seam,sha256=o11G-e-_UszEnyfwYcKYRgj0V4wUIsYpthSFkHOTVVA,712
clausal/library/py_uuid.seam,sha256=E9huthxGqBYMnw0pPmTubDw5oq7x8tbc6_Q7jwdIds4,796
clausal/library/re.seam,sha256=opPWk09Cwiekbnt_Bz881rMPIa1beTBw4JMB4gO2b_4,571
clausal/library/reflection.seam,sha256=eNkNjoX6O-tgVeLx6PHD05my-zEMntF7JdypRSwgMFA,838
clausal/library/sqlite.seam,sha256=F9F1lYNEPu4q6uMkutuAQ0FL19ANtdPz1rnD6yzRRh8,694
clausal/library/tcp.seam,sha256=jDX6SjYAcBaWePxvxQO3TvaK5MhnhuiUh3vc9OkbH9g,622
clausal/library/units.seam,sha256=7yavjbQ4XrgrL1MaxQqMR7_QLdNYrVTBmZLMUECXoaE,2651
clausal/library/url.seam,sha256=8XgRZPiI__2U_PALhJbj8kMNt9n4-lkpDhGED4W69V8,515
clausal/library/countries/__init__.py,sha256=WE3c8ZuaDbBDi2KmuwU5Zmw4JLt1a9iUa1QNQuAwiv8,253
clausal/library/countries/afghanistan.seam,sha256=13Lc7PsSYeD1FzAXLr2NuT_h6FjSdbwha9euCgGDKtg,491
clausal/library/countries/albania.seam,sha256=-qrt0WhVg6hDZ6lg6VXX6HhrHxGEWLj3Y-5zDRWvU-I,463
clausal/library/countries/algeria.seam,sha256=9bxZsa9KP-_s3zCEpAV9VzY1LRX80WrrkFj5bm90VXs,444
clausal/library/countries/andorra.seam,sha256=GmdjSTZuirQuHV2bqfPnzKsiTo4-IagIfwf0DGVGPd0,444
clausal/library/countries/angola.seam,sha256=6_1UBKMtSFOJ0sJGdNjckxQ838qAXmdP3yeZyauzM3s,507
clausal/library/countries/argentina.seam,sha256=N2nr6hBbR2AjeJHCJlo9gQSptC3--9pJriqugJTLgrg,514
clausal/library/countries/armenia.seam,sha256=MGz6x30ux1CL01O-dUsU4sP64xNmj8oY6XW8EHRsnws,446
clausal/library/countries/aruba.seam,sha256=AqnkIHevUjXx5knRH5oF4hicSkMH4UUyIV7yByvyzHU,442
clausal/library/countries/australia.seam,sha256=fZkNfxFnLAmAQuncPESRscZ8LYYtgdsO4kaU9nwGf84,466
clausal/library/countries/austria.seam,sha256=JfuDidnIuyLRfeYv4vj5EfbeHH-lICI0spUVW3h7HIs,456
clausal/library/countries/azerbaijan.seam,sha256=T5aORi0H-S_2qmUbpLBvfz15UXias9kTwAGFEVMbdsU,477
clausal/library/countries/bahamas.seam,sha256=Gtfux0duE4ur4ODGoiBsYDiFH3Xsn6HJ9v9m11aTy2E,444
clausal/library/countries/bahrain.seam,sha256=3Mq0ZbvUKhpYS0I4qturLC4HXLJUxxg_DfLiajEMf90,444
clausal/library/countries/bangladesh.seam,sha256=gYF-sn-dXCknZ-D1VE9YhC1TDyu6X11QHfkNQxVxf78,458
clausal/library/countries/barbados.seam,sha256=d9c2R8885cPUzqqEIKn6o7G9oIHEWpGSni6FGE3hYUo,448
clausal/library/countries/belarus.seam,sha256=iBmQcayqVTn_LNTqn4FrceSUtb4FIDuZjmvjNlmq5v8,486
clausal/library/countries/belgium.seam,sha256=6ptQ_gojq02HZ5zYkxuvRmnBNAhKzMU-3O5T0zv2BaA,444
clausal/library/countries/belize.seam,sha256=_W3Zk1sZiKG91CiQVvXi8OmgMDb06Uh7s-MIcpR9UbA,440
clausal/library/countries/bermuda.seam,sha256=wRxBdMJVljM9zf2MaJ7Mfy970ZTrbWA_0XR7GWtf_mY,444
clausal/library/countries/bhutan.seam,sha256=hOaAClONelDSKASQt2yxdUiex_G7EEbRImwBTtDf7Cs,450
clausal/library/countries/bolivia.seam,sha256=gyrzNOijBwGFZHbEyJ0Oqot7j1aIZ1irn-egzf7_ow4,490
clausal/library/countries/bosnia_herzegovina.seam,sha256=5TTICAHB9ZVMKSeTcjoi9xOhHWl49PYlEuFidS5MiT0,537
clausal/library/countries/botswana.seam,sha256=YBXhjg6WwOqH5pi0s5UXWtvKqjGxnP_KMrV6kvHa6JU,450
clausal/library/countries/brazil.seam,sha256=SdRYljcvoPs7Tnf6KiMGBKRTAuXu0rFJtZe6K-qh7t0,585
clausal/library/countries/brunei.seam,sha256=KmzoZbXTyxFG1_xHpn-74Yz3xvT28Lp-psfRxaabpfE,440
clausal/library/countries/bulgaria.seam,sha256=YuqqwZaA2NtHywKPtWigLut8Op_E9RyK1EihjPG2tlQ,505
clausal/library/countries/burundi.seam,sha256=yOIuS7tKgO6eQQhDfGkiNBI9IrnAZAm7E7SSsxq4bdw,444
clausal/library/countries/cambodia.seam,sha256=TseVvIuq4QNvusZSOk4eudcOne0vi5PCAg6lEWWOTHg,450
clausal/library/countries/canada.seam,sha256=GrpNSmY_xpIilLMOsrczTrvI-u_M_fL5S1QHc5KX8KI,440
clausal/library/countries/cape_verde.seam,sha256=si7G8JePLYCEvVcFvdt35x23BdnLXFR7PgEvJLM33vc,462
clausal/library/countries/cayman_islands.seam,sha256=QItKNJnTBpt48rXGFo69MIqA6i1EFWoxlBrWCdCOKNI,472
clausal/library/countries/central_african_cfa.seam,sha256=zfLPD6aU9AN-Hpi8L9W4BIwGXDyA9P7F9yae9c4GBrE,492
clausal/library/countries/cfp_franc.seam,sha256=4VLV-TRbP-xjRzHNO_ko8vz8i43hojrCmSvLVTMCZrM,452
clausal/library/countries/chile.seam,sha256=UOzlmhQ_OjOg_ROV1A7f5iQhaVgdgyAVoPB5mr61YEQ,445
clausal/library/countries/china.seam,sha256=TgosWXbxyTHIiDzH0Qt9DPvlg4HCOnv8A0RO-24d0r0,438
clausal/library/countries/colombia.seam,sha256=5AL_tBz2_48e26DAuTvOiewSWAiJdQJFqoPiwHlH-9Y,448
clausal/library/countries/comoros.seam,sha256=mFhuUi48F9dTAupI4e2XQH6ac3GkgfmYy43dvrDjW88,444
clausal/library/countries/congo_kinshasa.seam,sha256=tnMFXK8wXQBbMrdnMjFSCBPwK37LP6E4UgDe6VniLHE,472
clausal/library/countries/costa_rica.seam,sha256=vaaOhnanWA0AP_KhjofCBd13nQbJyNYz08RJRjLfqWs,460
clausal/library/countries/croatia.seam,sha256=IxCgkQY22tFprqzZnQtSbz8JL-FHs6s3w7ZOOxbSmnM,454
clausal/library/countries/cuba.seam,sha256=LzNCUw2GXqf8BG2wf9nNjWDbiflfDjIbEbcNVb2gvQM,467
clausal/library/countries/cyprus.seam,sha256=A5VY2MlGjr0aTgV-uVQJYGCPwncRpLUqz8BZxKD6DLY,440
clausal/library/countries/czechia.seam,sha256=VoS2wKqhlWSB_cZgApO8hVbElwhsMihFzCsQv5ziq6M,450
clausal/library/countries/denmark.seam,sha256=NfFZ0SwnUHEDv1Cj9c8F5pfuBeuCiIsvg6uWvDdzpSM,444
clausal/library/countries/djibouti.seam,sha256=Ytf3mA5x-4kxIWX_Fyw0PvqWWYUr8JIGHuVsKRcWN5U,448
clausal/library/countries/dominican_republic.seam,sha256=o--fGTDQ8RBfXrQ326TA4LKyp7MWGLQRjCT0Y7_jp58,488
clausal/library/countries/dutch_caribbean.seam,sha256=dbIw8b_nF7snKm_HYrFMHiJ_mmnFIDJRaenM97ZxM2U,484
clausal/library/countries/east_caribbean.seam,sha256=9SSw7JUeo9__tp617bUdr-SW78qtxcd9YoLB5iNQ6q8,472
clausal/library/countries/ecuador.seam,sha256=HYf3XVgOpuH2lGhBNxciWtBiyP53UWE4xjHRH5SIy7Y,448
clausal/library/countries/egypt.seam,sha256=n92LXMHFIu4hdDUcNYbtOJNyWEXYUxKA8XXz2ds82KQ,436
clausal/library/countries/el_salvador.seam,sha256=wIs9lDLB7nQ-YU8JgLfYvZy47i0cHkUzjxEIc7Sq3MQ,460
clausal/library/countries/equatorial_guinea.seam,sha256=Gj1pgmOCv19QrHpnwSJGwQVkh3efRTgTr7eH-XeRli0,490
clausal/library/countries/eritrea.seam,sha256=hxOKwdfIwKov30Q5UfIbYz_SUqK90y0QhY1ESp-3QyA,448
clausal/library/countries/estonia.seam,sha256=F92oRYWC2831ce6qvrtMUj5HJk8rNorCsY59w4uaZlc,448
clausal/library/countries/eswatini.seam,sha256=QnR3qbeVo3AmAaNFisornZCYKSVIxqO_XT8_nTj1TrY,460
clausal/library/countries/ethiopia.seam,sha256=cIEU1Xj0qsf7cGGoyJCgWHEsvTdjH-WN2oo2DA0-04Y,450
clausal/library/countries/european_union.seam,sha256=_XHzGOfLgPhHNE6S3DrxQ7LbtboWoeEWqdd4LQo6Zvk,492
clausal/library/countries/falkland_islands.seam,sha256=NbuRs1m8Pr-NtttcHtc41rvQoyKinGdY7atI9Lg72nM,480
clausal/library/countries/fiji.seam,sha256=x4zIveULSyBb6Eg4siP3w3ln5MOFpK3ju84VrF4hEcs,432
clausal/library/countries/finland.seam,sha256=Kt5LWWe-ANov7_JOQNl9Qa4COI-_KmZp1DDJAMNSKYI,450
clausal/library/countries/france.seam,sha256=ys1_AenxXEQQjqQy9ObhIp9MD8y6J_IcVhgGc9zbSx8,440
clausal/library/countries/gambia.seam,sha256=QhSDoc0sOKPidTJfP-nHOr9QGkokkMCN1N6jBRIoJuo,446
clausal/library/countries/georgia.seam,sha256=OzJiQHxVEa9bM_OXDahdSNrRvtePPRjB2tdC9PBioQM,457
clausal/library/countries/germany.seam,sha256=fWL99IM2tMd0ZXD8aqbrHFLRojYeMMQKYSo2OqDLPS8,444
clausal/library/countries/ghana.seam,sha256=L3sZr7Qp-BrQLmQsafQx_rIwXp1jXFqhVPL5_mCymdU,458
clausal/library/countries/gibraltar.seam,sha256=85sqdKKChsAisxr3t0Ff7cLLwpoHKx6N9KXQWphWITg,452
clausal/library/countries/greece.seam,sha256=7oYMudBrtOk8vKgD2KhvHoc4MtGa82l_GjZU08r-3c4,448
clausal/library/countries/guatemala.seam,sha256=ADtapqrGoFGTgbZ6XS2gW8YTIPAAHVHr1PVNZkqRuEE,460
clausal/library/countries/guinea.seam,sha256=hW8hWUdEsm3ffP7g8jUqc_aTo9id381Bi50PzkCWLEk,450
clausal/library/countries/guinea_bissau.seam,sha256=-1IPu53UDowlUe5lWtPES22AwXiTGTSzhnY9qOd-MTk,477
clausal/library/countries/guyana.seam,sha256=CnTTnM0ysCvi3_4w-RUvoWFBlbgPEONt2hfwXVEYUj8,440
clausal/library/countries/haiti.seam,sha256=jTy40faq7HvpW7-MuDYQ-kmcrnfn5e1XupoPyQqIjhQ,442
clausal/library/countries/honduras.seam,sha256=QWCrHI4h5eafelGqueP2FB7b-76CookOCLNLl8hWk-k,456
clausal/library/countries/hong_kong_sar_china.seam,sha256=QzZ5-JGAFayKApDCYhF0u4EEodzroTFMLGam5Ly2pTQ,492
clausal/library/countries/hungary.seam,sha256=ixxBbYjeM3bqlBYS8co3Rt3cZzhrNt1Vi_XSTNTLrYU,450
clausal/library/countries/iceland.seam,sha256=nveYNDJCbXhWj3X-gK_06Bk4DA54f2j7zHGc5jil-3o,465
clausal/library/countries/india.seam,sha256=kxtspQcCxNDuy8yGDuiMXIsfs3SHbz6lxZnT2QJ4bt4,436
clausal/library/countries/indonesia.seam,sha256=b_zinuJJsdxa7cXSvq3pt_wudT32xkX5N7SnG9fkMQ0,458
clausal/library/countries/iran.seam,sha256=I3DjOZDX7hYcNcjPG3qgBSkA57wSbuu-YhSOB1HKFQU,432
clausal/library/countries/iraq.seam,sha256=P5G6OhDXXUwMOJVZWBtBCzoMG89JNFl3PhEGZNvpCaw,432
clausal/library/countries/ireland.seam,sha256=r4gey2EoHsbJMb3Zv7Z9MQLodB2YFWPFpe1dwUOuwWc,444
clausal/library/countries/israel.seam,sha256=atFhS9p9Y_ul6li8dWWFspQLK3fxfHEy_7Eh0wToWfY,474
clausal/library/countries/italy.seam,sha256=vbPvxec2kdPauNUpM8sIdT-VlKzkvhc60jU20KDinJ0,436
clausal/library/countries/jamaica.seam,sha256=R_fLAkH4esWbhJyxS0iobsvAqvFsUeV2FUPcQ5_MFjY,444
clausal/library/countries/japan.seam,sha256=39O3QCVUvsjIL8y5ZQh65_SXwzpgvly8U9GZLUNDa_M,436
clausal/library/countries/jordan.seam,sha256=h0Be1sv7EZeswCNu__d4X1soyeLebCSRylpI8a_t7lk,440
clausal/library/countries/kazakhstan.seam,sha256=JGYYGl-9hkB8Qbt5Zn7-a149ftChHWmvpnclfgtfTBE,460
clausal/library/countries/kenya.seam,sha256=RZNEWmvVeYqbCVhZ5tF4-_ST60kOlkSNrFsgtDK7m5g,436
clausal/library/countries/kuwait.seam,sha256=f75mBlUSh8lo5vk3zaiQ42J63qbjji3iqCxmOZPsdh8,440
clausal/library/countries/kyrgyzstan.seam,sha256=ygtxf-GkakGxVbRZc4tAKZiUn-upOWyE4WIdZ7Vn5MA,456
clausal/library/countries/laos.seam,sha256=2D2bpQEoAJURWpjjzCECSUjYb8PgsCruOED9nBohZzc,432
clausal/library/countries/latvia.seam,sha256=a0f1-h_9bsu5tKgnbvNy26B7tHzIpQz8DMs6Qx86Pso,451
clausal/library/countries/lebanon.seam,sha256=sE93kshqw9XrNe4R2l6r7RJPJkg6J55vG3i7iyQq5mA,444
clausal/library/countries/lesotho.seam,sha256=zZeaPLCFsfvfUWEke4UsI5A-KhW_AVK71xMFkaAQNOE,446
clausal/library/countries/liberia.seam,sha256=TyXq-EYN0nuaABQMx7RJt9IxKNvQyExqgbHJarKlabM,444
clausal/library/countries/libya.seam,sha256=Kyt-W9TC3vGwQxfaBQ1B0lIPW9OJMhmyh50a-c7nW2o,436
clausal/library/countries/lithuania.seam,sha256=tAqv-5zWnA2EV9OHYRaoQSAvz4edFEuqN_-BY-hZ0tI,469
clausal/library/countries/luxembourg.seam,sha256=3moDkuykTKc5XKXSpcVuefiYjEfEsWKvPojX-2lnoss,456
clausal/library/countries/macao_sar_china.seam,sha256=G1TKjWcwtN14u1YOhDVo5tNc70EhSHwOqN-10KD--2E,482
clausal/library/countries/madagascar.seam,sha256=Zg3Qa6fnUEGWJ11ozp6yD9pxoPVMzFVlIkap7qF7uWA,471
clausal/library/countries/malawi.seam,sha256=XXv5ky7q5hEYXE5suwKp4mhBmfm3a8q2Zv2ymiOVqQM,440
clausal/library/countries/malaysia.seam,sha256=eWF7YGjbITTq1xhr82OQk-Jv1v4U_nwq4Vf9zCO1sq8,456
clausal/library/countries/maldives.seam,sha256=coWhFfY8FdPRPwVtcS-oeUxIql59-TIBUCKsnOUOOF8,461
clausal/library/countries/mali.seam,sha256=WogmVaJezSlBMDn6OcqVHAhxQ8L09V5XISQEkWxpO84,432
clausal/library/countries/malta.seam,sha256=ow01jeuMcJthfHHGBcLsjB0vIVbMB1pDg_rk4Q2_2Tc,445
clausal/library/countries/mauritania.seam,sha256=zc1B0Ba2B7Rsh_L8Mr_Ff3PDIvSAAA_d2wQ38c8uOls,487
clausal/library/countries/mauritius.seam,sha256=ErTdbyPH4HcOAp0kSSW_lhoI0MgWHr3U8o7OwgSX9w8,452
clausal/library/countries/mexico.seam,sha256=JBa508Q-ZyII5FOi67UAIyuKCV1m1zt2ZgOD4h3nu2o,457
clausal/library/countries/moldova.seam,sha256=oM5PDi_-Q3WNrGy00UQooAXtOkXLShJeaFVgQJ_L_F0,457
clausal/library/countries/monaco.seam,sha256=DPM43SF2Tvb9oEidMpUvhut4LME57bj4vYJTZA-ZbCM,440
clausal/library/countries/mongolia.seam,sha256=JtuU-Ox0aotKjyZydSeGm7zI4qXzv_TXVrRcJ5HSnGM,454
clausal/library/countries/morocco.seam,sha256=5Zo46BjyFmpoj_5yts_VZkyg2SOfe5Po-W_0AGTuxHY,453
clausal/library/countries/mozambique.seam,sha256=QImwI6O8nNETSc_HAU7qgstjvWEZJxFvDY7v_znX7ZE,496
clausal/library/countries/myanmar_burma.seam,sha256=C-dZYGsZDgSwx4dqzLKBNovo-sOPg10wYzXvhSHn60Y,470
clausal/library/countries/namibia.seam,sha256=-hxyxxvsItBHaYq71f1D3jNzYatBHYiXU9l092h0jy0,444
clausal/library/countries/nepal.seam,sha256=wZNgf9kDOhDJ8zIJkFTf0SfPc2air34qmbNKNwuOjLg,436
clausal/library/countries/netherlands.seam,sha256=FZYfbCzSvDb5TdH0349l0csKaYgIeZysrVZwEV7aFp4,460
clausal/library/countries/new_zealand.seam,sha256=47qBhEx41jbsOwdWhwdAoSk0vP4qjfwYSEXcjzaveYE,460
clausal/library/countries/nicaragua.seam,sha256=EBkajyKgGt4nC3xXi11pLIkkqpGBckBTy9PcfKOCJWI,483
clausal/library/countries/nigeria.seam,sha256=_dfBEmjQQ_qpjv8LUY8rUZMLNENm8DaClq4yso0xhak,448
clausal/library/countries/north_korea.seam,sha256=2Q8wEKxX84OL1Y3VBG27CGY2P8EbruFw401_3wStnWU,460
clausal/library/countries/north_macedonia.seam,sha256=ARobwuuLPRY3KtPgL0_xT7vkPlYxT6o09r53C_gPwlY,501
clausal/library/countries/norway.seam,sha256=48gs1iascYiSDD_9WGup0M97fd3H5n1nUwTlYHhLgcI,440
clausal/library/countries/oman.seam,sha256=TLTNrWcgbpx4sGiotp1C7R4RnMY_-u6evduZ8thsXfs,432
clausal/library/countries/pakistan.seam,sha256=yMVoCZB5VP3rZhlJEdHgSK1jg583qjtAVNTB__BYzSI,448
clausal/library/countries/panama.seam,sha256=u6udk3d1LuHShVbNBLdVHxYMngQ0sGjs1u2osLLzX0M,446
clausal/library/countries/papua_new_guinea.seam,sha256=cnL1pFCpD4DYq6TE8DVDPgqz7jPckgF94JuUaWzEmPM,482
clausal/library/countries/paraguay.seam,sha256=rYIUQ2S0ctELsTezxqLrN-6I8aAaEwTBWkpJwljK2G0,456
clausal/library/countries/peru.seam,sha256=nhIvXIv3rHcrFzsZk21Kj79as73jr8_ptE8drAF85UY,462
clausal/library/countries/philippines.seam,sha256=CSYnAmIO48kJZpyYHmKgz4CoRjxZVOITUZmVIOjVj3Q,460
clausal/library/countries/poland.seam,sha256=W81DBWBGYNSLNiTN9e7Yz7CPMSFoae69Uew13GX8gXU,465
clausal/library/countries/portugal.seam,sha256=xAOaGXdQKggcxxgygZLfwJe7yRQrGiyrJ_htiNxIEPo,448
clausal/library/countries/qatar.seam,sha256=U2uGLdD_xZHnlfPlWyYBfVwHUaeT-CptSB8kEco3-SI,436
clausal/library/countries/romania.seam,sha256=0xiKqdajxKqywGr98AK1nEKrytvea8q2-cr-750BIAc,473
clausal/library/countries/russia.seam,sha256=LQGvSoCZbMVWAWJzzDno7ssylLXHPi4ZGQF-nihnK9A,461
clausal/library/countries/rwanda.seam,sha256=HRSMNR6zJVqigJHh22LsihKYtFIqgnYX4ExQNXvYZog,440
clausal/library/countries/samoa.seam,sha256=f30MFmomcI6VppBc4cbqNQnKRz7qBa-XhO8E0_WTeRo,438
clausal/library/countries/sao_tome_principe.seam,sha256=WLi0FoJRTAEsqHGnBnSAkbVb-H_u2HqUFw94_1B2qTQ,509
clausal/library/countries/saudi_arabia.seam,sha256=SShT23nWkdayFyRp-0iyctpxVm5_sBK_VmCdfsgCj1s,464
clausal/library/countries/serbia.seam,sha256=5lnh0oVPDuHatkalU3zAq2Cz8GH4sBKG7HOVRsmow78,440
clausal/library/countries/seychelles.seam,sha256=1hIcYNkU5pYOIaoxJcuZWRxbGPh2TxqdsMZ_H-Tv7eE,456
clausal/library/countries/sierra_leone.seam,sha256=T-ZOMcfvyt7R7zVDfMU_RhRvcH3vmAZPoCyMUHDi9Jg,489
clausal/library/countries/singapore.seam,sha256=tIAZ0jrQGmwXLCIq19qNiKD6amekAJNUaWMOjvj9HSQ,452
clausal/library/countries/slovakia.seam,sha256=c5PTuoAWjYeknJvxUhNAWP0BxWMoil2cFdzUgD4Hrb4,448
clausal/library/countries/slovenia.seam,sha256=qxNk9S2GFI9YddFSH-3-DrnQrcKW7jR5sbISitGIWdA,452
clausal/library/countries/solomon_islands.seam,sha256=S5HGBqZcYOfPXV7l_ZE6qhUAjoNHg5tC0CwOK90C5Vs,476
clausal/library/countries/somalia.seam,sha256=yO0-FWoASt2a6e29D8c5lDxRJuKUhn64GStbIVBBy88,444
clausal/library/countries/south_africa.seam,sha256=Ky5NQB2nm-fFeoa8OU2vx4DcVpqQn_gNA3yO_Q0zr4Y,466
clausal/library/countries/south_korea.seam,sha256=Qq49FVoTTNnlKrWiORrb1eIddVlONeNMVPGeGx0ElQ4,490
clausal/library/countries/south_sudan.seam,sha256=fNtprM36SWrgcFtB44X15YMCOCY0odc6ARoIO1jBT1g,460
clausal/library/countries/spain.seam,sha256=bZopnx0-nL0lY_Rzx5igLtIRiJk167rar2-zJ2kFxIA,436
clausal/library/countries/sri_lanka.seam,sha256=Yg00t-7fbK2XdsvB4viy6G0JT0MGsbej4mSKcbYw_gw,452
clausal/library/countries/st_helena.seam,sha256=-22_SHlgK-dAmT6cSLLghHJ80-48FqO0NBoP7Db1sPI,452
clausal/library/countries/sudan.seam,sha256=0vf3GVThhv5Hs_35RVwKTYEw0UEqXpNQsTft5eH1y64,478
clausal/library/countries/suriname.seam,sha256=4xSpew72p4r8A_eJOT7UiHNf67Wf9Cn0VAIPAi4SbR4,457
clausal/library/countries/sweden.seam,sha256=C8wBiCtRN-IgUXkieT94FiIl2lnCJCSNOxI9Ns8OG78,440
clausal/library/countries/switzerland.seam,sha256=bLCwUhQv2h9epOwOiXCIHwCaT7bxTI64WzIbAG4j3hk,460
clausal/library/countries/syria.seam,sha256=54rCF8sq9isTkNWZ4RbL0kiRPyfs47OtO-tLW38iPak,436
clausal/library/countries/taiwan.seam,sha256=1keE2HV0oipl-cy4WesIZITnIFfoPAPZqecgCQFhBTo,440
clausal/library/countries/tajikistan.seam,sha256=RN2o7Z5_j5RjG9UK2hk6IyaVVgW0chlA-nerPPY0oB0,471
clausal/library/countries/tanzania.seam,sha256=PZygJ6dCpst6yK0snanFxpKsxia3kJTGEfFR2ZrkKZ8,448
clausal/library/countries/thailand.seam,sha256=2JZcE8joyFRxGBVkdvPlWafMl3RNArt9r9w22XjQGM0,462
clausal/library/countries/tonga.seam,sha256=M0GJJkJZChpEwOb8RpvDxKFoilzDPgAzefjI3aCxBN0,442
clausal/library/countries/trinidad_tobago.seam,sha256=8M5WGcYCnlDpACQ0d93v08jOUADG9aN-tQL5u9NCqf0,476
clausal/library/countries/tunisia.seam,sha256=dXK_GvYRNe1q8zrLc7X7Htv9cuueNaEUncYbUmDWGWM,444
clausal/library/countries/turkiye.seam,sha256=Wy5DituRSecDTTfb8SXkEVyl0XsZQr2gt1EbCw7VFfc,466
clausal/library/countries/turkmenistan.seam,sha256=lxaxIg_2Z0Dj4DatXmn4HqYazlaWVLKxJ_DjzOg42Fc,497
clausal/library/countries/uganda.seam,sha256=bIn6_2HuvYwg_WHVtdKN9mMQyUUxeUYtqae5UJ67OMo,479
clausal/library/countries/ukraine.seam,sha256=i7txJW1vkTLTaal76A5vCussobtbJXp74MnF35R_kt0,469
clausal/library/countries/united_arab_emirates.seam,sha256=DqdghQ-h_8kif7ny8vXsCH4jJkdHzvabQQjlgbG1d8k,496
clausal/library/countries/united_kingdom.seam,sha256=FpFVU8cSve3kgHU3x2DSn1YaDBsQCqi6Z3Yl2Fkogxw,490
clausal/library/countries/united_states.seam,sha256=323Nftv_7Fes24nRIR9c_Qb6JYprsRegmVOQIZYlszs,482
clausal/library/countries/uruguay.seam,sha256=bJu7IGQkSD2LDSwdqbPZHthZbzLgjrQK_cEOHpMh-1k,475
clausal/library/countries/uzbekistan.seam,sha256=-e-C0YsRBHLTkNuVjporD1ROwfdLR4G5_8kN2WTg5PE,456
clausal/library/countries/vanuatu.seam,sha256=sDulDghypP4mqQxv--y3qPMXcWj2P92sXVvNUCCBpXs,446
clausal/library/countries/venezuela.seam,sha256=z5GbE21EIFQ2loAfoIT98PVjgszI7WTpR94a-NbzAmk,506
clausal/library/countries/vietnam.seam,sha256=o7z41aJC2pCDQZVwKNMbQAmwodGNmTuphU1Qjjty94E,466
clausal/library/countries/west_african_cfa.seam,sha256=NMO5PrD7q3KV4IINlefq03mJAIRxIEvfJrE_3cGVcIg,480
clausal/library/countries/yemen.seam,sha256=Xy6FWk5ej98hMKk57dsrx2R-2v-nbE70wYtHvuK9Ft8,436
clausal/library/countries/zambia.seam,sha256=_y0GGuMKkgnEeipR20-XWqOLc-4Nm5Z0C9Ql0g-6gsY,475
clausal/library/countries/zimbabwe.seam,sha256=HJIksdQkA1zXu-wgGd5xN4MnaJdt5Ux_0Abx7BXNwbo,528
clausal/logic/AGENTS.md,sha256=pSirUR_ti7yytcPHFPdg34DsLYHvDQzMilvMPDdWIoo,7066
clausal/logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
clausal/logic/_arithmetic_core.c,sha256=J8XNIYQgAWK9tRX-nQXm0xEu0iawcpDCcIp4bN0QFMg,24826
clausal/logic/_arithmetic_core.cpython-314-aarch64-linux-gnu.so,sha256=T94dWHKGg5wTHMeu5ESQUe1olb7_d3bRTehRK1ViNp8,271224
clausal/logic/_clpb_core.c,sha256=zBCNS8sMowR5XCwttYbel0HIk9Tjr0yDu71m_Efz8vA,33190
clausal/logic/_clpb_core.cpython-314-aarch64-linux-gnu.so,sha256=_CYlyCONM4Rnowxy4eHsvYDBwxHWhrq-TAzMGgUAE0Q,288864
clausal/logic/_clpfd_core.c,sha256=Gyy__X8QE1bVwefLsX8I-ASC_A3ohRJ6WSlg0bf0SVI,22269
clausal/logic/_clpfd_core.cpython-314-aarch64-linux-gnu.so,sha256=s-iIz-ekLr0oZ0vza8q0btd4X80_btTwsYV3-1mc-J4,300312
clausal/logic/_clpfd_domain_ops.h,sha256=lyoJqUwBh60Xeqhjq4Vdk9kjsTf3--vaT0IILvf62-c,15578
clausal/logic/_clpfd_propagate.c,sha256=II9_CdjTM9VgPTOG-DO4d4xyoGrrJlnpjxS1q8i2WMg,129527
clausal/logic/_clpfd_propagate.cpython-314-aarch64-linux-gnu.so,sha256=iqNJR4Rks7P33-Cr4uo8h9Ey_V7R2okKVrmJ-tCn5fw,825040
clausal/logic/_clpr_core.c,sha256=z84psAHY49LM8RS4kMcYxd8BiS9xSWzLNyRdOLc5mbg,15469
clausal/logic/_clpr_core.cpython-314-aarch64-linux-gnu.so,sha256=m87I25l91uIIXRso7oVbtLsWVMvHIbM6g5qwRF5w79Q,280216
clausal/logic/_constraints_dif.c,sha256=r61J35l9uAg9VQ12X5I7QIFGJX_iX3s2lqzRir4Kgtw,28043
clausal/logic/_constraints_dif.cpython-314-aarch64-linux-gnu.so,sha256=8X_pVMnifPH-_tg4yORx_CzDtE_hg9qeikSnLEUw_tU,294216
clausal/logic/_lists_core.c,sha256=giNFTrj39lylRJwIA8S0lDKrDa9DYAicbHAt51oH0kY,19733
clausal/logic/_lists_core.cpython-314-aarch64-linux-gnu.so,sha256=J2wX5Eudu0Gd56pt_B6veIB22daPZ7iod7f1citgXBk,253864
clausal/logic/_tabling_core.c,sha256=3IzZyaGfVzqUm-kse8Lg9n6ljwz_ZfhzfrjuMCb6tTY,22366
clausal/logic/_tabling_core.cpython-314-aarch64-linux-gnu.so,sha256=_CZI9wroUMkkp0UNtsWCUIyrOsD8ye3NY-gBqF5QA6E,275792
clausal/logic/_trampoline_py.py,sha256=pFcp0VcTiez8vwz6Ym-UBbFih_TNxl6Iwyh63xv6t00,18420
clausal/logic/_units_flag.py,sha256=_yYIIsuH5AKEsvwGJR5G95nJneaYOgPDgBinQStNEG0,839
clausal/logic/atoms.py,sha256=2dxraL-dp1HHFGe8knTyahKgzfcGIGoCsNyFuT4SzCM,26332
clausal/logic/cells.py,sha256=Jqmar-g5ks3D2wyxstDM6w2Vy1CCAKoI_y8yed7yqV4,67575
clausal/logic/clpb.py,sha256=vxBr7PqYjNGRuuYjnTuZYRsVkDZlHCkSX1bqruzom8I,37684
clausal/logic/clpfd.py,sha256=B5g-AQSBSWWWNLXlkxPj1UXuAIK-FY484mVYYe1tnas,203963
clausal/logic/clportools.py,sha256=fswWcaund8eYBVh05gObupp-ujGfoyDjRTN3sCSG5u4,41019
clausal/logic/clportools_graph.py,sha256=XOuU3QYF5pxkP2wcGUZflz7Ouvww_b177b7yLWyW_3I,9421
clausal/logic/clportools_lp.py,sha256=FwR2KWY9f92ubyzAIVhO-uq9_TMaIuxHmFYnmHAuwBA,21563
clausal/logic/clportools_routing.py,sha256=LtODo1KASt13xPGAdugWSWnnbG2IG-9TDLvPlL08AXY,11666
clausal/logic/clpq.py,sha256=C3kKsk7ShwXYzthTO5IyVlKI96wMj2hm_hoZpq3TSI0,78393
clausal/logic/clpr.py,sha256=tmuSuJOAGAGgnAyj7H_-xfR3IwkV77RvQbB4v8s7v60,44845
clausal/logic/clpsat.py,sha256=TTclBSmKpdmEDBbO2lqrqID-RedgS0XNkObYWzS0wSU,25346
clausal/logic/clpz3.py,sha256=ed90BRnPUKdvGYeLflUu5Hxl82FkXXo-NmY5siy51dA,91800
clausal/logic/clpz_surface.py,sha256=bR_NTQrT8uV3IoAU_hKjay8bPxqO25UvpxdBR5Dn5kk,36493
clausal/logic/compiler_v2.py,sha256=vN9fzcQD9Ujzo7TtHi5fTbvVDUV6WDunsqwcX7nSzLk,179910
clausal/logic/constants.py,sha256=J0ztnwcbcVthmBy0W7S8_Yf_hGbwMlpGTNvtvY7YvHM,25572
clausal/logic/constraints.py,sha256=NuUZMRIINzxKWn1Kbzz3Q4Z32yUpOtCrf4ZS7tnehQE,14372
clausal/logic/coroutining.py,sha256=LBSyljglFSMm1vjXlcPtfiKTX0_a8Fy-kAqPw_fgJSM,7119
clausal/logic/database.py,sha256=kAnY4vmAOwxUP7c8Z9khZAmOQsOd7mTdZ-J5dJgswhQ,106976
clausal/logic/dialect_edge.py,sha256=OuZ7yGPdDgCSvQWaH_jATPUc0CCIxOShjI4L8SKeWdg,8770
clausal/logic/exact_arith.py,sha256=cpjg4hQmmZtD7kePCOMMKsk00iWed9J10y-NL-6sYeI,42960
clausal/logic/exceptions.py,sha256=t3Nc1VSCnp_z_h39NM_9FtbOOdZHguUoIR2AvxvMIFs,31710
clausal/logic/generated_names.py,sha256=qANjkQFYYHJKiVYnmLDScrxGMR3Qq5SlURhrw7jmU8s,7181
clausal/logic/goal_expansion.py,sha256=vomLSW104lQiOGCRY08kvsKamqGUZ49tsBV6ZRnKP6w,26490
clausal/logic/meta_predicate.py,sha256=ZGFYnP3IcqJ3JsF8JxTi3LverI8kbVLGafrebXzXeII,15574
clausal/logic/predicate.py,sha256=QSBDHoLyhNA_5SUvh8Z89y9myZlAMZJ8uz7_gaanDTQ,134846
clausal/logic/python_terms.py,sha256=wfYZcfhV2ujDCOMkcKvH3NDqLvHSAyYoffDedst0FEg,31992
clausal/logic/reif.py,sha256=2De5QuURrUcVepTVx89Kh5TElVGFTdtALcCvQXk0SDg,3725
clausal/logic/seam.py,sha256=We4HX9uCtBS5AoDV27LfRVcOE9TIlpHCtxAzA47JnZA,54806
clausal/logic/solve.py,sha256=ZiIKlev5xdJl28d8qcIL3cyi5psB2JEo07miJHEM_Hk,112541
clausal/logic/specialization.py,sha256=f3wmFUsjUlsnsF7NNDBk8CsFJ3oXpwK9uB4lP5Y0xEs,91188
clausal/logic/stratification.py,sha256=r1Vsh8UWEZnKcLfArTFasxnuaAmFDNloR2ca_4SZoI4,9959
clausal/logic/tabling.py,sha256=MDJXMWoZI3v-tyd93Wckv_VVm2uEliL2r-bWLP5KV0E,74383
clausal/logic/term_expansion.py,sha256=SfyDozoaGpk1J35E__4uboHHijMv4jjJ03QHXVb464Y,33277
clausal/logic/to_python.py,sha256=LxrYLd_YtPLno26BjeQKzCtlNUp_Xr-66Dpg4QzN6B8,22398
clausal/logic/trampoline.py,sha256=EofTBxjtGNKmIsGYZxzkEjUtHKFXaQ4tMgGO2p9jZZs,5815
clausal/logic/translations.py,sha256=ZrjQ1pYN7YGnRHhP8Td9GNIL_yL_ZLrNSVJ6P9yCh9Q,5180
clausal/logic/units_clp.py,sha256=3I1ocCeCfxdu4mkSZsMhG3wMmbEXdj3AlGhIZvuRa-8,39157
clausal/logic/units_constraint.py,sha256=eQ2SoY2IE6ePa39XjQI4L7sj961YReZYbp3iaoOILAA,7351
clausal/logic/builtins/AGENTS.md,sha256=uzkbNJlZ-Pn5gqH8hMXf4plyPStLFdEbbDdI6MhpFnc,5181
clausal/logic/builtins/__init__.py,sha256=y7SA2CGbL9eJO8cmtV1kktJGs_LbeW5XNyvowORgkZ4,4904
clausal/logic/builtins/_chars_core.c,sha256=t9xOnuABi531hFbLoqMeE7vdg4VPZhifvlvBTCZii8c,24763
clausal/logic/builtins/_chars_core.cpython-314-aarch64-linux-gnu.so,sha256=k9B--bd-nLO-xzBlXEmizPMOGfNPqaZyarsdv3U1m1Y,273008
clausal/logic/builtins/_helpers.py,sha256=sFk15wLfSMV3u6UKrJKJCTnWyx_nZOedfl5pSXDIJc8,44016
clausal/logic/builtins/_registry.py,sha256=KdYKWqiUQ_eZC6vz4ScpXaOoVo0oH3CLcjiy2f8i5bc,28914
clausal/logic/builtins/arithmetic.py,sha256=As77-FkBlGCu_vrbQqSjLyFN9yj6dMuQoFojLlKQOLU,28033
clausal/logic/builtins/attributes.py,sha256=11rSYJEEz2ttZeCmEee8gUiswJHiLDcUAP2BiMZppow,9596
clausal/logic/builtins/call_body.py,sha256=H5ciUJfFD8D_x_qCk51NTgapibYMpRhlBvdhN8LBDYI,35618
clausal/logic/builtins/chars.py,sha256=wzgmfWclYqv99vLCZMW7hGBD8JHvlSlIj5RpyFkWiOg,41308
clausal/logic/builtins/clause_ops.py,sha256=8OCL1O9gvi_XEYEpA_Szr7Vj9Pp3lqWfnTwKNgVsrhI,36475
clausal/logic/builtins/clpz_names.py,sha256=fjunx1jXPmKtmvZZqXcdzm3o7gOv0UqGodv_iQTpJx0,32412
clausal/logic/builtins/constraints.py,sha256=3UO0fq_LxffOgxfx4hFZhGb9Of99jBFGyqGMnoP6WmU,17004
clausal/logic/builtins/control.py,sha256=yzgQcTVUiW06wXi3fMDCc2b-NCi-3IpZPsdDYKw2JOY,12228
clausal/logic/builtins/database_ops.py,sha256=g45Npv52qd8LpXXktJWu9x4eGcAwiTg5R_8IKNbMVAk,61209
clausal/logic/builtins/dcg.py,sha256=beOpSOUkwGlzyEbXmTGNeHwDgB1VvuRjQxAt4M5VrZ8,28224
clausal/logic/builtins/dict_set.py,sha256=amvFZOIDUIAJoBknfW3U2tLas_xDRxFLQu6_ACkaPPA,29064
clausal/logic/builtins/flags.py,sha256=e3Y4x9ASa2Vf-VhywiuxGhP4qloL1_lmZVwg4kd2rfM,12021
clausal/logic/builtins/higher_order.py,sha256=oeMtli6i1xroQaliQdtawsGoCWi7c6ZH1XirKPrE0KM,82849
clausal/logic/builtins/inspection.py,sha256=xF9FOTNc-DNvu9n2l_snRBdNU3QIQLeklUXFDsblDGM,55318
clausal/logic/builtins/io.py,sha256=IPkpdcuO4rbio_Jhas8KmXi3QAeShYyULGG7aeKE6rg,57354
clausal/logic/builtins/iso_compare.py,sha256=13OKPI6GnlKZW8trz-5OKMn8HxJS5kK23jzIXWra16c,29444
clausal/logic/builtins/keyword_ops.py,sha256=dhxoG6A_-QxDA_KULX-8Tx8BdTndF2fnD-RZosN4IlY,7492
clausal/logic/builtins/lambda_lib.py,sha256=e0MEm49CH8l3zH7FgEavtTmIXza89dKp71rMDTnSr9w,5790
clausal/logic/builtins/lists.py,sha256=oXOg3HGpPwnMQu7MCORCggYAq-lX2xxKi-yEyH26Ja0,72977
clausal/logic/builtins/ortools_constraints.py,sha256=x616Be5Lu9_7RHa0pIKRzOYp_8szj5dxqmgbIPv61EY,15565
clausal/logic/builtins/pairs.py,sha256=UWWh0QFOpg3yhjxhmTTitr6T0YlyzYCaO2K7FVX0UX4,11651
clausal/logic/builtins/sat_constraints.py,sha256=4xUCmb-a_Hja_zt6OiOnbXdIgfSSXSOoQpWPOGLaP78,4026
clausal/logic/builtins/translations_builtin.py,sha256=904ok4Q2w-Mq2Wtc6ebFaISQXkOILnSqVA8l5SUfdXs,2369
clausal/logic/builtins/type_checks.py,sha256=oFQDiDBVNb7jcVMZ_cG_xN5kTpSmzrZQGw95CH3rIA4,25520
clausal/logic/builtins/z3_constraints.py,sha256=l1VeGnE-0-eigT0AOBC6FTPUzqUAYgQ_DrHX8-vl_4M,36248
clausal/logic/compiler/AGENTS.md,sha256=6Y5FBdqAgf79DXy58Xf4iXQI_Ih8V6iG5UFm0_86BnE,3251
clausal/logic/compiler/README.md,sha256=qXTegiXnrbI0ZPxUsM9aGOxGLktG1plefbs3yI_4Mko,37204
clausal/logic/compiler/__init__.py,sha256=-zvRYkBz4nITbuMzqA0OXTP3VAm_9TEwagGgazxf9uA,2127
clausal/logic/compiler/_ast_helpers.py,sha256=D1Z_DO1Va9VA1dEsJ6E6HpHcWPwKO3l9bpuPz7xo7As,14742
clausal/logic/compiler/_lower_goalop_shared.py,sha256=nQ7MgGHUkp0k6CzmDQVGdKMfq1vp_T6RshqrMCzpVpw,35589
clausal/logic/compiler/_vars.py,sha256=QIZI0ncGuZ9zu1bmEKgLoulfpAE-a0Vfzc2SMzFJafk,7100
clausal/logic/compiler/arg_index.py,sha256=YP0V2rZcGG0U3sbUmsD6wKqaBOIH4GZFSlVQf5YmkDk,69552
clausal/logic/compiler/compile_ctx.py,sha256=Rjn777KMF4VC-TwJPIDrZUeLP61xhqhKfO5rkUqDStw,13463
clausal/logic/compiler/control_constructs.py,sha256=vfgXOdEoaO38WI48mRW4DqffbU0aTdmGKcxzzwMK0b4,48667
clausal/logic/compiler/destructive_reuse.py,sha256=bREFjFCU28QFKIVwJJfgSNNFtfw0ugbkLFXjxZhGiIs,9481
clausal/logic/compiler/globals_env.py,sha256=Kom4Bnp39uecEMQKBbk1Q3Q4FJzA_-zgQEPnu5QntkY,76937
clausal/logic/compiler/goal_shallow.py,sha256=Y2m6cGvp9q6rWzTt-AGHOD_Ph_ZsdBKSRwqm_dOZ9jk,22086
clausal/logic/compiler/goal_trampoline.py,sha256=fnunyROaBgEM6chSG_FR6G1zBoaaMkJSnUGbIF08_4g,25429
clausal/logic/compiler/head_match.py,sha256=hErZeOTlEos9aeFKqysqvEX3d8n5aQI7lWnBUr23w30,94032
clausal/logic/compiler/invariants.py,sha256=15pTJL0sEMb5RVe356jmix_r6pblDM2ZfMxvYNTpfgk,15017
clausal/logic/compiler/ir.py,sha256=1EqOMDtG7d7DM1zSzw8-ay6WWuTJExi9uARcPa02wdg,26387
clausal/logic/compiler/ite_reified.py,sha256=tA5qGz795aDe-YrswFK0_vGgZJCZbItULqeFrnxaXXY,6702
clausal/logic/compiler/list_dispatch.py,sha256=02Z4onOnK-epzVyExWbEFedKaIPrUzLnbX1KfXU37wI,29493
clausal/logic/compiler/lower_python_shallow.py,sha256=g4hbVeUm9O1vNVThrMaTQdRvelHEedtUGDAy1kRSqZU,3688
clausal/logic/compiler/lower_python_trampoline.py,sha256=JlT-z-gTW7fPdYIjvy0K67Oz_FgHAs-k-ZbxSqvA7Ps,5488
clausal/logic/compiler/predicate.py,sha256=XYJDS5A7VETSbH0FhzoK8WUqt5IbwIAjqDAhQ2RzWmo,123521
clausal/logic/compiler/star_segments.py,sha256=hg-xLEwDJE0SQZ9ybBi-E9opezv48s79cxJ1Ed6r5o4,4143
clausal/logic/compiler/strategy.py,sha256=aa3DmPo8aIjlLplW7C_GEkxJrGTm3H_TGXASCL7rwvY,7594
clausal/logic/compiler/tabled_naf.py,sha256=e0j_VMNLVuxevYpK3sjR0LACvIBLCL2OMcr4G9tU6lg,4634
clausal/logic/compiler/terms_to_ast.py,sha256=5IC6W8erQ23uHRbIAkoBdkG26QG45XXsz7MBBDpHeHk,105238
clausal/logic/compiler/terms_to_goalop.py,sha256=Y7bx6YZp-V3Tfj0Xybr5ulKhj32SLYo46rUxmhH2SO0,47889
clausal/logic/compiler/tro.py,sha256=t-Wqrr1BzcEfZ0F2n_OXdovg9RbzbpKdxcXdYybNH4I,29722
clausal/logic/compiler/optimisations/__init__.py,sha256=pqnFxcybzwq54tDumNaDr1rz30Ez_D0We-AvE3XRBr8,1112
clausal/logic/compiler/optimisations/call_site.py,sha256=o_CpJ_0I17CREqpgAKO4I1CHQH94bTJtm-AAfF8PeO0,10124
clausal/logic/compiler/optimisations/continuation_tco.py,sha256=9WcnR8txLJxQSUrjq66jiwWXwLq63K4AucEKJWEpt6Q,4562
clausal/logic/compiler/optimisations/destructive_reuse.py,sha256=CGQ7ICtUxBC6qFe7bX4tMrz8SPJMNT1GFEXiqG6eMl8,3559
clausal/logic/compiler/optimisations/tro.py,sha256=nJvOSUiGNyw0dIHZI5NycYEaMHOdwfT5euJoawvAgyo,3670
clausal/logic/runtime/__init__.py,sha256=hXfApiXlVuo-Y5FLPjzItDdEFItg_oW9ndex3oYzLzg,1310
clausal/logic/runtime/_list_unify.c,sha256=OVPjyKTogtRNLj1dOLcmtkDWEOZnSjUwVSQEOTAw6Kg,39059
clausal/logic/runtime/_list_unify.cpython-314-aarch64-linux-gnu.so,sha256=_H1l_bDW5cfiHDjXrhEAOg3JBiKl5-PBW_Z5Mx0M4-U,347184
clausal/logic/runtime/_seg_helpers.py,sha256=17N42VtIbao4GjJFVt2it7I_5_RIZx1BX1G8K7Wec4I,6722
clausal/logic/runtime/_trampoline.c,sha256=8vowF5j7wk-c27gyIACV5HUsa8hWNM2W9WwTBqwA-pQ,37997
clausal/logic/runtime/_trampoline.cpython-314-aarch64-linux-gnu.so,sha256=cuQY_yFcH7RjA-oybBWvNNWGsrf88uLsGWvi6MC4rhM,266296
clausal/logic/runtime/body_star_unify.py,sha256=1pwRokw1QuIc8LC3Pj2uq-hgVmNmcj_8zkEG07hybi4,32757
clausal/logic/runtime/const_set.py,sha256=szWpBabdPfwYf7EztIlU0hljzoy3lvZKrBWqMtxNfUQ,9503
clausal/logic/runtime/dict_ops.py,sha256=ZQwoi1X_kmpoD8EuyVxG3RA9IZ7K09hBiJ-JitAjmb0,5309
clausal/logic/runtime/list_unify.py,sha256=WeW1fpgHo5KXTEUTRpdf0kUl7SkVwDCVmo6PRtXgjtM,18651
clausal/logic/runtime/tramp_call.py,sha256=pY9r0MLa5ytjtljVmLqhFPUDktxQdAwmJLOLGn3dB8c,2152
clausal/logic/variables/__init__.py,sha256=r6Z-QCBQj5xKerLvJATOlrOq62qjuCIK6WTraS-hfqE,5688
clausal/logic/variables/_ft_compat.h,sha256=LPLtpyBEGqujY7JHOjhP8hzCpb1SpCyaqgBiy3U7RcI,4855
clausal/logic/variables/_variables.c,sha256=huulCNlsOMfmC1IWQSWFWwXR4vK4U207QAaL9WGqOg4,143004
clausal/logic/variables/_variables.cpython-314-aarch64-linux-gnu.so,sha256=CSjzM__-JSh5DSHDnf31rgpQIuX7G3QlVT3_jmXX_Mk,526376
clausal/logic/variables/_variables_capi.h,sha256=Q3u2TT9yUL9DX7wMNb6hG8G-1cwwtiW9Ajei056pIUk,4919
clausal/modules/AGENTS.md,sha256=Ji8Nn3L6_tlDnepnz0JG2ERAyi86woHZd9zBgui5qXs,4272
clausal/modules/__init__.py,sha256=m5uMyAyBdfI_AuidOtb4YClJBqBOVrTR89pHJqKR3vE,2528
clausal/modules/_ratio_data.py,sha256=v_CzFVjkv51klkTmM_7ZpjzAGLYz6-f7MQcEqArmgFg,1343
clausal/modules/_unit_registry.py,sha256=dZ-4VWULEVPsyuOMjUFDftDGsMA3SWC6fkh71xHE3bc,2965
clausal/modules/currency.py,sha256=oSsh2JkZHO3VgnoitviW1NrB57e2ugTaMoBzwNfm8Yc,13043
clausal/modules/graphs.py,sha256=9RY9rBDjXRET7j1cR2HA5lYIA6lXcXe6nslKZRU-uuU,31256
clausal/modules/imperial.py,sha256=pEV7-wOIGFoYGH9zsnfCDDsaY_yGuQXkP0-y4ASryQU,8800
clausal/modules/prolog.py,sha256=hsUydv9fWeCoVukiFLwC2QJI4EYLPrbUuYnEegpVUS4,1704
clausal/modules/reflection.py,sha256=4BnWJv2KoE5wo7PqF3e29svmyo-7iYY0oNXYK9MemqA,22892
clausal/modules/units.py,sha256=7av1InBHi2ECVT1k8ggcjIeW33rh1cuOefklH0odVic,42834
clausal/modules/countries/__init__.py,sha256=8NfPb7gFgI3eFPWSy1tq18nEUv_qXtd6V1uWtlxBwkQ,367
clausal/modules/countries/_currency.py,sha256=R-Lxt6njEnYevNgmJI-9yBWdHpHzuayyH6w4fFbu1H8,4735
clausal/modules/countries/_data.py,sha256=CGW6xCl_AKFH8TxNvZY8ycGNlJVwUx_qmQI-7UJXLCI,49058
clausal/modules/countries/afghanistan.py,sha256=ioQNF8tYkUZw1sFEbBPBttqgSQiZJxRtGN-kZwc4SpA,369
clausal/modules/countries/albania.py,sha256=b_PELcIfzpqJVwZeKlQvIbnTTmkWHM3_bk9j2nVwUfM,341
clausal/modules/countries/algeria.py,sha256=-QhnprubNrjkxoPPeca0eGjbZXMDqUJ6DxLBcr_5x7A,188
clausal/modules/countries/andorra.py,sha256=VQLildNZNKofaAWGSX-3TAIrYtK5zgQpVn8U0H5snFk,215
clausal/modules/countries/angola.py,sha256=eO3Ihp7V-QKUzgxKfs-2FXCYmiG5xqNN1xgJClNF9Ds,675
clausal/modules/countries/argentina.py,sha256=Esb7Jnrr84N12aVnAmUSjQ7BKmoQff7UaYINBPwg1OE,774
clausal/modules/countries/armenia.py,sha256=xVtAFbXdc7Otmii7rWH2BmnY_Wf5PFVGgtj7m9ADBuQ,187
clausal/modules/countries/aruba.py,sha256=riETmH37OOlDOfIrmnrUfTFtgk6DDty6pK3sbywYQa0,191
clausal/modules/countries/australia.py,sha256=ggg3W4CU8Jr7i6VcOVkfR0ZRy7astZXHtjLYa9XSEgw,242
clausal/modules/countries/austria.py,sha256=47uzIVSgWj1ywA8DDn4FV04wvVLzP0C0Pz5tOvHfwfo,227
clausal/modules/countries/azerbaijan.py,sha256=z_QDVSVShUOtGb5XuVQw-nkhYwP_h0uwEOv4TEmcCSA,354
clausal/modules/countries/bahamas.py,sha256=B27z6Pa9NHryulhQGxkghEzVIeDvXcbyLwhVA--dq2M,190
clausal/modules/countries/bahrain.py,sha256=oLu7LAhKQJtNGqoYf9-64dFIyNsyNRYL7w3smrIlRZQ,187
clausal/modules/countries/bangladesh.py,sha256=wk8-pecjp0CIwXY5i4CW6UBAtX61Y1tI4n8sW8hyD6g,190
clausal/modules/countries/barbados.py,sha256=qrEUpVdtUnNDqxbGkuMhcv36fixZRcIc8gAH2ULg0ek,191
clausal/modules/countries/belarus.py,sha256=K03K7SQ9fMCsHo8eY16PxjWRhHZyAPnNY51NvekoQBs,514
clausal/modules/countries/belgium.py,sha256=OxE2jVc-HPMDCQhuKYrl3pazKDviZi5zA9tBAN9i-pU,213
clausal/modules/countries/belize.py,sha256=8p1Tdcwfgudq05WMwiVCALUo5xs4gKis6nZvSkJGnuQ,189
clausal/modules/countries/bermuda.py,sha256=bsajYdjHjHMIQdk-UNTbNOxMOI3ZwYqh4_fIf_xOp8I,190
clausal/modules/countries/bhutan.py,sha256=WsfIhsd2z6St4aBC9zdkt7jvFeMHNi_53t8Apab8BoE,198
clausal/modules/countries/bolivia.py,sha256=9tMRgpwPC7CwcPMDfljXSpUNZZkJEVflEVrDFwCeamM,506
clausal/modules/countries/bosnia_herzegovina.py,sha256=SWKiX8P-jsaXesZ51lCvZohS8Y4A4E6R2LqGO27N6no,506
clausal/modules/countries/botswana.py,sha256=5M1RcZkaNeGZvCIXW2hbaIClP1oCMmeMdeYUJAN9Ecg,188
clausal/modules/countries/brazil.py,sha256=1tPJir1RSUBYGhwlAvjeN3woUbuM_2Pxly4s9F55HxI,1175
clausal/modules/countries/brunei.py,sha256=7psjE-HL--O6xyohPTuVRSNEhB1VLS7a_gxi3P9aaKc,189
clausal/modules/countries/bulgaria.py,sha256=zN9OHrZej9Fo6tGrNdvEOAzu1Ode0Jk7NPk3mZpeRIE,641
clausal/modules/countries/burundi.py,sha256=Q6YwoIDpB3vTcNuOmj5QZTnsxkAE9XlDtz48qNoaOYY,188
clausal/modules/countries/cambodia.py,sha256=B_vuQYXW31EqFRelr04TWWWgz-6O16Lf1OX_X7pakqk,188
clausal/modules/countries/canada.py,sha256=PnvdYv29u1hHjtmUCWtHVBg7SgKbTJ5uWSVcztOZM54,189
clausal/modules/countries/cape_verde.py,sha256=lKHLKRyUKzKv0vGn131OIxnI_KUvNbyB539VKhwmPKw,196
clausal/modules/countries/cayman_islands.py,sha256=39miOYTOLDIc8hEdFI5o2B8Xu_fZQyYu6zhzOWYHxLg,197
clausal/modules/countries/central_african_cfa.py,sha256=bokoTtSfmUM_Zntd4jrHXHAWQ6FPBF95jDgyMFOLVwk,201
clausal/modules/countries/cfp_franc.py,sha256=oSbHSAFfjk0WE7WEOnqELonV5yW9dbtsrMUtVogx1Hs,191
clausal/modules/countries/chile.py,sha256=rVEXQpqcvL8Zab9jDh-_IeoGpeeTw5GYJejgZ1cO8tE,317
clausal/modules/countries/china.py,sha256=N7XZITYbqbiwXOkOHtHcRPdD2hAGMZewB8j7S0Is6vM,186
clausal/modules/countries/colombia.py,sha256=BfKwQJku3PdLel18e_jUrksWf_RcW5qHyVMjuZr5LH8,187
clausal/modules/countries/comoros.py,sha256=luM946wmiFR_OSdSWN-wAhPMyKpY46yV6xBpj4Sydjk,188
clausal/modules/countries/congo_kinshasa.py,sha256=3_owaCNvDliBpkH1or1b2vUldAgOcj3ZZ1VkMo6U7Ek,195
clausal/modules/countries/costa_rica.py,sha256=V2tshNFY8DAthLxmHm-JMx9zsCrXyuegmsvWozK1GhA,193
clausal/modules/countries/croatia.py,sha256=SPs_XcFacb_MXIN68--2Loe5CtYnA0xw6XSKzsE0NDA,343
clausal/modules/countries/cuba.py,sha256=u0MIrmXwOt_1XYNwFm_PAn8DzE-SSwYOWkP8_v5GJMI,349
clausal/modules/countries/cyprus.py,sha256=vrK3Zq_X8kiQleQImR6UxPbQ5sKxruUXz4usqm4Ikd4,212
clausal/modules/countries/czechia.py,sha256=w5KZaU6UPx7uTu4mLLVElwl2sthUhSkm6OytsNMmVoI,193
clausal/modules/countries/denmark.py,sha256=agKlv44q6bzTU86iiZXzzmmInbRYOKIfs78_mCotQOs,188
clausal/modules/countries/djibouti.py,sha256=otyLo4UsW27vrkh4oT0PuBNNCA1QhMupKpp7OZ_lCKQ,189
clausal/modules/countries/dominican_republic.py,sha256=_uteMrc4nxGtkXt_I8rcgDsD4H50n-53AwK1T3RGsO8,197
clausal/modules/countries/dutch_caribbean.py,sha256=xa4_lnzE7Ck_zUKpiNniyYK0LtDctXPLaLdkpEWjwZY,204
clausal/modules/countries/east_caribbean.py,sha256=4KpmsTi3lBNAc0rP1FM0hNeHPR5uYe7dpR5AMq5bsnk,197
clausal/modules/countries/ecuador.py,sha256=JF6Wg1mVemA3tvNH34b9hOLWEcWU-O9uoq1wF_fZclw,215
clausal/modules/countries/egypt.py,sha256=TfJBIkJtSWypGQmrY3QGboZ4lkXqDw0Rn-LanXB-Prc,186
clausal/modules/countries/el_salvador.py,sha256=9mXOaG3Okqovp5U9DyM_J1BoFNnH_ahGbcUtGmW1NDQ,217
clausal/modules/countries/equatorial_guinea.py,sha256=_dXfAfF6a5YdviLp8UsvH8aYiC6RxZRkseaCzhhuYD0,228
clausal/modules/countries/eritrea.py,sha256=f-BmqIURTngiUUBQY14LbcDDauvWVOGgDhOCdkX31zE,190
clausal/modules/countries/estonia.py,sha256=tlX7qj3kXS355M8FO3l68cu35rDfigVMVKiN9p_HzlE,215
clausal/modules/countries/eswatini.py,sha256=xlJXSkUeMViY15vzZGwavcPEXjIkAz5UzF5GtSukewU,203
clausal/modules/countries/ethiopia.py,sha256=x22SRdKOvcraVEKp6Ks-AvUndmM9cy00QELngnmOA30,188
clausal/modules/countries/european_union.py,sha256=7FiBW1O-bUMvQkvVS0xrB4CRXPafLvCbxBzPU5aVNPg,246
clausal/modules/countries/falkland_islands.py,sha256=Fr-WQgwFcZ9K_IDSn0Vp647dePlFax-1tD5jDnSEucY,197
clausal/modules/countries/fiji.py,sha256=Nrt4KIpxLu7Jk5TaMnLJvxCEWAdVQo9doF98ai62aeg,187
clausal/modules/countries/finland.py,sha256=EqPvuunbX3-37Y6mz7zG4OxTLYy_C-Tg5Eo2AJ6zRPo,218
clausal/modules/countries/france.py,sha256=JXMh6Q-R-MmjhisDDQrxxY2GeZwWFeXKskuZtafiYO4,212
clausal/modules/countries/gambia.py,sha256=lEJBzROtlU9KfWJGjaoUmI8yog5P7kuIyG2f-fdOedA,192
clausal/modules/countries/georgia.py,sha256=SHVYth3yaz_Q_twFZJU1qha2THlnhL5FgRlRp_4_UzA,320
clausal/modules/countries/germany.py,sha256=h_SafrCrs8fj1sD6WJP5lMEfd1utdDDYPT_WL54egBE,211
clausal/modules/countries/ghana.py,sha256=ASJhgec8FSu2wEStsf9hwM2VfcAUdnWCHiz-ivhgH_g,345
clausal/modules/countries/gibraltar.py,sha256=IuS4IKnto4MhkFHTL405zaWFXKaNS8Ju_sIxAHY7A20,190
clausal/modules/countries/greece.py,sha256=OeMQG487O0uRKKUa4C6zYPWggyZKlRGtynmTlJT0GTA,220
clausal/modules/countries/guatemala.py,sha256=DanQLVSzWKS4gk9Fr_aenwiEbxHXRATaTxCPFmACdgM,198
clausal/modules/countries/guinea.py,sha256=J8qiE8HCc5YRisXLMzunQouc4MO5JmM5cR5uvPmntus,317
clausal/modules/countries/guinea_bissau.py,sha256=kIk2ljiZjQf0_Tf3ip0lGKdrDIcZgU8-OWUf08dpN9g,350
clausal/modules/countries/guyana.py,sha256=GJEDftCIoJ37q3N0jdvVvItV2iGNikddERcNCj_dQSw,189
clausal/modules/countries/haiti.py,sha256=obX02492cCvU0EsXTHiyNnnxjW275spMC2BfoEsL-i4,191
clausal/modules/countries/honduras.py,sha256=nkZkddyrPQ0ubx5VjDVV7U_0dOyhJIbW6Lmtvb9bbtU,197
clausal/modules/countries/hong_kong_sar_china.py,sha256=vikGD-st-87tVmGstVCLepemo87Dv_3E67Bg8ADmYl8,202
clausal/modules/countries/hungary.py,sha256=zIKCbYayeKMZ3Int5QShEWrclLeEJn29XX9NMtxAk_A,193
clausal/modules/countries/iceland.py,sha256=JU6sfdFr7vUX786nlxuV95s4QQeJgaxZ9BguiFSfgyY,351
clausal/modules/countries/india.py,sha256=FMc8CySzc3w2yNL-fzZjc3R-hr6xil1MUlKHMqiP0d8,186
clausal/modules/countries/indonesia.py,sha256=EYg7V8tjTsJQnDCvEPQgzNjND-CgKd4WDvpuVrRIvh8,195
clausal/modules/countries/iran.py,sha256=7GTRSLD5f195B8vWeu2flCmCN8NuyYEszXgHhyVh6-Q,183
clausal/modules/countries/iraq.py,sha256=N6tsAVk4EeSa5tOlgYVoo88Qm62BZnhk1Nfxet-9Ibc,185
clausal/modules/countries/ireland.py,sha256=tsByBUcly7YSt0-giTP4m4zvty-kzpDkBi8ijWGFNoQ,213
clausal/modules/countries/israel.py,sha256=6IE9eUybU78PwDX_zE2jJquy7hTkw92I320OIuJc56s,489
clausal/modules/countries/italy.py,sha256=RA_SGjogTCmeic67P_wK-Shg-GvEtMargDcGOu4bSGs,209
clausal/modules/countries/jamaica.py,sha256=4L5PLEaM9Hq9LySEA_TZOXZd-3Qz4snQnfaZRsFUiZ8,190
clausal/modules/countries/japan.py,sha256=49nys3q7MyLyCmrsQ69K2Op8iftnwiRqmxc1aoXdkpw,181
clausal/modules/countries/jordan.py,sha256=_KvNftL9CYaFXWVbL9EEfWPn1t8CngBq51goIprxP24,187
clausal/modules/countries/kazakhstan.py,sha256=Q5z8cTNTZhHrTAGQDu-1bpO1eiTuyLtU5_TLdP78ZlI,193
clausal/modules/countries/kenya.py,sha256=MdU3qQ7phfeaCcQLomry4jfX-F5noAcHxQx6jVsQgr8,192
clausal/modules/countries/kuwait.py,sha256=VoexDTdc8Kk09hwXMCh234kf4_F0DtqeBsoXVjKotGg,187
clausal/modules/countries/kyrgyzstan.py,sha256=YyI2YFKRb65rh-vm2Bz3zcMjANcUbFLo-MiqxpFDU_Y,187
clausal/modules/countries/laos.py,sha256=6Dc5XdyxYcjKdfmWGUDSuEvxsyyZALUZXpN_vEoVD_Q,181
clausal/modules/countries/latvia.py,sha256=cZvtLEaYMdBrRxruq0amKzS7WgKjQw3Sr6AXuzYxo4g,342
clausal/modules/countries/lebanon.py,sha256=IX4K6iAEOz82UFFXS6WaR6sUZ09o9XMoiiM0USI_zYM,188
clausal/modules/countries/lesotho.py,sha256=Bugce7yBpC7eUP272vYSjtWEoMj3F1Y5bwi824S0EZk,187
clausal/modules/countries/liberia.py,sha256=Zl9Cc2Ix_qUtodBL6jNsyuzGYVNAoU8Bm-QhDCpGhb4,190
clausal/modules/countries/libya.py,sha256=2-MtcrJTL51fukLiKqZ5n4lXs4GICLWNqJ8QRh1-rGE,186
clausal/modules/countries/lithuania.py,sha256=Bl78SpAAMpBfSjmfsWTvzW0Ke5eIm6ioke2sDSKMNv4,356
clausal/modules/countries/luxembourg.py,sha256=5FTinHB9eDSZAJ9UolwX1jux52QatH2mGiXxVqNIAQY,216
clausal/modules/countries/macao_sar_china.py,sha256=8fOPXFAS8xF4qNuSE0SNq6OtO7Buld9hXf2CVRU7iLY,201
clausal/modules/countries/madagascar.py,sha256=OJlPRx11v5Zurg8N_gzTHOpXLut5R-MntW897CK0LCE,327
clausal/modules/countries/malawi.py,sha256=VFT6qjepGcpYKe5cNSCQvCIv-6bUvSfKnixErk9xDpo,189
clausal/modules/countries/malaysia.py,sha256=SczSm9ohu_YKzDn1JgZPbMZHBA4v6TYt057n02-MY8Q,197
clausal/modules/countries/maldives.py,sha256=m7jlXBdj62sxoP2av8zbpi-UIvW97WTXJhC7gHrQDtY,328
clausal/modules/countries/mali.py,sha256=sXW0EKSU-AMzppLjRdHWZOPvfjW3-P24f5m-Z3KG5ZU,210
clausal/modules/countries/malta.py,sha256=x8rY-PsDG4hW5cgqEOr7yZBapB_s0o-ERjeUIexUGj4,340
clausal/modules/countries/mauritania.py,sha256=4ZtGVq7-6SXi3gkpD01ZYeMTfxwRflaa_41BLhGxcEY,368
clausal/modules/countries/mauritius.py,sha256=RjIKyFyfhmE3W_z8CVpbIUg1ZnNFII2d-7M4Durj7Vs,190
clausal/modules/countries/mexico.py,sha256=I9v8ndIomPMdiXjXd3AiLyBA5AnKvl3YK0ACbMNsXGU,336
clausal/modules/countries/moldova.py,sha256=24S97JNX32nAHgAqV4pLhiL6ezu-KHG3VvwQFP_fmzo,317
clausal/modules/countries/monaco.py,sha256=VcgLFfZe-ejFHU6nWi4inx1P8MA65AFqUwHBbYhcg9o,212
clausal/modules/countries/mongolia.py,sha256=DOvjs10PyhUqgFNmAjKonnjkVhw7zJPmalXs3Ak0Qyg,194
clausal/modules/countries/morocco.py,sha256=A-c2w7WJ5DYn3HcY5Bc4ZqHwuLpucUHLNGNRjhijZr4,321
clausal/modules/countries/mozambique.py,sha256=1qb2h_UFFfg2pgyiisNhNFlJWsIajQi_L6LX609cGA8,501
clausal/modules/countries/myanmar_burma.py,sha256=hdQloxefXxGgrBM_TxaIflSHHQyEtQFG52VWhmhDdEQ,193
clausal/modules/countries/namibia.py,sha256=x_j8DViqbAgriWnFEfUp_uVGSwwxr0p3ihEfizYr6ow,190
clausal/modules/countries/nepal.py,sha256=uybwkLLpTfqOu8BQSaxFlTyf2HAkLQvpmpmnW0PQfVU,186
clausal/modules/countries/netherlands.py,sha256=St0ciYj7tTlo7dAHnU8PHkn1yeIUnpYqtr9UFJ_vYwI,221
clausal/modules/countries/new_zealand.py,sha256=lHNnUskXiqn2ggDufe37IQyV482-D5LkGeWkQxV7KF4,194
clausal/modules/countries/nicaragua.py,sha256=f95GGlQ4pmvQ-Rk4maZn9bqYM5kq45AMmXUgrKoH9rU,367
clausal/modules/countries/nigeria.py,sha256=m3IbOrlGIDOpTaOrE1bV9-zJbivCooz0dWdPsMpbRSk,190
clausal/modules/countries/north_korea.py,sha256=pntNVr_QG0mBLtaxvjW9L5O7zQdOiu57UNgAnu-zodw,188
clausal/modules/countries/north_macedonia.py,sha256=VHRKmq47Y2BQw89lXtL56BedjfFvsaoIJoLciKGnxFQ,361
clausal/modules/countries/norway.py,sha256=DDFkNplnsjTRsXtHaqQgc9jnSe-goUIDJoLUKAuL3qI,187
clausal/modules/countries/oman.py,sha256=faxuam-dm1nEGee6y_2__sNzvlJIdloUE-pmAaOrjoc,183
clausal/modules/countries/pakistan.py,sha256=rqqtmv-zyIUKxH5gwcg1FnukqiF4GJxgZ11rzQRPVP4,189
clausal/modules/countries/panama.py,sha256=06mGbWEz3ue35V_HmHzaOGwg0u3J2HTub91avYH_X44,192
clausal/modules/countries/papua_new_guinea.py,sha256=7o3ML0IwL1lfdEQIWkOTxLDF2lLreDCZMjI-oDW8mJo,196
clausal/modules/countries/paraguay.py,sha256=tP_fJKb2V693OEvi6RTA_e9is_sgTlYdnjh5iTalhp0,197
clausal/modules/countries/peru.py,sha256=JV7oUHsrj5PdPpc9qLurIX4uUgVpNUmA2zhMJMqcVh4,468
clausal/modules/countries/philippines.py,sha256=l0zqFi1VdiHQlIfcLTQZQmnvDE_r5Xcbtrr7XT-Lccs,190
clausal/modules/countries/poland.py,sha256=jbLyucFDeJw4PcparQXO_IW_OziGS4NdZd4_uelBaOI,352
clausal/modules/countries/portugal.py,sha256=ruVpM56LAysGR1XQKrZRPrzWmBRKBzQvPdEXqzPtacU,216
clausal/modules/countries/qatar.py,sha256=t_01XKu4_LylWIUHsU-0cNSJI9qHYasGDWCz_lffshI,186
clausal/modules/countries/romania.py,sha256=Ht08EL0nTDEE-D51LrBKElYLVwj43rp90e0qJ5lAh3o,341
clausal/modules/countries/russia.py,sha256=3OuNcdcKq5tpZxlEDIEm_N-Ltz12iFEpgdxgFM9otwk,350
clausal/modules/countries/rwanda.py,sha256=f_8-AoEHhin1QPuL3tnx4Sqryd6gXCf4B6_I7J7VRuQ,187
clausal/modules/countries/samoa.py,sha256=_OJILXop0CuyOUUiSoh7t9H1NVohejJeRIjNH54X9aQ,185
clausal/modules/countries/sao_tome_principe.py,sha256=JXn_w6bGZN5b7GDn-fnunXNrSapohJ7etEzXr03IUrA,363
clausal/modules/countries/saudi_arabia.py,sha256=P3wbY-npl-w3SH-pxVRI8o2GViNy4vZ2rVCM2pCpMBo,193
clausal/modules/countries/serbia.py,sha256=EGViGj7Cja-QcERM75VFkXnGKdLfSZWBbKjhhCAHc28,187
clausal/modules/countries/seychelles.py,sha256=d4hJFaMcNBwfcQNbjG8CVPA9i3gC-r3NKTBJxtjb3LI,191
clausal/modules/countries/sierra_leone.py,sha256=EoH-XPIh6VdXM-TAcYpnQGLXnTSkG2sKKC501jK8Hg4,358
clausal/modules/countries/singapore.py,sha256=vY-wSi8kVs9zAPyLWUhodI25iuO-oE25jBB_DkfdeB4,192
clausal/modules/countries/slovakia.py,sha256=vty4u9XX-xppJtVfeF3DTkqnEyijZPSnTHbWpcr-jHw,216
clausal/modules/countries/slovenia.py,sha256=DXWv1y0kWcLhEeKO4BLfhUZ_FsAZHlgoZfIxMu22qwQ,216
clausal/modules/countries/solomon_islands.py,sha256=0yobGLK2Rt2Qod6mxv5ic8fkYWjgmf0kAd--2d-4nfM,198
clausal/modules/countries/somalia.py,sha256=pFpkV4YfANnt5qLsOrpwTCV01tAr0wXeYzDhcY-INH0,194
clausal/modules/countries/south_africa.py,sha256=m6x7GaOSYEBfczF2pbKCtoEokTMJsdbUs8mh4yjCHpA,192
clausal/modules/countries/south_korea.py,sha256=KVkUv1RCjFic8vHRmGKaTcRNaaQyFhS949GdNJ676XI,475
clausal/modules/countries/south_sudan.py,sha256=8Pw2MbGsk6zXaP1JGM8SJh2lpwdLl3nvKl9vlVCNa4c,192
clausal/modules/countries/spain.py,sha256=0Vh_9GXZCuPfjSPuQKehOGiiKcgXm5rw2e5a9SzNT-g,213
clausal/modules/countries/sri_lanka.py,sha256=RCvffMEmLDjcp4cvR9WI_xrxXE4jahBekTDCo-u9-Vo,190
clausal/modules/countries/st_helena.py,sha256=pv9RbCmlVpX_iKjEYAGTQBFp9Le62G8yzObWkD0-UH0,190
clausal/modules/countries/sudan.py,sha256=N5bVVgW1AoDFVBF1ZgRjTh4dSvNucf7DYHOSjq4BZV0,480
clausal/modules/countries/suriname.py,sha256=YRJWjMjk5eMZ4pylLPHanjR3UuDgZEevQmTLdCnI4SI,326
clausal/modules/countries/sweden.py,sha256=pZT8RWiHCnhy_gK0aUnulnuD5TX4l7GmseqakiQXH0s,187
clausal/modules/countries/switzerland.py,sha256=9gu8XWn7_uQ3tkZcbfEIrXQ2cKi_1PMW6D6W9D5Tepo,192
clausal/modules/countries/syria.py,sha256=OtPPCMYTECJ8E-qmqZM55s8rY3fYVMR-EghYj4scQys,186
clausal/modules/countries/taiwan.py,sha256=0Q3rGp19iiDbjlWR5H3XTJ-RRgMmk4wo-VQuyYL49kA,189
clausal/modules/countries/tajikistan.py,sha256=dB14beeNYzGOjJyhvEWSTBII4v2H5x0w3dEoUJih6Qg,327
clausal/modules/countries/tanzania.py,sha256=rkZqd912O3hoSxjrBaZY97BKGUPuQtuRob7XLnp1ICM,195
clausal/modules/countries/thailand.py,sha256=YqXNynR6atwQj43dLNZ9wDgbqYexLEGzFploGp-9wws,238
clausal/modules/countries/tonga.py,sha256=2xuhGl0nR-O6kgZHq-zn0oOvZgxZfizfrCkDo2cuB50,191
clausal/modules/countries/trinidad_tobago.py,sha256=MuNEg_zhB5PdR3-AmN9dxo926C17wNMn5z5mMLj_Ots,198
clausal/modules/countries/tunisia.py,sha256=YGEH2j4YGLU_XrEgSSGux2vcim0qOBuEZPKbAz-zGvQ,188
clausal/modules/countries/turkiye.py,sha256=9NxQanFexn737yRxQc7xE0fqvGZ_GgeV5v4iUhbO3w0,347
clausal/modules/countries/turkmenistan.py,sha256=c5FtOf1SbOg7hEg6L0rJ_fIj9KFFbS44asTjt-M2VqE,356
clausal/modules/countries/uganda.py,sha256=1XDRcrBL1Lwu0Uu7EyzKQHf3SqRuulTKFWwx8gY_x18,365
clausal/modules/countries/ukraine.py,sha256=HHrknr_SZtdOj1U2RBDo_7btScAP3kJIoEV8J3RqDSg,347
clausal/modules/countries/united_arab_emirates.py,sha256=I_8HsbCmKwzDKFy_vFwOayWbwesGOEoQyeaDShuUlWY,203
clausal/modules/countries/united_kingdom.py,sha256=EpZY3UvCM47ibyBZO5hC9HUDq_chg4MyFIu2k25VxCk,258
clausal/modules/countries/united_states.py,sha256=YjXmnxzZ1cay2MIzT_liECwocAi19Bsc266AY1On0L0,245
clausal/modules/countries/uruguay.py,sha256=l9cgGx7ot0YZSv3TYeBQlxckOSlaTZMBC0MZtxKJqJ4,346
clausal/modules/countries/uzbekistan.py,sha256=VVodY89-ECqY01EmSwNd---FIYMH0l716Kvcdvj7Fjk,187
clausal/modules/countries/vanuatu.py,sha256=9kGaLNgVg3qcdcrBxQ1T36LNI2tmjne-dzD3E9mHWIQ,187
clausal/modules/countries/venezuela.py,sha256=HG2cq0pnYkdgiBRp97wnqJOG7h8BujLXjg-u96_TmF8,536
clausal/modules/countries/vietnam.py,sha256=VDsaJnVYeq6tpKsaQ_0nx92rsE_8K74dHZDsWd_wlGg,347
clausal/modules/countries/west_african_cfa.py,sha256=Y0QcKukUhZU0p29VSns-y6_bXTr04vvCBcdRKhTUF0k,199
clausal/modules/countries/yemen.py,sha256=JeHx4nk1Ku-mtK8kRaGkeWs2V9HgJYiDGF2ZbOgF35k,184
clausal/modules/countries/zambia.py,sha256=JRoygKw9uvXLKzbVoS-xnM8iMD8MSSarA2I-UDFQdL8,355
clausal/modules/countries/zimbabwe.py,sha256=ZMmg35iqHzKPWopqEs_5U6-oFpj_RiP0hTaB7yih3PU,686
clausal/modules/py/AGENTS.md,sha256=J3uqThcFJFhK2wRqaraZ0pK7YzARCl6y38AS-RLbvKk,4488
clausal/modules/py/__init__.py,sha256=vHYMiohUlU6pNilHaVIW4s6NnjtMvIWXuW31WElCF2I,35386
clausal/modules/py/_helpers.py,sha256=Qp8Y32-0LA-nsUuABRWSl72Pu6vphoCI3L_CUHnl-oE,17500
clausal/modules/py/csv.py,sha256=Rt1p5qrkJxqwx__MEMEvAxnes7OpTGC6F39wrGk_KUQ,10137
clausal/modules/py/datetime.py,sha256=YCAoxhhIkL3-xplaOrSsPZxMZT1yxSkBXF2nS06roQg,45114
clausal/modules/py/files.py,sha256=ezzXtlbDyIoeqJRInefRRq71za_-G4cibVYIwfeP_L4,18106
clausal/modules/py/hash.py,sha256=a0soOSdpH85YwIV4J3GXwnR_dfzGkmWsvMBhge-mW84,3437
clausal/modules/py/hmac.py,sha256=CM9ae9sVZROrzvDJv9h2B2tnvJVbfQeMuN5fH_MRRmc,3780
clausal/modules/py/http.py,sha256=dDsEA3xN2m1Lw0Cb_1JK29uRNr96LtZGmWnnsfRIkf8,16170
clausal/modules/py/imperial.py,sha256=EKSzuDHFBsNKUKqAQUq5BI5rjrhP4CQAG_uaZYaHI1I,145
clausal/modules/py/json.py,sha256=mFLignTgtcNoAf4hRjt0TQRrmYf1CVYkgthTQBbx8aI,18187
clausal/modules/py/logging.py,sha256=O1DkB0CY8BaVjxr6nKLfBQ7HKkZ0Yr9FeWYIa0dPCHM,13386
clausal/modules/py/os.py,sha256=-NsjyUib37KYfCES7Fh5JL2aR-3qF6V8_04o-KNZQRg,5534
clausal/modules/py/pbkdf2.py,sha256=gQKbkPA2VTlzDIMGnQGviDg4se_rZHPsejExZhYCMAc,2147
clausal/modules/py/process.py,sha256=nuE_d-Nujt4-hEUXiO2aI0dX2X2syZy4t8zrnVBQbYY,11126
clausal/modules/py/random.py,sha256=FyzdXU7L9mpaoLApOnY-48HvRAd3CPgyyHNbJ7z_uXk,6014
clausal/modules/py/re.py,sha256=dWrgpZkxQVJPl-996oiolvXwbUemXjZYxmQ-wqrRCJs,12004
clausal/modules/py/sqlite.py,sha256=eC4TsDZbLVHK4Vkruo16rgFKgsXQmnB6o1PCnbAnMTA,12068
clausal/modules/py/tcp.py,sha256=4Bt2Gab_NGWfMovbonMFr60x7ZIlLbRYWLKpqqNXiQI,7139
clausal/modules/py/units.py,sha256=F6BwXbtH77L3CEDfmHprKUCstRhPtxOHEAtOpOHt3Uc,512
clausal/modules/py/url.py,sha256=PEM0F7j3MYY4XPp9Jj3OQF7X2LC5yawuejUWzlx6EHs,5909
clausal/modules/py/uuid.py,sha256=oYwhDCxp3rmEREwtVo8kOyemc3tZHVyVcxJjmIsu-KY,11233
clausal/pythonic_ast/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
clausal/pythonic_ast/conversion_from_python_ast.py,sha256=xqRif62rTVTu7ijpvvwiJPooegiYYCEaUpN960vaTQ0,25308
clausal/pythonic_ast/node_class.py,sha256=vdiLcI65d4qOgo8SDYFd6KdDQluN_93U4EWEr6J57d4,4763
clausal/pythonic_ast/nodes.py,sha256=rroYtlRwPvcnAtYcF6iDVGFd6zaQABwD_YCSXikuHhI,54423
clausal/pythonic_ast/transform.py,sha256=8eA5aEPdt5NYLxRXzV8niLmzFqWe9ZuyXeSmz7zIlfM,1397
clausal/rewrite/__init__.py,sha256=V-puao31vbMXFetDUT1eJS_KcK7SQfjwKK-W45cpRgU,905
clausal/rewrite/cli.py,sha256=O8X-zSyCjhLpg5zcAmFlwpKiOjo_QV_Nj84sMvqzWpA,5241
clausal/rewrite/driver.py,sha256=h07v2USwVjMRg1srzmwDYUt1ZCpJdXH-ZM8hbBsleUM,16927
clausal/rewrite/rules/_broken_head_fold_control.seam,sha256=MPFLn2Tg8V3SG05tzMZWmQQTR2D39h5v8riejEIiEhU,6683
clausal/rewrite/rules/head_fold.seam,sha256=-ENlrEBAtG0rJlqa13dtRHQe3YsMnMMQi636Rcf7WHE,5926
clausal/rewrite/rules/unnecessary_lambda.seam,sha256=ZE6Gscgu_FHcmf-9AcrG0EQX6OuCuXqA5Aq1eQLyW_4,4841
clausal/stdlib/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
clausal/stdlib/clpz.seam,sha256=w-K2LpKS8URNYQjWM4vmMxv9sMWDt7yGFfLxuBnUTtI,359
clausal/stdlib/clpz_sum.seam,sha256=VwEWprJ6EEH0vNfNnhZpjkmSYvbOscUbU9Bhb5V-zgE,346
clausal/stdlib/kleene.seam,sha256=B0lIkpB4Y2CgewigUGadNb8G3Z4lJSabURjwJ3nnZWY,5933
clausal/stdlib/reif.seam,sha256=zx3jKlosQ5WD3jfS2Fo-3q6SqLSqso9mIQHZ6uK7K4I,3139
clausal/templating/AGENTS.md,sha256=WXO8j0-4p4IRadMvMWdEDsGHV89NySiXnelgEvquigM,5756
clausal/templating/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
clausal/templating/compiler.py,sha256=aF5FxLC_SdLlXcz7Grn22l-DNb_lGBNheIxR_a8JzcI,18940
clausal/templating/desugar.py,sha256=BTxcDr45PLHIHe36628gTSo3GORnpVh2xBTaqKUBBDk,9316
clausal/templating/parser.py,sha256=2c-fnZpd0ZpDJPhES9ecy_uggryXgssUwMGrqP00JPo,4059
clausal/templating/quote_map.py,sha256=jJ7w_lQ8Z_L4jl0qcJcxpvKW_9nz8bDQSxs0WX4YXeE,6367
clausal/templating/term_rewriting.py,sha256=kQhEQmbE9vBD_R99wYRZwddqmqluZHsqMKk_b6GeHFE,576205
clausal/tools/AGENTS.md,sha256=LjLobJuCJalvNLrc4nVr0O_wJbrsZxjkkvrcga1lVrI,7379
clausal/tools/__init__.py,sha256=cScdv4IkOFzCeqphehOr7fZZa23svbnF_7V3PLIo0wg,88
clausal/tools/clausal_to_prolog.py,sha256=hLXph8kPabLyRH-zAVwDEikMs8JwhKgd7z-YTtDDxiQ,231180
clausal/tools/clear_pycache.py,sha256=yMuuLJXxNcMWJ3UlAOXdSd5JowSvjTodn1xYgqjukQ8,2099
clausal/tools/doc_snippet_check.py,sha256=8m0jUN_cG3UD1w5iw2GdkZRl5NI5sT8QEqEjCSMSL18,7142
clausal/tools/dump_transformed.py,sha256=xmVt3oTZnUTnfaxhCVLudLq2KQeJ8weWkzFMXI1GXEU,4606
clausal/tools/gen_library_facades.py,sha256=McEb0eUlGB451VCj5a82h-89HjIWLJhs379BuB4YtXQ,12288
clausal/tools/iso_l3.py,sha256=xUnyalEax8ZMPMKdUc-IMTNniWIbFhA50ESZvZjGHDI,71357
clausal/tools/iso_l3_directives.py,sha256=pMbnBGuPCwnTE2PoNX5Uch4UzZ4TkfnEbOE5rASPO1k,98599
clausal/tools/prolog_ast.py,sha256=zBJEusmU2xYpKIxp8eRx_F598lRkQ4LGhz9znWsKnmM,12470
clausal/tools/prolog_dialect.py,sha256=h5a0LZJl2Yqxbz-G3vLdZ7fT7TPI2MzWDXgzHcAeeY4,19778
clausal/tools/prolog_operators.py,sha256=vaAUDV-eLCUy93stj0vORYklcIKx3VLIuMyBmUaNB4Q,7655
clausal/tools/prolog_parser.py,sha256=hrXavQxi0QqkbuJt-U9cFhX_dTTyXJkXXNqx4LysJ-A,22179
clausal/tools/prolog_reader.py,sha256=fXZAE4kZkinoWXa6hplzThEClqok0XQCe_0W6wjWvnI,21706
clausal/tools/prolog_to_clausal.py,sha256=M_Pcrfjo_K5GBkNKHlwF4uRQGxZmfXCecEQgknBq_2s,113927
clausal/tools/prolog_tokenizer.py,sha256=UIoeq1un_wxgqJhioA6eZZBPb7TNdmMlWV_7gjNXFrw,7917
clausal/tools/transition_census.py,sha256=rq19O04kpyODXEm8rIoYpWtAmUgwrrwsLOh-iVqYKRo,14610
clausal/tools/transition_census_baseline.json,sha256=_Ajvr9XBMwDUNunVZErTRPvvNXlfEzOht5DPbJ8ZgnE,7705
clausal/tools/translate.py,sha256=Go60LiFgts2vM5jDqzHmu3asKVozgmUzJQyOOiQYheE,7569
clausal/tools/visualize.py,sha256=pRirh_g9AHkFKaOcwkEZu5pavp4QsrfI8YotUZNxVQY,6889
clausal/tools/eq_analysis/__init__.py,sha256=OMvNWuzumT81lcppjPafE43Vhl8_QvV-lVR6NuD_31o,118
clausal/tools/eq_analysis/instrument.py,sha256=-Fh1UoIFE_-tz5HgQvhuqobJJCyUVt7vuAwrNNObrAI,12740
clausal/tools/prolog_preludes/clausal_constants_scryer.pl,sha256=-EgIcu4N4eVitfKvA90L6OqwBVuoNfiDaCrImAM4qFo,2193
clausal/tools/prolog_preludes/clausal_constants_trealla.pl,sha256=RGVJ9QzgJa4w4jbfkBH2nKvH1iISgflViL6HgFTyHGo,2368
clausal/tools/toklex/AGENTS.md,sha256=7Bg6M_czfaZWxzLxEgPqWncvsJjWCpOI95TprDH1sLE,4118
clausal/tools/toklex/__init__.py,sha256=-4_aK53GrWH8hsoA1jGmgXpfeB_bdpR_g9xFjyEQ00U,696
clausal/tools/toklex/_bootstrap.py,sha256=NNKFls0CYsvPLROI-zdAypaTaR3SosrE1qZ3bq1Xi-Y,18098
clausal/tools/toklex/annotate.py,sha256=vV4hDSKmcADGQCJ6Fr0btieOZ1P_s8BvXkk5yAlP1p4,15663
clausal/tools/toklex/automaton.py,sha256=y4-L-k30v57cLq7_z6c2MdJ-tHivjnCghciUF7emkbo,10536
clausal/tools/toklex/builders.py,sha256=uwWZLOD4xKR-h3_4NI-w1eyh-JDonAwW7PrIqvi4sts,4908
clausal/tools/toklex/charset.py,sha256=zcrgPNxpR9HW9mgMG-s6f6m9kGcumAZ8zGSpEk_l93A,5864
clausal/tools/toklex/dcg.py,sha256=eXqCacYlQvfnzZpxVL8OLwyAOsMNduBgNAXlFRjSvuc,24550
clausal/tools/toklex/decode.py,sha256=DS0fkV6ZpUkM4KOyuq-pdUB8qQT_pGy43ptNJrWkol4,5355
clausal/tools/toklex/driver.py,sha256=UXbDIjV5ebmgh7bpKp-iRBgx18CmatwTH1hGRFjUjsE,20800
clausal/tools/toklex/regex_target.py,sha256=3hrLBwaf01kBtkk-B6Z6aMDjARydo3EkO72T0I2eqa0,24077
clausal/tools/toklex/spec.py,sha256=4hrBOfzypj7P0VpAaMjNLhAXuIKkueFMNz0QX2YRMiI,20315
clausal/tools/toklex/specs/clausal.toklex.pl,sha256=V8EdnU9ucEMeL7uzBxbge3mdGIqbzVOTbGnQ4MSB6LA,13234
clausal/tools/toklex/specs/iso.toklex.pl,sha256=aFjqK2_-xyP6RJI77HRvbQ_ezL4O3NablBMAZ6il5aU,10002
clausal-1.0.0.dist-info/METADATA,sha256=XNmE5JTtyiTbQaQ0DzNaTcmAX-1G_iYWjuBhDgOZ-DQ,12422
clausal-1.0.0.dist-info/WHEEL,sha256=Vq02FeXGp1r16SwHBMF7FTfC7tiEbCoN2HOL7cmOYKk,193
clausal-1.0.0.dist-info/entry_points.txt,sha256=NscmsMeqi_3sa-PZReUDbCOAfFNIvV85v5McrOxnxUg,219
clausal-1.0.0.dist-info/top_level.txt,sha256=r0_zk6WYKqGBcSktYnZcbV04Ohh7dN8FVK7y8xaMwxQ,8
clausal-1.0.0.dist-info/RECORD,,
clausal-1.0.0.dist-info/licenses/LICENSE,sha256=yP2k7Z_btlLosj5UfdS--2ddLDKvTW1WLF47byZ8C44,1068
