agda.libs/libHSterminfo-0-ba6c543b.4.1.6-ghc9.6.4.so,sha256=UBaTTvlM9cmw1ncXlVM3AXAo3iSo72BeIHcGtXojKeQ,469457
agda.libs/libHSassoc-1-b45bc79e.1.1-436654fc37c58a4d88b7d98ff11def0bc70e360c710c801ee7c5b8ebd00ce6a0-ghc9.6.4.so,sha256=yGG69Rz3MeBdfAzPkz9WyamAD0kLajL2iiqFD0UwVXQ,80145
agda.libs/libHSindexed-traversable-0-6313ce25.1.4-039d616d9014d51acdb9ee4318e63ab59238849343c650c7c201f9d357fc627d-ghc9.6.4.so,sha256=8MgN8zoNViVD9-Ttonyn7DQbaj2Kc_YzApH97uNRYcA,1111841
agda.libs/libHSblaze-html-0-ab994d2e.9.2.0-5084463f3810d8021f8f672480189bd482d9c2a54904f156c505bc4bd9f6eff6-ghc9.6.4.so,sha256=Vuo0cv9sxyNzPROvWlsoNulZ3AMytEH1c74wB3ywloc,4474009
agda.libs/libHSuuid-types-1-e02eaa87.0.6-bd7cd811648eea3a14c3d143ff3e24105c4a0c22bb7fc17f57f66ec7f29e69ef-ghc9.6.4.so,sha256=kE7o-0sz6dVPe1E4O7g7U7n5xmIlxMDJwjs2HVUpuoU,501665
agda.libs/libHSfilepath-1-0e778209.4.200.1-ghc9.6.4.so,sha256=VyHV9Zn2ojIyAgObEUPYusk24pwkaIKrbO2wpFHL3k8,1503113
agda.libs/libHSnetwork-uri-2-d12dd771.6.4.2-688f8480ab2bc25ee42c776498d929f9dd011fbbf350cfa8bb925888b5350f5b-ghc9.6.4.so,sha256=9TI4cA_jygu7tLWsBeZRCfmzSMshR6AvwtBA8qSACQU,924657
agda.libs/libHSzlib-0-cdb7cbd7.7.1.0-9313aa2f1bdda7834b9bfa2e85a31658289ad5aeeadfb24eb70ed2cb5bdbb7e0-ghc9.6.4.so,sha256=L036cJh13UPN3XuJ53unn11jTuSoct9ROu3Uc_mKNCU,1321721
agda.libs/libHSbase-compat-0-6ca863d7.14.0-b1c5d764ed4c552dffd3093ac166aa43899699be5116062ad5bce6032b892cee-ghc9.6.4.so,sha256=3tO1LUXI4rj_8ZTNvTTCb3-4lzDFZ97rcQAtHAtUQVA,595369
agda.libs/libHSos-string-2-b464efa0.0.6-281ff0642d7886d3298359d97641260927249416b13540ce03fc4ba0643e387c-ghc9.6.4.so,sha256=ZRiEJU2Dui5r_xN8jblSa1emy0J02xBgauiwrCixr6I,1713345
agda.libs/libHSmonad-control-1-92b1164f.0.3.1-6f6457c875e6634435828b753732d31a22a6c4c0d72fbe1186099c07583d1fe6-ghc9.6.4.so,sha256=hBLMWC-eU3_fWh8SHHsy4IT_dYqxMSQ1UsY_EfVNDaI,256073
agda.libs/libHSdeepseq-1-7b37f157.4.8.1-ghc9.6.4.so,sha256=2MmPe4erqJbAHaeX633LappQHr1GiDyWltz55X1w6m8,288105
agda.libs/libtinfo-10270e32.so.5.9,sha256=4WdvfpVF7L7JkeIp6hH8T2okWk2Ci-kEItbjkj7nOKU,180385
agda.libs/libHSsplit-0-aec76d1e.2.5-82dbb1de6cb03be9eb42da412cb4ada37f5057975f96d06a7e3078dcd0eb012c-ghc9.6.4.so,sha256=FNi9P2wXiQb8DB1lAhDAGBEZDiWxWm2Qk7ScXxM3OsI,323433
agda.libs/libHSblaze-markup-0-1d52f337.8.3.0-12ed8a686789610cb0252da296e036dc083aa0d674ecd40a309181b6124f5671-ghc9.6.4.so,sha256=9xrSbQNRQvE-F0MpJofIDrFatuEQTwY5atK7LcxI82s,776225
agda.libs/libgmp-afec2dd4.so.10.2.0,sha256=MNTiOnu9DKH49DN5Kmd9OeJIpS85qZGJKY__Hy3KWQ0,515857
agda.libs/libHSmtl-2-463ba753.3.1-ghc9.6.4.so,sha256=J7Kb4-g6_CYinPXskj6kd_SHynn6--iC-QrmB0gLNfk,617785
agda.libs/libHSstrict-0-23566c98.5.1-c291ff38a1be10067f2d34e5507a435ca4de6c47c5c384ebf6c0cc466792b1b7-ghc9.6.4.so,sha256=iup3ddPa-MSolmgKsK7zuHTJhI6uD2KAOQcuZh72vuo,1453889
agda.libs/libHSaeson-2-70ef44a5.2.3.0-5e023305e51c26e6f8fae20af43c4d5e6c61519744dc32d517fbd163fb8be299-ghc9.6.4.so,sha256=C4dAlJMu7saoj51t58ndMf6PsR_Lo_Ogwr-JMTnutbY,11730105
agda.libs/libHSscientific-0-888624e9.3.8.0-1bb52ece8fc68037be4d0afd3f990b57ba9fbab82c31cde7fc775409c015618b-ghc9.6.4.so,sha256=527dC51z7WjHZ8hmMAuGZx7-L_Od5rPObqYPU9KmZak,747169
agda.libs/libHSdirectory-1-61160949.3.8.1-ghc9.6.4.so,sha256=QIuZWzUDB3wSKCTkPkhJHI3pkVfT6FHxTDjxbL28mmg,960705
agda.libs/libHSvector-stream-0-c47cb7a0.1.0.1-1f44b2130ccd1b2698b87e1ad846866bb8a2a247ef53f34e6c8e9d986ee1ab6a-ghc9.6.4.so,sha256=3nrk8K8wO2PIxSBHfTQZKe3CBtLewPsaKAFoYoZ1Anw,570113
agda.libs/libHStext-2-819ad9dd.0.2-ghc9.6.4.so,sha256=IqGYzTK6pykI7aO_JjWWODsw_M_yLqf4hamsuswc7NQ,3981633
agda.libs/libHSparallel-3-3ec89f2e.2.2.0-657be764d74f0ad7df1780eadff09304ee7ed2e90b1353498d4098140b143ccd-ghc9.6.4.so,sha256=48ThodXmrpudbezNjTAo7PxmtvBfzlRjLIxY-B7lbGM,371233
agda.libs/libHSansi-terminal-types-1-e7f5d0ea.1-fa96206eef36ce75e1163aea23ee0d53101f29f5cb5fbf5182ecdb5a16f601ed-ghc9.6.4.so,sha256=FokwSlWt4nuIlsuOZ1FXaBDx8K63M3rYCTRyUiGBViI,1052521
agda.libs/libHSdlist-1-c0be8e9d.0-4a1783ff665fc0bb164eb9d4d320db17240689f680546c97ed88d2d4e7e286ec-ghc9.6.4.so,sha256=MBhXhewmJbgb4C-wd4CBTEYeuucGox6sZqtoxb4SqCU,393273
agda.libs/libHScontravariant-1-37d6c8d2.5.5-5ec05cdc1c420079e07ec3db14e2134b812735176fb41b25c4d6f0e05d9a4cf7-ghc9.6.4.so,sha256=U9ogCLDM2DYy2JXafO55YQzZSfHAoFwpT__UxBk6rwc,638817
agda.libs/libHScomonad-5-e3b6d601.0.8-ec7717b371ae300b9dd45140df945b7aa483d5f92374140727703fe98cf81850-ghc9.6.4.so,sha256=1Xf96zb5PyXAWIOIm3NbFnDUE0ux6fu_ch1g-uR37Fk,905929
agda.libs/libHSstm-2-1ac8fcc0.5.1.0-ghc9.6.4.so,sha256=5k0dQuxOsQVrPLnuNDm2VTDuNLwSarBWB-kUoqQlgys,267433
agda.libs/libffi-90e079ca.so.8,sha256=wxA4RwSa5JRqTjCYslsXP91EohMSAiK_fFiohLcK2ek,95873
agda.libs/libHSgitrev-1-4365ef8b.3.1-5533e5f03da32c6f5ba79f060ab0ec51e980add1cfc08fa8f26be4ee770c59fc-ghc9.6.4.so,sha256=Pwcfi8Cpqx132YdyFZfYr2NlHsCNFmpk8XotVpkDJaQ,154505
agda.libs/libHStext-short-0-b8f40c2d.1.6-3923170c9475427d56d581f41466957780cf5c17b68d3404af2db440167373ef-ghc9.6.4.so,sha256=Ls_rK1lUs1-t5cjfKRfuWJtgP8EBeGb9XdNz_wQvCDY,521241
agda.libs/libHSequivalence-0-8a8d90f0.4.1-98ac91d6fd1b42a14811acbbe00318fd8ab0156c477a8606c21263b766478bef-ghc9.6.4.so,sha256=HbBdVTz7VIt-u3qEbgLszQzjujMQ_cnIGXxLo-FRIb0,548505
agda.libs/libHSdata-fix-0-72e25a08.3.4-86e5a1a5c6391b425e80fa3a69a180668565f117602af2aca71cabeb5e63d620-ghc9.6.4.so,sha256=R7gAYb3KVoOj6_V5Nty7y3qvNSVahnJhinmpwVMJvhM,288377
agda.libs/libHSarray-0-e4b28179.5.6.0-ghc9.6.4.so,sha256=FLpUsN79clVHIO24K0bQl0aSzoSV4tVb2AzbFcPyFNM,862977
agda.libs/libHSOneTuple-0-cc30e280.4.2-b7fff6ce2a6c9579e5b57378aad6549c4227fc7aad45790106a3e08a1a1b925d-ghc9.6.4.so,sha256=fUVNE3OugqvcxhiKh2NauGO_HeeMVAhmGqUIls9fKO0,36601
agda.libs/libHStime-compat-1-c8e22b9f.9.7-c9f3c9a90f7a49c518fc1bc90b2fbf1c1af0e4b8839446804f8ee9a78a38e498-ghc9.6.4.so,sha256=q19yvcC_4iXey8W2nSyC6Iu6gRRYcLdvxw-t-KCODZY,502185
agda.libs/libHSunix-2-eeeb64a9.8.4.0-ghc9.6.4.so,sha256=cJNcT8gn3JUsh-tPMNRD1mT4PCxw-qs1WOZ_CCUqC1w,2521449
agda.libs/libHSsemigroupoids-6-4e6974ae.0.1-049a1a30f05404f90f215ab5b75c8a9a27a4d61d1af17174ce097b11bf563fb2-ghc9.6.4.so,sha256=rOcXpJaCg_Z-Ii9cspzPCIqCQnPQOBwHcIQ-b4lOZuE,3496649
agda.libs/libHSghc-boot-th-9-7da201fa.6.4-ghc9.6.4.so,sha256=9lBBtH9PfYNA0qfqtPVe4bSY-oINOpUxXYUbWfppJF8,492017
agda.libs/libHSmurmur-hash-0-09c8579f.1.0.10-6a250d79b839a970cd79d492e74336af40fe5b359f79d26a5330bed8ea7decf9-ghc9.6.4.so,sha256=AFNeVDjmIsKTWmwIe-J6ThX2h8_x8M-FjROvsGYYsq4,263377
agda.libs/libHSpretty-1-1b111101.1.3.6-ghc9.6.4.so,sha256=CGQ0e6SsRYeWJKF1D5DKZnMjNjR0vHSRAUWb7Dqge0w,858185
agda.libs/libHStime-1-6fdfc8cd.12.2-ghc9.6.4.so,sha256=yVBz-licqDmjQmKUtzwePbXIyxfI757vFyUG9cSaNZc,2900241
agda.libs/libHSunordered-containers-0-8c1ba783.2.20-576f5778a836a028c1795cd6b3b5b68678a94d1b8e077d2fec7df1906bf9d34b-ghc9.6.4.so,sha256=8hIlEXrH9rzL1Q8Tfnbefl6VYdHdeun4uqDCkfajQLk,1738721
agda.libs/libHSStateVar-1-37d926c2.2.2-b13d9d1e5f2455dd85a1e5d24ec1a4ca8fa50f6af695b3140413eb2ec71532fc-ghc9.6.4.so,sha256=KsPb9CJk3RRixKVXE8k4kxihZ5R3fhEDEJ16BakjtWU,138225
agda.libs/libHSth-abstraction-0-2f29dff7.7.0.0-993453b13110e3406dbb1aec415757d4974107c90819afa8651854d5476792f9-ghc9.6.4.so,sha256=3FBqYvL-id1eyFWcwA9ZZrrughTZM1lGiuRaTaQDpQc,1588649
agda.libs/libHSrandom-1-d44c94c2.2.1.2-de7b219766b985bf240ab686528e176626fb51d6d9ad761e2d8ccebb6aeea806-ghc9.6.4.so,sha256=szUdryL_eVFyw12qq7gitvIUoUgS7CpHE4eEG9rB5cE,2020833
agda.libs/libHStransformers-0-208d6ef1.6.1.0-ghc9.6.4.so,sha256=3kn48gzPUlj_zgAD0qK3LXTtJ6TkHHQYL1hJM8b5X9I,2237825
agda.libs/libHSregex-tdfa-1-548645de.3.2.2-48080193f5815bedf6a79e3c319dcda109109add1d77fed70babce503b84fba5-ghc9.6.4.so,sha256=cN4xJTsKsgfqtmFoyZMqOzRO63iuodq7y_Fk64FqnUk,4406937
agda.libs/libHShashable-1-7d6c5f7c.4.7.0-ac7e9bf93fe0d70030861c3fa2e9dfd95d6e3579736a8c69450642b18f330c88-ghc9.6.4.so,sha256=-k6HHsOsKnUQqkYtu9Ml8ACxzJPFfxbpWBNVZa9Huvw,1091233
agda.libs/libHSprocess-1-861dad96.6.17.0-ghc9.6.4.so,sha256=PTF1AWAPBDnOy98ck-dFX-U5Hh8GFXFr6DqTiZ1SI_Q,428593
agda.libs/libHSbase-4-3bc99b9d.18.2.0-ghc9.6.4.so,sha256=hEZPiM_lGZJUmcmqDAOnxHf188mpccUiuP6uDZDKRh8,18872225
agda.libs/libHSrts-1-51965600.0.2-ghc9.6.4.so,sha256=GKMvdwrHWy3IKleeHgAZtVwv3GLse4yYxefhzopD1LQ,844081
agda.libs/libHScontainers-0-fa842fa7.6.7-ghc9.6.4.so,sha256=LHPKyFKXETi-xm6rRRY2iNPOzovaGVL_UPCLGjNq6Sg,5156945
agda.libs/libHStransformers-base-0-35880a97.4.6-b39329eaeb86012ea253bb0acdb75d18da515d1b3d987968e9a5d5f268b32845-ghc9.6.4.so,sha256=AwlZ0DY58xRSpRkmye1svFKHuGTMpk3Oa3HYzPuloJM,196001
agda.libs/libHSbifunctors-5-5279dbf0.6.2-69ddfa3b44166e5e67dd10c0a3c6dbe6a447fe6b1ebbf380fa26611ec57c1edc-ghc9.6.4.so,sha256=p1-UDq75WX5VPDw5mBbTCXattEPhTEFQQ1SfBuiT7x0,3896769
agda.libs/libHSdistributive-0-26a98b50.6.2.1-a37f24d2294fda11588ced05f2cb7537425222d23d281026bd94a443eec03d7d-ghc9.6.4.so,sha256=_nB_v2KRC4DEptaWH4ZraI_-5TePs9dqL77vOD8Zw4E,353793
agda.libs/libHSprimitive-0-d72f1718.9.0.0-7bd2f8fc683b16624c6c98a230d2b91d2e07f91bf5087e2868850b37de3312b5-ghc9.6.4.so,sha256=Vf-8G5S1soiYyJNyyDmljLoRuRs63qjEe4-lDj6DHj4,2454449
agda.libs/libHSQuickCheck-2-e85cbb7c.15.0.1-7d0cd9237207d42ea6bf81bba195a3a5386b6e807ee5b5814b4b65dce788cb0a-ghc9.6.4.so,sha256=oxchc3OFHJ8EWn88oa8Epl5BNngloe_DUABusbxme1g,5722433
agda.libs/libHSth-compat-0-061e01a7.1.5-4cbdcdc2bbe3b4188ec257997bbf618b465cd5dcf50ca6fa890262b4341d4c15-ghc9.6.4.so,sha256=J_WTTpMwZrfPy2HEspewPG1CJv8ddWT1t1ld5bXJfCg,185777
agda.libs/libHSsemialign-1-93b8150a.3.1-ab5084bab3cffe08caa50e8af90b51499b7d560af340fdd5d2e28757c4de68d7-ghc9.6.4.so,sha256=7qJc4i6B3lEYjv3ofnVBY2U4qLR7cmIrmI3Y0QNhoSM,1159377
agda.libs/libHScase-insensitive-1-7e9f167d.2.1.0-4412d887bc2160b6852311385293e099fde12c3efea57a54508573e9c4a08ddf-ghc9.6.4.so,sha256=QnXaZrrdw3nuHZEiIkY1MVeKYQCOTqYonr70Y3lqVtY,298865
agda.libs/libHSinteger-logarithms-1-9959ff1d.0.3.1-390964559071b522fc61a417240247cea0cfcf24060dba46c5d4481219d97a36-ghc9.6.4.so,sha256=Ma99QK-aX9pN6cYQpBf6B6hUALGvEqp7eSVX4nV2f8A,225361
agda.libs/libHShaskeline-0-faf48d18.8.2.1-ghc9.6.4.so,sha256=_dWmBlQPNToHaZZSk7cYCX7I91ov_vX4EvUdmQ0B2Sk,2819377
agda.libs/libHStext-iso8601-0-982ab40d.1.1-961471937103c06a78a616048b08044bec1d73f3884f92bfc0e504a3c2dee9c4-ghc9.6.4.so,sha256=MyckFVAmwOBdWFihs6kuat6JdJ7YQmxZYqwYiQCz7R8,486497
agda.libs/libHStemplate-haskell-2-56df5de2.20.0.0-ghc9.6.4.so,sha256=-5hubjigziRgLcmq-VmgkI65KK7JXmw_UKbWkd2iG7A,6303881
agda.libs/libHSblaze-builder-0-9855c5ad.4.2.3-4ef6bdf604061efc40711ea0c3cf0fc0676ff4040039c3e92e60d042c0aba74d-ghc9.6.4.so,sha256=_MHu72WLtJlMMHhWtNbNwpdNR4jjQ-Llw7UBWhSDShI,458393
agda.libs/libHSinteger-conversion-0-d50099bd.1.1-28a6660bd7a28ef7904a35dfd49e343bf5681e5273225379b6debbe7ae40f52a-ghc9.6.4.so,sha256=zm4gwaLFWpNznpblg0yi5pV2sWuIq3NQ1E5rUodPGUQ,73217
agda.libs/libHScharacter-ps-0-abda8b6c.1-fd78481f4330dc9f5c890ecdcc433b28e32da6fc1e0d9cf042894f7d9e2d002c-ghc9.6.4.so,sha256=uXFUfkh3vi4Mi3vKSqDQI9wz4Di1sWj4ht4CuvlenWA,929697
agda.libs/libHSasync-2-667d1997.2.5-2c91acdc451eef195ab58186d194ebff925065f118516e43017f40098fec2bf6-ghc9.6.4.so,sha256=pSHyiMfbpRw2zBZLvgDoL-LzYnjmYkdEqqcA2H198EY,569729
agda.libs/libHStransformers-compat-0-5d659ef3.7.2-9a9e46cd82558680dd7e331283b50a6307404e3f9b98b5ec7cfeec670dab4692-ghc9.6.4.so,sha256=xCB2WvYrEvzvp3U-bhTEoY2yqi9OD4UsWQvLF5Dpxec,1205625
agda.libs/libHSbytestring-0-9753b8a9.11.5.3-ghc9.6.4.so,sha256=Y-7chZEssj-yfIpzU1g5j1NUM7A5W5IlhVlAv4Ms5SM,2437769
agda.libs/libHSsplitmix-0-5aa3fa10.1.0.5-d55f22203509c205e89102ca84b36cdfeffc27e52a2f905c32f097f310639c25-ghc9.6.4.so,sha256=Z_dDFs1tBTQX_TTR_Uc8WfbItrrC_XZ_D3EsOdUZvXM,294249
agda.libs/libHSindexed-traversable-instances-0-f13c5acf.1.2-17933e8a466233495663f54c3ab3aefc97fd7a17be3a3ac31af55b10fa8970b1-ghc9.6.4.so,sha256=bfbOHARQWX7cvAQJ5IE82e7PA_8yLnbG4_nboYqgOk4,134441
agda.libs/libHSutf8-string-1-a92ca24b.0.2-7f7957d6c5602026e12a4448adc4fafdba1c5e253e8a79d546fa2a72c53515f3-ghc9.6.4.so,sha256=9kCo8-MFAG1WQo7jZjEahnft-78Y25VPVmb5vrG7U2U,583153
agda.libs/libHSdata-hash-0-5faa6f43.2.0.1-3c5564bf2a323c530e8defaacb2df3b1507e64a3d6bff3df6774f1c67ffac7f4-ghc9.6.4.so,sha256=_eCyrT2raGrrEQgh_iQ4S3edrZVNIx8IQe9mbelTXdM,673265
agda.libs/libHSansi-terminal-1-4082b833.1.1-7ec3e1b2e54743e79113ee4028070f28f48fd551ad1bd35a79473b5bb37ef7ea-ghc9.6.4.so,sha256=TWZ0Ld4OWSkwttbwRpzMvRYZVQAGZcJyFpahhXtxfCs,526617
agda.libs/libHSghc-bignum-1-d28c3547.3-ghc9.6.4.so,sha256=APUxGQ21TbuDD9ROCNJjCRRSGi_5cqvjB9erQvlgnW4,589633
agda.libs/libHSgenerically-0-2c66988f.1.1-db0d192b3e9951a784a8368fabdaf69f1aaebeeecbfa01e4607cd5203c5f4fd0-ghc9.6.4.so,sha256=W5D07q3LNm_ZSXREXtWs7cvn1DDDIIGuftJRid1OAsQ,21905
agda.libs/libHScolour-2-e2beac65.3.6-ad317581d2ed96988d57a390bc717237934f021e7521cd9a436a5b030bca9999-ghc9.6.4.so,sha256=85F5OcQT9lZfO9e65pOJSRvpMFrDJfC7LJ520Gjupoo,1401969
agda.libs/libHSvector-0-007308ef.13.1.0-2f6afd5799ca91096762b7f5162205a1654efc19eac2a8fd107412b1038a1f6a-ghc9.6.4.so,sha256=rpYJB2hEc9Gpw5gL2iiCzpjndxqUH1GJHy0325jVMts,9677833
agda.libs/libHSexceptions-0-0c9a0787.10.7-ghc9.6.4.so,sha256=OdgNsKp1SPESmCPCb9jGy7uEKgRVaczjQmh1Xu_10gg,509393
agda.libs/libHSedit-distance-0-7b365a7c.2.2.1-bae6c2de9bee017d2417c43735d8fbdd9a16a1792651331375eb1288e7166788-ghc9.6.4.so,sha256=Jsem6cmnZoFJJOHZTr6jJxX_5NimI8CmjmC7k7375JU,344537
agda.libs/libHSthese-1-2ed17270.2.1-0b191529705d65a2186a0f2e60c5a0b0c80e68ab2a17d6a04a2d025727eb5287-ghc9.6.4.so,sha256=0J1f-UwXgbPa4sBPwqGjKdTcsjj8epUtOQtC6Jn1vMw,811553
agda.libs/libHSghc-compact-0-5ce1ee09.1.0.0-ghc9.6.4.so,sha256=20GAt8dTMyRNNb3Kt7jz6QIS9_dMDghzZMTWBW-wMNY,83401
agda.libs/libHStagged-0-e09f8a8a.8.8-152213c6ae5024c3a6ebeb826b550b5d39c1a6893d422ab322a92f17a02c7820-ghc9.6.4.so,sha256=sK_cU6vz05gXW9kjgUHfhOSc5zIz45soxRPVFa9t3LI,506537
agda.libs/libHSAgda-2-9c4a3a14.6.4.3-8b6694247f9e4e1f75066f4fe5a8ecb91fe273a8b1b7b44803a621e5217d78d3-ghc9.6.4.so,sha256=R6-p_QU2quuo2igdO4gIJjDtpU7ElrMmMDN2IKqBjxQ,212717425
agda.libs/libHSregex-base-0-c0c9ad35.94.0.2-3d29044a08025009d49693e2ad2f4600a2a333737ee30192e2a78b8189e4128e-ghc9.6.4.so,sha256=AWuZkXxx7LZl9GNhA7WVjqsuczatynzdhGQsKpMit1g,570041
agda.libs/libHSvector-hashtables-0-746ec560.1.2.0-144a8e75f4d92f2865bc6138241c91e6f50b26e8d3f5db7f30d67f1f60718729-ghc9.6.4.so,sha256=KAjoPwdmRBILX3sM4-8OVBdTAzyMwBIaf3n6ctrV8iA,2219097
agda.libs/libHSSTMonadTrans-0-21d333f7.4.8-717bbd4b0b0304b984121a97798306233cf3820baff4d98173502271e706ca1b-ghc9.6.4.so,sha256=R7mFHUpJi40C0y_070mP48WhvBRRbMMz_RGyaHhptEA,635025
agda.libs/libHSparsec-3-fee693e7.1.16.1-ghc9.6.4.so,sha256=SFSb5WS1IhuTivNz_2x2mv69RRfE00QTmRxGNVkjCuA,1425841
agda.libs/libHSbinary-0-baabe3a9.8.9.1-ghc9.6.4.so,sha256=oLrd_y3s5YX-g3_NIav_tM_2tPlqnlKFVNidgQSLd6g,1230753
agda.libs/libHSwitherable-0-5fe28983.5-309c91768cf20577a6485b47376716ef528ae79b8645401f1b4492c91b045867-ghc9.6.4.so,sha256=87qFeiatpDhSWUCOwzdDaY7M_XFOdb5pTvJRfHW8qQ8,1171993
agda.libs/libHSboxes-0-eb600980.1.5-27dede27755a7852288d4c090b74ee08f6e74ed519a2719e257afffa45a63244-ghc9.6.4.so,sha256=c3RgZEoFqW_BDcM_7N4PqqXpEj6OsrN4WZeaeXzU6ow,290065
agda.libs/libHSpeano-0-9ec47efb.1.0.2-0bcd986cb7a36c1a76d2f078a9b14512d7274cc4fc5ece6b264c50bc87efe478-ghc9.6.4.so,sha256=pwygqVZ7pvZOFpiycStndksDpU6l5hS0hL0iqtrIrqU,200921
agda.libs/libHSuri-encode-1-5d33d68e.5.0.7-a71d342b97469f9ca0b4827b4c636b8366ed049a159435e8ecb3e81b9c164346-ghc9.6.4.so,sha256=JbpcIF9f1PJvd8Ze5coQ_2PsdAiu2vA6ezuUpXdHZes,89473
agda.libs/libHSbase-orphans-0-9aebda55.9.2-e85604575f87404175e0042b45757256d2f378cb19530e0e037ba61218d7a4e4-ghc9.6.4.so,sha256=4IU4vE6RCQwDPB31GKvHLTYR6zbIKrdb3lAhk96f9oQ,126521
agda.libs/libHSghc-prim-0-a7f168a8.10.0-ghc9.6.4.so,sha256=vNX2SVaxkxud3HdCckApedhi7dCGByDnhu8Nx6fK3qw,8176601
agda-2.6.4.3.post1.dist-info/RECORD,,
agda-2.6.4.3.post1.dist-info/entry_points.txt,sha256=ZB9dqP6YQG11A8Z3WcgsbE0E47h7gawFlf-U08ovnqg,80
agda-2.6.4.3.post1.dist-info/WHEEL,sha256=0dgr2I0d_Q6WDZzzWlmWVXacsOMg-T-MrKmMEjaXoCE,147
agda-2.6.4.3.post1.dist-info/LICENSE,sha256=TFYGq7nMYwWoEhrDp5cpzftzCOrcwlXLKpDLsBkmqis,1066
agda-2.6.4.3.post1.dist-info/top_level.txt,sha256=88XvtZ_oCo0WpIgK7LXBbbTuYah6mUZ3iqg0WClwRIA,5
agda-2.6.4.3.post1.dist-info/METADATA,sha256=eos8IG4EwghLbRe0ZsHIsGSVbIc215RIaUzrB084JvI,3987
agda/__main__.py,sha256=NqBBt-d-LglK0xs_3PWpt2FCMS8y8E5ZYn_eeby6Af0,339
agda/binding.def,sha256=x7gLyv2JWYW4bNIcn-2mQaMqx9liTEIhilaw-N6J144,26
agda/__init__.py,sha256=4jZAObcW_Mcs9BfRpeq-V3Nfl4zrGetSZ2W3P4I6cXQ,462
agda/_binding.cpython-39-x86_64-linux-gnu.so,sha256=DG3yHgu-WE7JF4dNqJf2R0GP8ufg7_s_smNMZwQoeUU,260193
agda/_binding.pyi,sha256=-Q2FcwtrVf3y98OaAjxq9tVvliPMC5kXj7QQ5EIfPfg,276
agda/binding.i,sha256=t_9pMVDZIaH8pu-9eRk9upwVLwVvicqBTW8k-lLe79A,1262
agda/_binding.py,sha256=d39nElEJxciDkkGY9obX-y3R2pd-sEldO1aQShl0UzM,589
agda/Binding.hs,sha256=poR7YrRRegKlj98eK7fUubWgaTnyReijiBReZhU8K6Y,1461
agda/mode/__main__.py,sha256=OJSyPO6kUjnbFw6Ym0lYOLmaDCgHNITKu6KS6VPY2FY,354
agda/mode/__init__.py,sha256=efjwkiY_7OIqsq7mhy-HIfhH_PoLd3CyfHPbSMWwR2o,276
agda/data/README.md,sha256=nHj4U9my6A68tX23hvCeLWK7j9EJg7s1sETA1oUBj5M,537
agda/data/lib/prim/agda-builtins.agda-lib,sha256=8sgI4Q-JrB8oyaZhzEL-evU0vA8a1y7I1hU7tvCmfeA,31
agda/data/lib/prim/Agda/Primitive.agda,sha256=5eTgSQDPGiggLi_ya7INb6ZAH8yfQEnNjRT-3VvWl_g,1112
agda/data/lib/prim/Agda/Primitive/Cubical.agda,sha256=LUN4NtYgcwD9lZsqsy7s06Qm5dCJkOeAiH4Pg1kCeGU,2240
agda/data/lib/prim/Agda/Builtin/FromNat.agda,sha256=bhuXxtx2kLNUeVvC5IY33Usr0tpmgTh52jBW2lo4kvw,453
agda/data/lib/prim/Agda/Builtin/Word.agda,sha256=r1kWaj1i23x0xS93u0Nim4FmjyTLqGSBySGyjHamD80,335
agda/data/lib/prim/Agda/Builtin/Reflection.agda,sha256=Kk_XSpG2fX8DC6DA6xmV4TJUR6fjho4odhUUPbGYS3Y,19909
agda/data/lib/prim/Agda/Builtin/Coinduction.agda,sha256=mb2INq1IsBpVsvzuWrgd0qXjRwuSTNP3hQDr9ROQjPw,415
agda/data/lib/prim/Agda/Builtin/IO.agda,sha256=4F4nu107JblaNk15w0DCpsi_5mmBSgecZ7T6zBnDRa8,298
agda/data/lib/prim/Agda/Builtin/Float.agda,sha256=nBmfYFBLkoAzMx6kG-NmZIjkIBRqlTCED0GKQMahRC0,6442
agda/data/lib/prim/Agda/Builtin/Bool.agda,sha256=UU-iWg33BkzbITUHoPYzLJcoilLVOL46nfBsxwAbp_U,449
agda/data/lib/prim/Agda/Builtin/Equality.agda,sha256=VzXtsL5-UwEzgU6UMdFGa7HniSwqR0bBoNKjoNvqkc0,259
agda/data/lib/prim/Agda/Builtin/FromString.agda,sha256=6CdXwtkKYf8mXe-lcPX_ewAv16uvOFrOSjIRPhy8F7I,489
agda/data/lib/prim/Agda/Builtin/Maybe.agda,sha256=mC9_Kvv7xKxBtr2v3fteAypd36ceIE85u-zCOWfcSAg,242
agda/data/lib/prim/Agda/Builtin/FromNeg.agda,sha256=cxrkahNhefkN8bkNhuZ4K5tsrkokixTie2QdoUlKCBA,459
agda/data/lib/prim/Agda/Builtin/Int.agda,sha256=TfNB4HS4Re3Ifcj4NIljXCWA6CIrFMu5RB-r9kxBOD4,474
agda/data/lib/prim/Agda/Builtin/List.agda,sha256=OHx1pl8PFNxiaKjPhMk7gLcTnw6Qum2NbWcvAsKIIZU,529
agda/data/lib/prim/Agda/Builtin/Nat.agda,sha256=Lmgdnd6aOUYDZO53UYHzH3vLfrpyIL0quOTes9AtlMk,4076
agda/data/lib/prim/Agda/Builtin/TrustMe.agda,sha256=9MeKkqBwJmswCp3kw09O_auabt6FNfatE3OYjETY0E4,438
agda/data/lib/prim/Agda/Builtin/Char.agda,sha256=cnRhbP8uR6QvirtjdX3tLRZkiZ0FZHavHqI76Evl3HU,555
agda/data/lib/prim/Agda/Builtin/Unit.agda,sha256=A9Big_nYAFvv-Z_ULeOLcxWqdpcJnqIvwZ0GBgCxYkk,281
agda/data/lib/prim/Agda/Builtin/Strict.agda,sha256=xfTSvx6Wt6eaAe6YKKclAcXE48L4dr8lM845QZoLOp8,383
agda/data/lib/prim/Agda/Builtin/Size.agda,sha256=y_Zp5NCJzruekhg2AC6A5gZ7vvPUkWUb6s9kFXt1wgk,625
agda/data/lib/prim/Agda/Builtin/String.agda,sha256=RlWzvisiek5jeEHJssmhZFbo1ygjol_0iIeOLqBgoig,1577
agda/data/lib/prim/Agda/Builtin/Sigma.agda,sha256=XDk_Iws1kDL2T_eK1pN5mhYtv5ytogiQSK7bTG9mnh8,335
agda/data/lib/prim/Agda/Builtin/Float/Properties.agda,sha256=43oRQKDke21OsEOhCRa-iJalPWJ6jk-aJqD3ovw6EGs,316
agda/data/lib/prim/Agda/Builtin/Char/Properties.agda,sha256=FbYJuP9piBiuRr7MPygdCR88I7UyGHUOC49PPyB7pW4,302
agda/data/lib/prim/Agda/Builtin/Reflection/External.agda,sha256=6VqeuZx5CMs0RvyGwU-mM-8Go0MIeAz0-MADGufW-Zk,511
agda/data/lib/prim/Agda/Builtin/Reflection/Properties.agda,sha256=EU1ihQESlxz0HwTF963dviYVgnQA2rNXYjXzBElGsmQ,416
agda/data/lib/prim/Agda/Builtin/String/Properties.agda,sha256=Ywp_feePJ59lCNhQxwdTUz3sSY2G_TTWamnYFUO0W3M,417
agda/data/lib/prim/Agda/Builtin/Cubical/Path.agda,sha256=-aH4uOBGJ4o6Gy3yHzn0wrgd9G3uS6G-x7X_Si2uQVw,411
agda/data/lib/prim/Agda/Builtin/Cubical/Glue.agda,sha256=fJLP0POqSL2-CY9BTHETWuKLQVSN9L4mookx9n1jIII,749
agda/data/lib/prim/Agda/Builtin/Cubical/Sub.agda,sha256=gNNpfl9NfgW5uVsU4sCAVPJPUtwbDRMoO1H6K-1G-1A,480
agda/data/lib/prim/Agda/Builtin/Cubical/Equiv.agda,sha256=MzZ0tOts9WRxVxeWNVcVt6nL9recJffKqU4IUmlvzWI,3849
agda/data/lib/prim/Agda/Builtin/Cubical/Id.agda,sha256=XhJ2FGemlWaOROM9QPj4IiqAUPBpQHkWNwtF9UYEIi0,1931
agda/data/lib/prim/Agda/Builtin/Cubical/HCompU.agda,sha256=xqb4egAQvwN2YMKN6DMIdC-DicDZ5nGPMVkN2Vb6KZ8,3518
agda/data/lib/prim/Agda/Builtin/Equality/Rewrite.agda,sha256=kDUhLcnch-fxSXGxvn81aBq63t-WLNkaNbcgaaHLlUA,210
agda/data/lib/prim/Agda/Builtin/Equality/Erase.agda,sha256=ELMUMAQvQ8lupoxLL8XBNEJVXeHY-xtEvf3Qgb-YSdM,245
agda/data/lib/prim/Agda/Builtin/Word/Properties.agda,sha256=XCKWX7simbrMhzrTYj0bscf61dF7O7LMwYFu4dylEVs,308
agda/data/latex/postprocess-latex.pl,sha256=vej55F4DMN1SzRLpIsgfOMcSQSSMONKy1JkSLOBPrpo,466
agda/data/latex/agda.sty,sha256=a7W8ZM-S_ZhtwNGDtqZWs0jawiEJf1-6wFy_nGVXdC4,25936
agda/data/emacs-mode/annotation.el,sha256=m81TGB90XWFcarUtnDKIrOXgp-Dse4GsRpgU1DMjX6M,12007
agda/data/emacs-mode/agda2-queue.el,sha256=nVl-pytYmzPWtPTMFocG67Ak4TWRpns8Buew4plwVRk,1487
agda/data/emacs-mode/agda2-highlight.el,sha256=powOGuRakes3Z60JGiwUjfLR5OfUb5GYroaJm6YIuHs,22864
agda/data/emacs-mode/agda2.el,sha256=GnptBXME7AyDTkljMdz3Qj9iK_SGTBuQPZH0T844Rh0,598
agda/data/emacs-mode/eri.el,sha256=5A7T2LK-vTxuQTIDjp4n9jlQ6xlusnuO6ra0951B0e4,7115
agda/data/emacs-mode/agda2-abbrevs.el,sha256=NefAHS5Mzr36ZP8guvILDNeqjutsBNIPRFXTOCFm8PY,2663
agda/data/emacs-mode/agda2-mode.el,sha256=cnUio8FkR4tiN8cDJWgziEBJe2UfE0sdFeH6AyVbATI,82385
agda/data/emacs-mode/agda-input.el,sha256=SadP42ggYELL0tau6Akoq5a5M3q3QNT-1V9LUEoSYbA,43857
agda/data/emacs-mode/agda2-mode-pkg.el,sha256=kq61qXmGZXGz1wiD3uX1ojL5yyk_k6nh6a-OF-FcLsI,242
agda/data/JS/agda-rts.js,sha256=4LIqGC-WdC61RGbW08v4fnWysCit-fJGFFeZgqesZ00,11072
agda/data/JS/agda-rts.amd.js,sha256=PWDNT7UuivW02r8jNuMrWhtghMU_JTIQilPJloWk4N0,10598
agda/data/MAlonzo/src/MAlonzo/RTE.hs,sha256=3YZYF_YGqshPGna6BoMiMoTQXvkX2joU0qHhgD5MqgQ,2859
agda/data/MAlonzo/src/MAlonzo/RTE/Float.hs,sha256=82lexuT3i-yt282CAmrUJ-AmxWL7vY6Xx0ZOkuvCQLc,8630
agda/data/html/README.md,sha256=TMU_z9jIluvJpH7lFpOkEgMPHUKDlVXGCWpGb_Ap6P4,71
agda/data/html/Agda.css,sha256=Nk4StfSMDfoo-6OqvfpRqRXUbMOXK_UjAbfd8vgXC-I,1793
agda/data/html/highlight-hover.js,sha256=3zLI9Z2uAvG9wZg33P56MLdkpDUl0mbL9yM-0-UxFYM,1333
