agda-2.7.0.dist-info/RECORD,,
agda-2.7.0.dist-info/entry_points.txt,sha256=ZB9dqP6YQG11A8Z3WcgsbE0E47h7gawFlf-U08ovnqg,80
agda-2.7.0.dist-info/WHEEL,sha256=uM25lLCaMtOG2GHAH7i_7UmV7e7xqtKJi5b2ZZA6TSU,151
agda-2.7.0.dist-info/LICENSE,sha256=TFYGq7nMYwWoEhrDp5cpzftzCOrcwlXLKpDLsBkmqis,1066
agda-2.7.0.dist-info/top_level.txt,sha256=88XvtZ_oCo0WpIgK7LXBbbTuYah6mUZ3iqg0WClwRIA,5
agda-2.7.0.dist-info/METADATA,sha256=ufgven8zmja4yR4VWqVJXhcVbSWg-dIRQwygnH7s8q0,3979
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/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/libHSthese-1-ede1a8ad.2.1-6792f3ae029bf88417d97f59f24e2c5ab72dead8b969ed8e3b0bccff0dda396d-ghc9.6.4.so,sha256=EzcXw68ZrCfKv7UEB-m9pvg2PMHj2Uvf_mTWUNZ4dCI,811553
agda.libs/libHSos-string-2-b464efa0.0.6-281ff0642d7886d3298359d97641260927249416b13540ce03fc4ba0643e387c-ghc9.6.4.so,sha256=ZRiEJU2Dui5r_xN8jblSa1emy0J02xBgauiwrCixr6I,1713345
agda.libs/libHSAgda-2-518bac4d.7.0-7ce05c4497c2f94ca66ef881972d33e1694f042c51dfa76ff0e78ce87b8ea712-ghc9.6.4.so,sha256=s0FBxqiYEZnS2lVWYHNDIf2ebfWTCZNkL3RXXE7MsKI,215208953
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/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-short-0-f1439e84.1.6-d833016a4f1d5f8fac876246a29be177cbe0b48f611f86c67e5b2fea496f3c92-ghc9.6.4.so,sha256=1Eyck2JVnlXTW-5QE6NQCKRVqJIH_s7_48hA1YpDSmY,521241
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/libHSuuid-types-1-ffb65328.0.6-3ef3490f1f6743d1f201ee7770745b0285a1f82d4e1b45ab59ea50fa900f7cba-ghc9.6.4.so,sha256=-7jDql6rXC8aPUTrV02fAAfdqQ36rK6H7aq2PerMCg0,501665
agda.libs/libHSequivalence-0-8a8d90f0.4.1-98ac91d6fd1b42a14811acbbe00318fd8ab0156c477a8606c21263b766478bef-ghc9.6.4.so,sha256=HbBdVTz7VIt-u3qEbgLszQzjujMQ_cnIGXxLo-FRIb0,548505
agda.libs/libHSsemialign-1-2accc34c.3.1-fd36e6307d7fc210bd04a1747e9865e3fbf403653a6682447cf2d6bec73ad6e8-ghc9.6.4.so,sha256=c2YuLGC3iEFxIJX9VTfHmFG6tm04MPq33WMKzl5ZlTE,1159377
agda.libs/libHSarray-0-e4b28179.5.6.0-ghc9.6.4.so,sha256=FLpUsN79clVHIO24K0bQl0aSzoSV4tVb2AzbFcPyFNM,862977
agda.libs/libHSpqueue-1-6b280e91.5.0.0-a2dc5a7f1e5e9dcf7322e1114f28e479e46fe63de0cffdd0ebf83f8d154c9a57-ghc9.6.4.so,sha256=9Im1r7XBsXP-I6Xs4j1kv2iusjrbo8xvGV6CA-IVHTI,2272729
agda.libs/libHSOneTuple-0-cc30e280.4.2-b7fff6ce2a6c9579e5b57378aad6549c4227fc7aad45790106a3e08a1a1b925d-ghc9.6.4.so,sha256=fUVNE3OugqvcxhiKh2NauGO_HeeMVAhmGqUIls9fKO0,36601
agda.libs/libHSscientific-0-23a78894.3.8.0-810c2736977f2466cd01b7782393fe051e76245c3e6d8d4b89020dce9e2f439d-ghc9.6.4.so,sha256=aWKMUDJqejW4QvQ6zZtBQZ1wlt-mUMiO_vnuWot_9Sk,747169
agda.libs/libHSunix-2-eeeb64a9.8.4.0-ghc9.6.4.so,sha256=cJNcT8gn3JUsh-tPMNRD1mT4PCxw-qs1WOZ_CCUqC1w,2521449
agda.libs/libHSindexed-traversable-instances-0-22ec3676.1.2-201c38c6185757e739958e9dc09a79fbc2c070b9839ec011b1af12010117ee35-ghc9.6.4.so,sha256=DbdCne-Vr_ealkY3foqrmcB5SZMCLu7xbItdXPNt2QY,134441
agda.libs/libHStime-compat-1-b83c681d.9.7-eca014bf1fd9fecd5592e556091243b5b84d8bffb825d0f630bd2792220feacd-ghc9.6.4.so,sha256=QTRuvhr63_ys9YKamklc5V9fgL6KvrwhBWtgouf6bf4,502185
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/libHSdata-fix-0-4d6a1ce0.3.4-acf1e63b63d9de851f4aeec794ff148e1b37656dd237e55fa291b62f678d4de2-ghc9.6.4.so,sha256=wq1q5xBCd3Y5WTxBK-dxYa0jjvYirBDuYHQB6y73EwM,288489
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/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/libHSvector-hashtables-0-f52101a3.1.2.0-37a083f0aec22a6dfa0eb672e1e6635e41964117ab9d5ad1d18ca8ead00e8f98-ghc9.6.4.so,sha256=1J7Ymo26SI7LUhbsTEE3PuFPcX0Ad2INH_kjO6g1uJU,2219097
agda.libs/libHSregex-tdfa-1-548645de.3.2.2-48080193f5815bedf6a79e3c319dcda109109add1d77fed70babce503b84fba5-ghc9.6.4.so,sha256=cN4xJTsKsgfqtmFoyZMqOzRO63iuodq7y_Fk64FqnUk,4406937
agda.libs/libHSstrict-0-cd129f06.5.1-5b6c0d1a890b775d3c849f84331f21eaad9b48ceee7a236ee7e5f3bc733d4bd6-ghc9.6.4.so,sha256=dxTAPtETqJrFqSsL47g0fSQbbko3mlDvcptw747rGyM,1453889
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/libHSsemigroupoids-6-1c0141ef.0.1-c475d20721dfc614906eeae9d263477dc3ecf77231afffbeb052849c71731b9c-ghc9.6.4.so,sha256=22E97_3ro5CqM4DnQXs-khDabT7IGy_Gc5t4Tfe0PrI,3496649
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/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/libHSwitherable-0-c2c1c3fb.5-c7f26aab3d24ee4f8fea8b7070364c92184a452e5877a4752ebd6f3950e4a46e-ghc9.6.4.so,sha256=AttWVgjujWHwfLKvKCERQtJkyZEZKiIHRmOmnZPRrTI,1171993
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/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/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/libHScase-insensitive-1-22d62d8b.2.1.0-d0c00abf4744a72324385e1eb032276936038a70b648a3d7a736cd2863f64737-ghc9.6.4.so,sha256=xvdEGyEv7KA-4VTgG34Pb0928VmtLuw22dhJi-vOpYY,298865
agda.libs/libHStext-iso8601-0-cfa3d7b5.1.1-7bfce65ccf12e94b67207f6719a8663f6452275d7c6ff17350dd1590ffd96aec-ghc9.6.4.so,sha256=wN-JYetstp01NuYv3cmkajlNJ697LVmu18gJDLwWkmQ,486497
agda.libs/libHSansi-terminal-1-4082b833.1.1-7ec3e1b2e54743e79113ee4028070f28f48fd551ad1bd35a79473b5bb37ef7ea-ghc9.6.4.so,sha256=TWZ0Ld4OWSkwttbwRpzMvRYZVQAGZcJyFpahhXtxfCs,526617
agda.libs/libHSunordered-containers-0-d11173b6.2.20-b4b4550614ca4cc0270bee8d6634dfe811f84466206e2fc84d0aacb6b2fa8b1f-ghc9.6.4.so,sha256=kMYLEW7kGqPjrmgDe40655uXo-oeaPjs_WA2a56nsmk,1738721
agda.libs/libHSghc-bignum-1-d28c3547.3-ghc9.6.4.so,sha256=APUxGQ21TbuDD9ROCNJjCRRSGi_5cqvjB9erQvlgnW4,589633
agda.libs/libHSasync-2-0ac5f28b.2.5-1c44cf45238fc70dfaee9e1e54c0fbdcf1467ed088dcb06db9f46bab9e5d0a86-ghc9.6.4.so,sha256=_P_bBQcdzkowgpiI6mJZlCqB5mXOWRpFsZcE0o9yz2Y,569729
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/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/libHSregex-base-0-c0c9ad35.94.0.2-3d29044a08025009d49693e2ad2f4600a2a333737ee30192e2a78b8189e4128e-ghc9.6.4.so,sha256=AWuZkXxx7LZl9GNhA7WVjqsuczatynzdhGQsKpMit1g,570041
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/libHShashable-1-f00c5d92.5.0.0-9a2d176f1b288f233ef75048635b20b7a3a64f23605fcc45aa00a9921675d92a-ghc9.6.4.so,sha256=JxbKxLBmOZzYXHx0dg0uaH7fyiA8RjnO2bpu3pxQdPk,1100553
agda.libs/libHSboxes-0-eb600980.1.5-27dede27755a7852288d4c090b74ee08f6e74ed519a2719e257afffa45a63244-ghc9.6.4.so,sha256=c3RgZEoFqW_BDcM_7N4PqqXpEj6OsrN4WZeaeXzU6ow,290065
agda.libs/libHSaeson-2-758d696a.2.3.0-257079de0b98726169493f2c26df31ffe75ed75a9a8e2a2805620a71ecccb485-ghc9.6.4.so,sha256=20DNe0MqwKT4oDYoU6v1DeAEoLskT4NWW0frs4JhvJo,11730105
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/__main__.py,sha256=NqBBt-d-LglK0xs_3PWpt2FCMS8y8E5ZYn_eeby6Af0,339
agda/binding.def,sha256=x7gLyv2JWYW4bNIcn-2mQaMqx9liTEIhilaw-N6J144,26
agda/_binding.cpython-310-x86_64-linux-gnu.so,sha256=616jApOXvwI0HJb4jOPFvrZmTtmCNF8ZHKVoX6cyt8E,252297
agda/__init__.py,sha256=zcS5maplB-yvQ6_2TUEzI4mHvb9qeeF0FhFKA9AdB6o,460
agda/_binding.pyi,sha256=-Q2FcwtrVf3y98OaAjxq9tVvliPMC5kXj7QQ5EIfPfg,276
agda/binding.i,sha256=t_9pMVDZIaH8pu-9eRk9upwVLwVvicqBTW8k-lLe79A,1262
agda/_binding.py,sha256=EzX1pOWpS1xGsrFHZ2y81aOx6X2wD0mpJM7U7xtO4mw,590
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=Voe2OEO2vdc-4fWXYsOmLHxBk5ABmjpA4u_bKqZxas4,20575
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=nCzYgrEFOl1B96DsosVga8gvtuUH11mdaTOZhfxeP7k,25934
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=dxdc6Ksk3Vo0Y4Y_63BRobVzqNQaLULgH4O8237nc5o,82383
agda/data/emacs-mode/README.md,sha256=P3FopzIdBQwrvAGzEt31_d1DrkQgzes2FYotPmATNCY,219
agda/data/emacs-mode/agda-input.el,sha256=2mZGsuTS2TIpOi4nfuOLFNzAi9c_1eEkZMIiHGTbI7k,44985
agda/data/emacs-mode/agda2-mode-pkg.el,sha256=tse02bU0gdKmrq8PM0-YcDcXxfksQBkiceNM9A9bN1U,240
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=s3thg8wyKFVwKO6HVNB8ubAaHVLmJZIC8PFWtJkqTU8,1842
agda/data/html/highlight-hover.js,sha256=3zLI9Z2uAvG9wZg33P56MLdkpDUl0mbL9yM-0-UxFYM,1333
