agda/_binding.pyi,sha256=-Q2FcwtrVf3y98OaAjxq9tVvliPMC5kXj7QQ5EIfPfg,276
agda/binding.def,sha256=x7gLyv2JWYW4bNIcn-2mQaMqx9liTEIhilaw-N6J144,26
agda/__init__.py,sha256=xk657W9yJE0RSSzniEn0k_3rGhGjYOworiGBH3mAciU,902
agda/Paths_Agda.hs,sha256=aIP2Qfyu_4Mgi0rVbGyV0e8M9Lhq4_J9rWeSLdT6W4g,796
agda/binding.i,sha256=t_9pMVDZIaH8pu-9eRk9upwVLwVvicqBTW8k-lLe79A,1262
agda/__main__.py,sha256=NqBBt-d-LglK0xs_3PWpt2FCMS8y8E5ZYn_eeby6Af0,339
agda/Binding.hs,sha256=poR7YrRRegKlj98eK7fUubWgaTnyReijiBReZhU8K6Y,1461
agda/_binding.cpython-310-x86_64-linux-gnu.so,sha256=ikd2_vidB9_UKfr_3TbgSiiZT84ZyQPVp0RQpvg69Bk,252361
agda/_binding.py,sha256=EzX1pOWpS1xGsrFHZ2y81aOx6X2wD0mpJM7U7xtO4mw,590
agda/mode/__init__.py,sha256=efjwkiY_7OIqsq7mhy-HIfhH_PoLd3CyfHPbSMWwR2o,276
agda/mode/__main__.py,sha256=OJSyPO6kUjnbFw6Ym0lYOLmaDCgHNITKu6KS6VPY2FY,354
agda.libs/libHSterminfo-0-f2c38c0d.4.1.6-ghc9.6.5.so,sha256=S6zIngy7oOrDsM9D-HM4QAlsG95E7fQuxoxl2pt4K_E,469457
agda.libs/libHShashable-1-70275881.5.0.0-83fce5b273497fa565598a94d269bb2890fd1aa0255ad21e661dc74018e9a2b1-ghc9.6.5.so,sha256=NvAtrPC6s2gr60PHPsIX9sVvNQuvUFF4YO3ZZWcUW6o,1100553
agda.libs/libHSblaze-markup-0-7182a527.8.3.0-c4ac27cebcfbf7be6407376b5d9a37908e28ecf070157206bc37684d3d9d6b88-ghc9.6.5.so,sha256=6AN4lhlXBclB8GUAK1vnKIr7wK0DoOy-e7TGrhwYL54,776225
agda.libs/libHSth-compat-0-b03f97ed.1.6-5c0c6699f6264ed7e1bafd0f5522f9ae4fa66930608c096017b34ac323196616-ghc9.6.5.so,sha256=uH8sqHqCmE-gMmqu2seIfPtzpa_5sKItCcK-Z_k7Pxo,185777
agda.libs/libHSsplitmix-0-c725ebbf.1.1-288a6fd9384ebe8583dc148b17038b41ae1b3fa9a43d703fb3273e99740a2eb0-ghc9.6.5.so,sha256=kLbdmOXatwNToh2Uxig9b7pnby5hIGwUhIU6qP0s1i4,289353
agda.libs/libHSparallel-3-c9716051.2.2.0-19e4a460aa4a7c3beb95e3fcad1d253dbfb95e695931372566375e2314b191f6-ghc9.6.5.so,sha256=TEGJMnGUHRdId93fDgRpaqMcfNlBK0MftBVScPzcDBo,371233
agda.libs/libHSinteger-conversion-0-67ba5ac8.1.1-dfebdae0e183afcc2cb70cc3afcf48b29ad68a539c01d283cd76a8babe0a2ac9-ghc9.6.5.so,sha256=M2EQnQTyCurRIFvQSvZButVvRQbQm2R4f6ITqAoP_xw,73217
agda.libs/libHSsemigroupoids-6-94e81c70.0.1-3f02367c26b97a5dca5cc0e396ae50778f2931cfc02d959d539b3b1ae86c7e74-ghc9.6.5.so,sha256=s6lEjRIWKbnpsQ_bf6zGaG_k_HeeCcCBy7QpLf5mbPQ,3496649
agda.libs/libHStransformers-base-0-82cc5c8d.4.6-061c8b24f81fc416c748443a650a2f965c5bf447997c501af053d707cb1a9f5e-ghc9.6.5.so,sha256=RXBxo2VDoObOxhBmK80CZHSJu7jwxywhXQqd4iZmh8c,196001
agda.libs/libHSzlib-0-84b0ce22.7.1.0-6f67d8043fbfc407e0d911c82492c7acbb4a872760d5f1f0336eb4aa82a50b0a-ghc9.6.5.so,sha256=uO0wwvn9CGkxoXHyyBXgtx80QzG1-UmNmmm8uLQPRvY,1321721
agda.libs/libHSnetwork-uri-2-489cf165.6.4.2-6f3e82d04a72d05209c02b8d5abe992953739a01680cf9069a4ded8255f35029-ghc9.6.5.so,sha256=UUyDOYy2JUFZ9S4EugGHJ4gmOQ_il22i_UItMRSrohk,924657
agda.libs/libHSansi-terminal-1-36cd0e3a.1.2-3325cfcf179739243c1e378f616a11e3391e796a44381be1e63430970d9b94f1-ghc9.6.5.so,sha256=5-diXqW2V4NBmyGprY9BnQ9SEANtnYr04pTW1yzCQaE,550417
agda.libs/libHScase-insensitive-1-f59a8e3b.2.1.0-73089fdeea60994ae04bf29f1c0870d5a9fd58c85e08edebe4f1b14f54d37237-ghc9.6.5.so,sha256=UjF0ZgRr0Gj33SdKiMExUEsGUc_cgk04SdldAc-TtVo,298865
agda.libs/libHSdata-hash-0-2436c25b.2.0.1-de01130eaba76362318aced294495c538fbcde8a68180269b4d9c25fe87b53fc-ghc9.6.5.so,sha256=ez4D8p_tXKgMXdWWgIyqwqejQoEQk3deDSzRZfUUtEM,673265
agda.libs/libHSansi-terminal-types-1-b3db42e6.1-63553db55aee1241816eda2c6eccefea10630aa7eef90c027fbac8561f800bd4-ghc9.6.5.so,sha256=EDFaG6we9JwD66i1S-rfrbd63KSCaG8bWrG80ttJ0_Q,1052521
agda.libs/libHSindexed-traversable-0-cb7e9621.1.4-d43ee88058ff846faf3ef5a0e707c8cbced45a5d691137420022f6fb56e861aa-ghc9.6.5.so,sha256=VIcj3xDPPxkiUXPdCW6Wj1H8kkgWVdRdrph9ZIutv8I,1111841
agda.libs/libHSdata-fix-0-82c0ed2a.3.4-0ccb33362ca639051bc5a6785129a6155e6db7f701d80ccfba0dc20fdb73e188-ghc9.6.5.so,sha256=PoERIeGPpouvFRBG7HnW1G-_TgGBYNFGltrUTelIQNM,288489
agda.libs/libHStext-2-66c5d290.0.2-ghc9.6.5.so,sha256=uYlzaiu4g44ULSJcJNy-6vg7eukbgvdx0s_wnRWNCx4,3985729
agda.libs/libHStemplate-haskell-2-b21272e2.20.0.0-ghc9.6.5.so,sha256=w9jUAHQPVXTG-jnp9bfmloPfkzKO9yYNrEEzU-5ll-Q,6303881
agda.libs/libHSrts-1-e2ebcd52.0.2-ghc9.6.5.so,sha256=XReAsU_yPfV62CMDE34XDNlf5PLnsk-bcfDyxL80NRU,844081
agda.libs/libHSbase-orphans-0-8633200e.9.3-e6474f3ac8bfa4467a7754b2ec587ec57b493afed840cb0ce02b140deacc3479-ghc9.6.5.so,sha256=1U3qPOPFmBwWH4U21mbVlHp-XRTWUNhhzIDZmvU_47k,597905
agda.libs/libHSOneTuple-0-f1ca8d0d.4.2-f290596874325b73b31ce5e386cc31f02ff01668f75595c07c606c9acfbf6b71-ghc9.6.5.so,sha256=DwoKZG0RSKS9TYNmz1OimQ49ovtWwhkKaEwixh7sdAM,36601
agda.libs/libHSunix-2-e2f73190.8.4.0-ghc9.6.5.so,sha256=bygKtRUso25OkYLLddeQHfbM-rsCICg72i3SjykbWEM,2521449
agda.libs/libHSpretty-1-53efa259.1.3.6-ghc9.6.5.so,sha256=pwj7gA_xg3STcJp_oB3HS7SmGR_ZhpMkE8hr_VhgDgU,858185
agda.libs/libHSexceptions-0-fb6d59d4.10.7-ghc9.6.5.so,sha256=3ZI7HxDkhLWNZuJGnMibknm6NFCd-o-7lvypSVpuTfc,509393
agda.libs/libHSdlist-1-7b5af7f2.0-4a5976c10f0962c112cdc7b1d25850d0cb8160048a38cb0c808450da8eee79df-ghc9.6.5.so,sha256=skmhqRM552nJlSG57GUv6zIdyKKz1I5J4AG9EjChKs8,393273
agda.libs/libHSscientific-0-02fc8776.3.8.0-978478ae10479aa4958fdf3e78dbf7b82e79f5b79f5e7598efc41e7409622597-ghc9.6.5.so,sha256=4XSr4nsZzI_0mM9Mx4HqAoqu9I_YwGbBpSj0a2PC3Zg,747145
agda.libs/libHStime-compat-1-2a83c9db.9.8-b3ca66614abbec700b24eb5286c4cabef373d1cc714c829364af930218d7366f-ghc9.6.5.so,sha256=bEx1smPw1M2W5HL-Z3dZYIE6_WLxoCZgLSVna09lMOc,761721
agda.libs/libHSrandom-1-e64c2ad6.2.1.3-3de88d00c8455ecf158c83ff4f8b04d79e8e282939901903664fa1555620ca15-ghc9.6.5.so,sha256=Igk9dLi4TxGfsRmwLQTViHeKiS3szHkZvvsQ8mhyCO0,2020785
agda.libs/libHSmonad-control-1-5cee6338.0.3.1-18b55cc425b7b87d618aad5bde775f8ba08ceb98fee11da097ece498e400035e-ghc9.6.5.so,sha256=oSeevhslH6TGp85C8cU5UcvMMIijexin5Pc71GMNi5Y,256073
agda.libs/libHSutf8-string-1-e6eb294f.0.2-2161ba7d76c2a85774f0b2e6c58a45f6bb3feb1a482c184c0248e5042c30ee1f-ghc9.6.5.so,sha256=siSq3eWF_9YUzDbrp1ncfbiqZGSi2j1L5z_ihRU2n5U,583153
agda.libs/libHScontravariant-1-d8724d57.5.5-c94e0a75cc381bd1a00c3f0bc65f35901ec05e00eb45427641f5c9868420f6d1-ghc9.6.5.so,sha256=WFGZENfrVTNZ7sSwk0YozIf3CbaHDl4H25HzacXCIBk,638817
agda.libs/libHSsplit-0-221a6e36.2.5-41531be8fb921629363269ffd72999feafd2d742a4290c57e50c79fddd53699c-ghc9.6.5.so,sha256=-17w63vNlkzAs1ookP2uYwyGL3Cqot5mDuQA_28AWzI,323433
agda.libs/libHSvector-0-c928c395.13.2.0-aaf8e7aa100cdd02365e78cf0fe3cd4bb7e349e80296447c9961fe771c819754-ghc9.6.5.so,sha256=CcGQ4ugUKl8K1PJY55J_UZYpUU6K59Sqn2dzdo8HL8Q,10973529
agda.libs/libHSghc-compact-0-8121cdce.1.0.0-ghc9.6.5.so,sha256=MN_r8vMi_yz9egx48gf1bDk4bZlX8CU4jbhCIWQs7wg,83401
agda.libs/libHStransformers-0-4e3d45c8.6.1.0-ghc9.6.5.so,sha256=8YoOmc94zqjuII0IFo1wfTLBh4NoCu6aBc1z7jyjHkU,2237825
agda.libs/libHSuuid-types-1-a2e8959a.0.6-c0b7bdf13ada18e7b182fa490fcdf988ff55c6cb0ab036c79b622419b395824a-ghc9.6.5.so,sha256=sazm3cCOOj0VtI-jPpZ7ZFxmprBCroUc0QJsyPwHw08,501665
agda.libs/libHSdeepseq-1-43aa995b.4.8.1-ghc9.6.5.so,sha256=4Cw2_-9J8luAqABhNERfZa33TiBkKrIfBUr9QURw024,288105
agda.libs/libHSregex-tdfa-1-b38dc3e9.3.2.2-2a97041e2efc75dd4e75c45123053fe15bfda2b82ff15ed8b998d892cea0693d-ghc9.6.5.so,sha256=UcK1__pdeyI2Nme9W24iIkPxhRrk1GsdlC7i2xk8T_s,4406937
agda.libs/libffi-fd734c46.so.8,sha256=UqK5qQPREUFpmabf4ZMLrLXU_AE4FpzW04uvX4Q0piI,95857
agda.libs/libHScharacter-ps-0-14d4fccc.1-3b0f7d58f5a9ef0dfeab9c7a02b4570329efa66c6e27a8874722f2394c22ed1d-ghc9.6.5.so,sha256=KfRIgV7x7jzXHQjcMpItZz8FKE0l_Bfq0PSSyY3lMFY,929697
agda.libs/libHSthese-1-679fd4a4.2.1-cc4705dcc96de45fa5e9f39bace1132498755666e74cd9835794b14f37932ff7-ghc9.6.5.so,sha256=mlP5KQi1geRE28a4K8YDn4PZJjx-go6LnBopzDyCZqk,811553
agda.libs/libHStime-1-93eb6110.12.2-ghc9.6.5.so,sha256=dLUoOLK-jGN-UrFgsngDYwNx9CWr4YlmhfT2xh_ndqg,2900241
agda.libs/libHSbase-compat-0-ccb48b39.14.1-891a68375d4b2c8ea2826387137f64b6a266b0b03cac73f6969ace1de8184280-ghc9.6.5.so,sha256=7JhZZ9RE7pslSb8DeBs0PzaIHPIimaeTGgqAlxpWWIA,614617
agda.libs/libHSbifunctors-5-1cbd56bc.6.2-f196efec7fcc80993d042cc45fb2515812b6a72c2208f93a71b398b0742c7dc5-ghc9.6.5.so,sha256=C3GCquY_t4u4YJHRTkAOpk4jCTb3BFl5pmkicJ6MEtk,3896769
agda.libs/libHSbinary-0-a5d059b7.8.9.1-ghc9.6.5.so,sha256=32zVXprWshBAR3Clqgoi60qfEMYgHY50_RZd9M_0DQk,1230753
agda.libs/libHSvector-stream-0-227ef90f.1.0.1-538ee0a403c6cff2e8589f3a6360c2bd4a7796355cc9b1458edfb681b21666cf-ghc9.6.5.so,sha256=-1UeOoe1dquXt5JUPyUzKl64v8UlSxvDDuFPfyowX0U,570113
agda.libs/libHSprocess-1-4ef1d14f.6.19.0-ghc9.6.5.so,sha256=WhPWTu097Rilrwn8ZBJ4XYlzDsPxNS1LLrDNWZaygRM,428625
agda.libs/libHSregex-base-0-3039fc40.94.0.2-4c128575dac531f906032cd2f09a94bfcd5a6f9b749ddf73806af4fb897e0fec-ghc9.6.5.so,sha256=2r0Sbk8HhMmput2KFH9iUbcdJ0_7_KTtGY0haUNbAzM,570041
agda.libs/libHShaskeline-0-f04a21f5.8.2.1-ghc9.6.5.so,sha256=b7DrYH4eubTVu9okE0XttRnqGoXV9E2iCb_KwcFPBeo,2819401
agda.libs/libHSbase-4-3289dfee.18.2.1-ghc9.6.5.so,sha256=ON28c4xbebtRjp1WxqnYsd51tK-PZvruKKtAdF2LFO8,18872225
agda.libs/libHSghc-prim-0-cbc31bd2.10.0-ghc9.6.5.so,sha256=0ozvmPEIBz4bua2LuAVgRW1PwW_y8ipq9CSTrRDDNZ8,8176601
agda.libs/libHSasync-2-e469a98d.2.5-1f36cabda8bf137e908d7862e0fcbc6e4733cd1ab399e131dde293019330df01-ghc9.6.5.so,sha256=0XHh_5YKH0Vtf1C1Z6YBnrMm2hbrqrozDJHMpf2KrdY,569729
agda.libs/libHSstm-2-65e837ff.5.1.0-ghc9.6.5.so,sha256=d-0745NMjD6frS5zP9p-iDK_Mc2UCiuExPWYTYo615w,267433
agda.libs/libtinfo-10270e32.so.5.9,sha256=4WdvfpVF7L7JkeIp6hH8T2okWk2Ci-kEItbjkj7nOKU,180385
agda.libs/libHSedit-distance-0-77913f4e.2.2.1-4adc56ee92ddd42cfb48075866f0d22b1c1c1b76cfa03e9295d39c2de5593602-ghc9.6.5.so,sha256=80yBFO-u3KHzOth2_xEbAevy42K7XLKUUJLVvAY-vbo,344529
agda.libs/libHSdirectory-1-1aaed7cf.3.8.4-ghc9.6.5.so,sha256=gMY806vejuFkHr_46rHkwokgEEK2wOVZSGnh65XveBs,960593
agda.libs/libHSuri-encode-1-122b02bf.5.0.7-d444c9a08fefe28f5f984087689540f0e28d3d135f2c4b8df73a6c4f3e000ca4-ghc9.6.5.so,sha256=Rj9s3DG7Dni_n1DZVt_cqgTyzjthezvSzrIHhK4hXhc,89473
agda.libs/libHSmurmur-hash-0-a6ba41bd.1.0.11-827907a8475daf9be7ae646c9931a138dc76d4660650ee14d86a19a97590aebb-ghc9.6.5.so,sha256=1H2LFoCgDGTW28aDyIFRQWjgWdTJu3VihKnVIYeZCEI,258449
agda.libs/libHSghc-bignum-1-3a6badd6.3-ghc9.6.5.so,sha256=p2PaMgsAc1MPzVYpVGrKNUMBhiCCH7WYlvJyJCX6C9A,589633
agda.libs/libHSAgda-2-169e3981.7.0.1-432241480053bd957835759fa36d722d23ad004fb61c3f23128d489e72682488-ghc9.6.5.so,sha256=9AEe-bJJzYsYQrI81lmO6IUj4j95TH_OhMaMD9v3cbQ,218270737
agda.libs/libHSunordered-containers-0-9312eb4b.2.20-944288948662d6a2349f5a585f161c16a6c20cab116b5170171d4ad8474735b1-ghc9.6.5.so,sha256=BcZZhvjR1B-rT1DC8bDU84ue6vMfMh0R_borqv63Vqg,1738721
agda.libs/libHSpeano-0-1f94fe1b.1.0.2-4150520f495c86eb5481319257621723f4ebb3d33ff12ca7993e91221a6fad9f-ghc9.6.5.so,sha256=LNys0EjEjAwspTULBt2B16zRLr9UNw9BTOe-kBSMw0g,200921
agda.libs/libHSassoc-1-ec03903a.1.1-669039a6cdd1ad631ebd5b845e4988925094e56f5730222e9e501926dc731193-ghc9.6.5.so,sha256=kaYuOqHIBOoyuaN44JIdxGGeuRpHAtFzOO7Z2vbjXr0,80145
agda.libs/libHStransformers-compat-0-82e4f037.7.2-87198a4fc1817d91c46107cdbd64410bfb0143f62d750f2f87789811870bc759-ghc9.6.5.so,sha256=kM-6sDbeTBpajL4N2RUPhl0cmM0j-aTkW5RlNbrfYXE,1205625
agda.libs/libHSStateVar-1-818dae20.2.2-990159f61e0cec483ccbf0236ba2094a0588e5cd13e8f31ad089be81087b6610-ghc9.6.5.so,sha256=KYInYFA0oTbVimaMqujotuhudz5EEGD-_z7knSB1L7I,138225
agda.libs/libHStext-iso8601-0-e51b26a3.1.1-4b8bca8c83b3f463d75edb9ec2cc1b05b21bb16d7540509f0e9fc8d9177a7a71-ghc9.6.5.so,sha256=TY9IflKkFsNu9yqB-w3QXJ7hn4L9tqLJchvJQzNN7r4,486497
agda.libs/libHSgenerically-0-274f2475.1.1-1c160f74c2fbb5a8dfb38c9fd3a78ce6ead5b3d7901f558cf34fb09b98330759-ghc9.6.5.so,sha256=2uliNhcYLM8ylZtzlJA3O-H3ygm47-0kjf0I8nC2DOo,21905
agda.libs/libHSprimitive-0-8c085eaa.9.0.0-7d67f1fb356ad4695912bf98d283c694ff5b2f748d4dd631e039462147530acf-ghc9.6.5.so,sha256=3BDjw-jGRXeWmJTsk8NVugyd2mTsKEVLuQ_HkMavuDo,2454481
agda.libs/libHSsemialign-1-66758dd1.3.1-fafa57e68213508c2568112afadc49beb59d4049d7febe4f8b89ea93bbfca3a7-ghc9.6.5.so,sha256=XLUVABykXIlHLMsmeDY6Cl-y6HFI-7XoYI3gGDTvci0,1159377
agda.libs/libHScontainers-0-b04a5cac.6.7-ghc9.6.5.so,sha256=jRq_8XI332wQvpOvQRSGl_gcpUtS9qhl_T2QSJgVj6I,5156945
agda.libs/libHSwitherable-0-3542464f.5-0ebc3cb0186f185147ba0f76420e37d30d52409c31a7608c1425ee10b5caedbc-ghc9.6.5.so,sha256=QHvfiaMV74d2cDzWL1u0pT7aOkgKSQ1559SZGKhmlnY,1171993
agda.libs/libHSSTMonadTrans-0-2195dfd0.4.8-1e20aff7e5e4b5e9b3db974e87c9f5584914ac14033da11f11490b40b6b18d1c-ghc9.6.5.so,sha256=ZxgRBja_QVcysRYIMOBDgJPNVCLiRBFX1WOq-ge0dB4,635025
agda.libs/libHSboxes-0-78ea11d1.1.5-6a49e9bd621ea3db311fade5efb3a830c7fcc0ea72ff4121aa204cae9a793cdc-ghc9.6.5.so,sha256=6j6sgbqc4maYH5aXjmFPn5Vz2yEtb7VuJ-XzDi-I7os,290065
agda.libs/libHSequivalence-0-104375d2.4.1-98cc097fc33e66099a4fdb482a66eb6a1bf233c2291127138b826e948d368eae-ghc9.6.5.so,sha256=8FZsEfxe03WoIoGWNoSzZbIccN376AFZ9ZzsxjtFvVo,548505
agda.libs/libHSinteger-logarithms-1-4423afb1.0.4-b4629d38d508610b739d7a24688c10a34761832a78c020713688b8c6573a1107-ghc9.6.5.so,sha256=a_GclxwfpbPrRBXhrMhiqKfzGGGCWlVmlB-KXyDBuvQ,220913
agda.libs/libHSparsec-3-5288357c.1.16.1-ghc9.6.5.so,sha256=w6DnyqhYWzJuDZ2j5yFVIUwT5M0hsSpeg6R47YOr2Ws,1425841
agda.libs/libHSvector-hashtables-0-6ed4c32c.1.2.0-73875793e984ea876cd134027575114b86697fba153f65f921fc4f6f2a0180ff-ghc9.6.5.so,sha256=aZVxId4cZ2rt1LQPT_52yGgnmkRV1t-alEVgtmxVQLg,2219097
agda.libs/libHSmtl-2-ef3061bf.3.1-ghc9.6.5.so,sha256=J-mVua_gvhg6f7CRUm-GCbZ48H8dDKC9oDyk7YvS4lU,617785
agda.libs/libgmp-afec2dd4.so.10.2.0,sha256=MNTiOnu9DKH49DN5Kmd9OeJIpS85qZGJKY__Hy3KWQ0,515857
agda.libs/libHSos-string-2-bee90824.0.7-9bd689a1e09ede6758a2a0995bb49a11ca07a6a5d5026994d7a342428c876c3b-ghc9.6.5.so,sha256=6Q7fOkzCq-1AQUBxo5SKFjL4FWpw0CQswI0GvIwP_KI,1723257
agda.libs/libHSarray-0-c8d1413d.5.6.0-ghc9.6.5.so,sha256=TZJx1kulDCjxJNVONWLt5jFGhEbd_6-v_PG2YrLHkJY,862977
agda.libs/libHStagged-0-df830e89.8.9-cee88f86e1177419f4a44fcced2e8462e7942e0c9a30e5b48dd2ca0f63b70c06-ghc9.6.5.so,sha256=l-8S9ZeMi0ZAThSUuy-h2kcuEkLJdfIOpMW2EgOyisk,506537
agda.libs/libHSblaze-html-0-9a8f9ff1.9.2.0-afe3a3389b1c170b3dfe21835d13b080d692140a5c6cc0a7ceb7ecd85a547acb-ghc9.6.5.so,sha256=UL4O8MQp8KlfuoKAfZJOCKUFEd4jp-71thIVfGma7VE,4474009
agda.libs/libHSstrict-0-db73f261.5.1-b6afa1616bea71f6ce2746668911af17a9a15a8bb048ac73fa2b7e0f26f114c6-ghc9.6.5.so,sha256=Gx1vwJXL3MrxrYYYxKndIaWVkPQnXn5RZQMsQZkHvao,1453889
agda.libs/libHSblaze-builder-0-5e2c8cf2.4.2.3-37913c79670de8d61abaab4f5bf8a5c6f85283ff10b2f44a41c6b170b0984481-ghc9.6.5.so,sha256=KdcgOlkZ93ApVFnX3cgpQZ9Exms6QJ_KDqU6Kz0Tkb0,458393
agda.libs/libHSdistributive-0-4428556e.6.2.1-9f1d92b76d37e3d032812f4a3112f0b8db2d78d84256b12eaa0ec47551674d1b-ghc9.6.5.so,sha256=k_pkwewkQoRZhrfENFBCRGXk2yJ00LrdqfjoGg-x30E,353793
agda.libs/libHSfilepath-1-3bc327e7.4.300.1-ghc9.6.5.so,sha256=QxcPuhcvNX20WZ_XThWfcPvxOUbZ2MYDlmLN8EaH0ho,1502681
agda.libs/libHScolour-2-4007b46f.3.6-21449477e2766828cda77a597709a7b1248a4a44dacc4f05c335d922b10880fa-ghc9.6.5.so,sha256=PQ610ggp8dAwYdzRIcEj01JIs1soExte1ktVHIb9uhs,1401969
agda.libs/libHSghc-boot-th-9-2c166c3c.6.5-ghc9.6.5.so,sha256=XZxiQu5ZaewJWZNGm_YdNnPTecaed3XC-I_YAglz0Bo,492017
agda.libs/libHSQuickCheck-2-96063fdf.15.0.1-2e9877ec8ea351b02a6836de4b560e0cedffb5b4df1d5877706b13130988e365-ghc9.6.5.so,sha256=42B3z1G-etHrKFz-xNsO6jz06bpohvJ3urm2J2h5kRU,5722385
agda.libs/libHScomonad-5-f6b08eb0.0.9-f7bf15cb886ff007f051a74d3f5ef38714edb986568162d92d021e6ee17a54af-ghc9.6.5.so,sha256=X7Rs8z0xwYYN0khSJqp6Qfve8mC61YxG7sHSY_koaWQ,905929
agda.libs/libHSindexed-traversable-instances-0-e1c68206.1.2-b5482b61941d420a9cd4c35edcb7a4040964a8f7a059389065f412a504d3a10e-ghc9.6.5.so,sha256=HnHwYjKC-B5QgiqyermrMVUJZ2pERtBslTeXnv9skbY,134441
agda.libs/libHSbytestring-0-cb9fa88d.11.5.3-ghc9.6.5.so,sha256=ObKoJcm5X6Vy3bjCjWSmWvXF9hjO3eZvuqKebBk6sTk,2437769
agda.libs/libHSpqueue-1-b84bbdb9.5.0.0-055b15f40e2086691189168c728135a5c4d7c5bd1bb1cc5fbd105195f1d60106-ghc9.6.5.so,sha256=tsuUVI7F42yk9pAC8WSj2SkWoujsHANW0Ql5TgADPws,2272729
agda.libs/libHSaeson-2-96659081.2.3.0-2541e9c53074c26a181431c7b3e9cd807788bbf3f22d00905fb5c062e6401e61-ghc9.6.5.so,sha256=FD3D6hPUErEc6CHcNdEGVTSZMvylZ7wyno9eeNbHFhw,11730065
agda.libs/libHStext-short-0-07026ec8.1.6-3008e73e4b1152fe8f37501be1700289c4c162643733fa39535cfbc8f44a6533-ghc9.6.5.so,sha256=fAcmAO2EFIPAhFFVZv01IQnkPdck5CIzq5VcawSRHOE,521241
agda.libs/libHSgitrev-1-b9ff2e7c.3.1-542a9e13cbf0dbb7d871b0b2aecee2f08f303b97b6dc4ff7db8cd600ea27e0a7-ghc9.6.5.so,sha256=gtFxSBgMmBfa0ARQVkQHv83412Po7AVT3ZPkO7I_CH8,154505
agda.libs/libHSth-abstraction-0-af4f0af0.7.1.0-3a63fc5cc727b115f3afe9c206429e4a099d00e4f8e3eb1c451a762ab19432a0-ghc9.6.5.so,sha256=LcWIWqWhLY809T8jbQ_G7mJwvIMbapf0gV7IjS4_lP0,1588649
agda-2.7.0.1.dist-info/LICENSE,sha256=TFYGq7nMYwWoEhrDp5cpzftzCOrcwlXLKpDLsBkmqis,1066
agda-2.7.0.1.dist-info/WHEEL,sha256=ViyZsTV2upbIniGkknQiIrLPLs1cJIoIfr1wsV7PMic,151
agda-2.7.0.1.dist-info/METADATA,sha256=jcwStHV6WZtiGAZyWVRd5maPmt2h2BK3tziCcgW7EZ0,4028
agda-2.7.0.1.dist-info/top_level.txt,sha256=88XvtZ_oCo0WpIgK7LXBbbTuYah6mUZ3iqg0WClwRIA,5
agda-2.7.0.1.dist-info/RECORD,,
agda-2.7.0.1.dist-info/entry_points.txt,sha256=ZB9dqP6YQG11A8Z3WcgsbE0E47h7gawFlf-U08ovnqg,80
