agda-2.6.4.1.dist-info/LICENSE,sha256=TFYGq7nMYwWoEhrDp5cpzftzCOrcwlXLKpDLsBkmqis,1066
agda-2.6.4.1.dist-info/METADATA,sha256=kXIOYD7nMKSGoefuhrqRTlUYCfzWlDgNCkbCkwp3i2Q,3981
agda-2.6.4.1.dist-info/RECORD,,
agda-2.6.4.1.dist-info/top_level.txt,sha256=88XvtZ_oCo0WpIgK7LXBbbTuYah6mUZ3iqg0WClwRIA,5
agda-2.6.4.1.dist-info/entry_points.txt,sha256=ZB9dqP6YQG11A8Z3WcgsbE0E47h7gawFlf-U08ovnqg,80
agda-2.6.4.1.dist-info/WHEEL,sha256=CzQQWV-lNyM92gr3iaBk8dvO35YDHRxgzkZ-dxumUIM,152
agda.libs/libHSunordered-containers-0-7e0addc5.2.20-532c04855b66b6a86d7b2ff9c6eab3771c620e6591caac25494ea985f417fdb9-ghc9.6.4.so,sha256=5HJf6dPr-8d9lwCA7NZ22PZnu_hYR-u8UhWmV-1AmSw,1738721
agda.libs/libHSsemigroupoids-6-e7a3cf48.0.1-69c66242e9659b795a39d2ed4dbe932b954b3e2520740427130ab3ab65d89b04-ghc9.6.4.so,sha256=nv2LOP9146rcqUE7fT7vOOyYoRZWxoDVoZ4xINuzqCM,3496649
agda.libs/libHScomonad-5-b56d8f64.0.8-e1ab8ba8f6782495c8c9bd3766d8e6032f22804f7bd4a75ab3757c73d2a0f3bb-ghc9.6.4.so,sha256=lWENPoi7rOS3BIo1eNcRzwP-iGIlYZA-DjgWWsohBnc,905929
agda.libs/libHSmurmur-hash-0-09c8579f.1.0.10-6a250d79b839a970cd79d492e74336af40fe5b359f79d26a5330bed8ea7decf9-ghc9.6.4.so,sha256=AFNeVDjmIsKTWmwIe-J6ThX2h8_x8M-FjROvsGYYsq4,263377
agda.libs/libHStime-1-6fdfc8cd.12.2-ghc9.6.4.so,sha256=yVBz-licqDmjQmKUtzwePbXIyxfI757vFyUG9cSaNZc,2900241
agda.libs/libHSuri-encode-1-5d33d68e.5.0.7-a71d342b97469f9ca0b4827b4c636b8366ed049a159435e8ecb3e81b9c164346-ghc9.6.4.so,sha256=JbpcIF9f1PJvd8Ze5coQ_2PsdAiu2vA6ezuUpXdHZes,89473
agda.libs/libHSedit-distance-0-7b365a7c.2.2.1-bae6c2de9bee017d2417c43735d8fbdd9a16a1792651331375eb1288e7166788-ghc9.6.4.so,sha256=Jsem6cmnZoFJJOHZTr6jJxX_5NimI8CmjmC7k7375JU,344537
agda.libs/libHStransformers-compat-0-5d659ef3.7.2-9a9e46cd82558680dd7e331283b50a6307404e3f9b98b5ec7cfeec670dab4692-ghc9.6.4.so,sha256=xCB2WvYrEvzvp3U-bhTEoY2yqi9OD4UsWQvLF5Dpxec,1205625
agda.libs/libHSdistributive-0-26a98b50.6.2.1-a37f24d2294fda11588ced05f2cb7537425222d23d281026bd94a443eec03d7d-ghc9.6.4.so,sha256=_nB_v2KRC4DEptaWH4ZraI_-5TePs9dqL77vOD8Zw4E,353793
agda.libs/libHSparallel-3-3ec89f2e.2.2.0-657be764d74f0ad7df1780eadff09304ee7ed2e90b1353498d4098140b143ccd-ghc9.6.4.so,sha256=48ThodXmrpudbezNjTAo7PxmtvBfzlRjLIxY-B7lbGM,371233
agda.libs/libHSdata-hash-0-5faa6f43.2.0.1-3c5564bf2a323c530e8defaacb2df3b1507e64a3d6bff3df6774f1c67ffac7f4-ghc9.6.4.so,sha256=_eCyrT2raGrrEQgh_iQ4S3edrZVNIx8IQe9mbelTXdM,673265
agda.libs/libHScontravariant-1-37d6c8d2.5.5-5ec05cdc1c420079e07ec3db14e2134b812735176fb41b25c4d6f0e05d9a4cf7-ghc9.6.4.so,sha256=U9ogCLDM2DYy2JXafO55YQzZSfHAoFwpT__UxBk6rwc,638817
agda.libs/libHSbifunctors-5-98bdf462.6.2-bc46cf9c4cbd9ec4ac7e07bfd453f4be32451d32f58c1519307150ab8f6151b2-ghc9.6.4.so,sha256=oErRPhQ_O3P4Z3pEXjjq8tt6yLhgBRFsy-CcN_JKvYI,3896753
agda.libs/libHSinteger-conversion-0-e5f5a900.1.0.1-469af322194131c00d433a62e32b4fba0226f16373fd1f16b7a5e345abf1fa39-ghc9.6.4.so,sha256=-Ex_WKFOZIVsOHsjZNUPhCAdASn8lWqKPFwqXosZG8w,73321
agda.libs/libHSzlib-0-cdb7cbd7.7.1.0-9313aa2f1bdda7834b9bfa2e85a31658289ad5aeeadfb24eb70ed2cb5bdbb7e0-ghc9.6.4.so,sha256=L036cJh13UPN3XuJ53unn11jTuSoct9ROu3Uc_mKNCU,1321721
agda.libs/libHSpeano-0-9ec47efb.1.0.2-0bcd986cb7a36c1a76d2f078a9b14512d7274cc4fc5ece6b264c50bc87efe478-ghc9.6.4.so,sha256=pwygqVZ7pvZOFpiycStndksDpU6l5hS0hL0iqtrIrqU,200921
agda.libs/libHSansi-terminal-types-1-e7f5d0ea.1-fa96206eef36ce75e1163aea23ee0d53101f29f5cb5fbf5182ecdb5a16f601ed-ghc9.6.4.so,sha256=FokwSlWt4nuIlsuOZ1FXaBDx8K63M3rYCTRyUiGBViI,1052521
agda.libs/libHSrandom-1-d44c94c2.2.1.2-de7b219766b985bf240ab686528e176626fb51d6d9ad761e2d8ccebb6aeea806-ghc9.6.4.so,sha256=szUdryL_eVFyw12qq7gitvIUoUgS7CpHE4eEG9rB5cE,2020833
agda.libs/libHStime-compat-1-bc3ce714.9.6.1-aad88e72fe224f0241ed242dbe97fb1cf82d75fc58e9f0e8bb8deb8e9ec897f7-ghc9.6.4.so,sha256=_bMu4zuFOb0kfoNrZFNsFiI-ddge85p45UW84I3u7vg,503297
agda.libs/libHSblaze-markup-0-1d52f337.8.3.0-12ed8a686789610cb0252da296e036dc083aa0d674ecd40a309181b6124f5671-ghc9.6.4.so,sha256=9xrSbQNRQvE-F0MpJofIDrFatuEQTwY5atK7LcxI82s,776225
agda.libs/libHSbytestring-0-9753b8a9.11.5.3-ghc9.6.4.so,sha256=Y-7chZEssj-yfIpzU1g5j1NUM7A5W5IlhVlAv4Ms5SM,2437769
agda.libs/libHSequivalence-0-8a8d90f0.4.1-98ac91d6fd1b42a14811acbbe00318fd8ab0156c477a8606c21263b766478bef-ghc9.6.4.so,sha256=HbBdVTz7VIt-u3qEbgLszQzjujMQ_cnIGXxLo-FRIb0,548505
agda.libs/libgmp-afec2dd4.so.10.2.0,sha256=MNTiOnu9DKH49DN5Kmd9OeJIpS85qZGJKY__Hy3KWQ0,515857
agda.libs/libHSutf8-string-1-a92ca24b.0.2-7f7957d6c5602026e12a4448adc4fafdba1c5e253e8a79d546fa2a72c53515f3-ghc9.6.4.so,sha256=9kCo8-MFAG1WQo7jZjEahnft-78Y25VPVmb5vrG7U2U,583153
agda.libs/libHSvector-0-007308ef.13.1.0-2f6afd5799ca91096762b7f5162205a1654efc19eac2a8fd107412b1038a1f6a-ghc9.6.4.so,sha256=rpYJB2hEc9Gpw5gL2iiCzpjndxqUH1GJHy0325jVMts,9677833
agda.libs/libHSAgda-2-8239708a.6.4.1-4ef51003f346d54bd8232715e9348a8488787c61e2b73ff8c069c83f3efd95a3-ghc9.6.4.so,sha256=67TNBO8PRsc-5gl8HtwIhivF9zTDeUET2bc6JM9jdm8,212593857
agda.libs/libHSghc-boot-th-9-7da201fa.6.4-ghc9.6.4.so,sha256=9lBBtH9PfYNA0qfqtPVe4bSY-oINOpUxXYUbWfppJF8,492017
agda.libs/libHSboxes-0-eb600980.1.5-27dede27755a7852288d4c090b74ee08f6e74ed519a2719e257afffa45a63244-ghc9.6.4.so,sha256=c3RgZEoFqW_BDcM_7N4PqqXpEj6OsrN4WZeaeXzU6ow,290065
agda.libs/libHSinteger-logarithms-1-9959ff1d.0.3.1-390964559071b522fc61a417240247cea0cfcf24060dba46c5d4481219d97a36-ghc9.6.4.so,sha256=Ma99QK-aX9pN6cYQpBf6B6hUALGvEqp7eSVX4nV2f8A,225361
agda.libs/libHSblaze-builder-0-9855c5ad.4.2.3-4ef6bdf604061efc40711ea0c3cf0fc0676ff4040039c3e92e60d042c0aba74d-ghc9.6.4.so,sha256=_MHu72WLtJlMMHhWtNbNwpdNR4jjQ-Llw7UBWhSDShI,458393
agda.libs/libHSQuickCheck-2-f8bdf4e8.14.3-51195e395fc38eadd9f05487af2c3a9d1e98320fe6673031a588370dcd01ec77-ghc9.6.4.so,sha256=y0JaquelPG2i3wOo3igDlyg5TLw1hA3UqFrm-BqWI4o,5416169
agda.libs/libHSdeepseq-1-7b37f157.4.8.1-ghc9.6.4.so,sha256=2MmPe4erqJbAHaeX633LappQHr1GiDyWltz55X1w6m8,288105
agda.libs/libHSth-compat-0-061e01a7.1.5-4cbdcdc2bbe3b4188ec257997bbf618b465cd5dcf50ca6fa890262b4341d4c15-ghc9.6.4.so,sha256=J_WTTpMwZrfPy2HEspewPG1CJv8ddWT1t1ld5bXJfCg,185777
agda.libs/libHSasync-2-a7bc7f41.2.5-7d142abc901b0e48c7b168ebee3483a72cafa51f145a4b4fa1d5640788510f24-ghc9.6.4.so,sha256=GNoLfgTH1OMUe-pPY0abDJyENJa75E9oVsHVuQMb6OU,569737
agda.libs/libHSbinary-0-baabe3a9.8.9.1-ghc9.6.4.so,sha256=oLrd_y3s5YX-g3_NIav_tM_2tPlqnlKFVNidgQSLd6g,1230753
agda.libs/libHSthese-1-8f1998f9.2-0e79a802efb3b222bd76149b7e7cdbdbaac331414cdc5627b3ae51145e69c47b-ghc9.6.4.so,sha256=kbaVA8TZ8zCGfigKnRIOqz8x1fQLs2JZdWGGA7wnvIQ,801369
agda.libs/libHSghc-bignum-1-d28c3547.3-ghc9.6.4.so,sha256=APUxGQ21TbuDD9ROCNJjCRRSGi_5cqvjB9erQvlgnW4,589633
agda.libs/libHSindexed-traversable-0-f703351e.1.3-f3c438a25bb01b425982d3e0b3d04a27d23fdac818039ce84e169293e1d0683d-ghc9.6.4.so,sha256=1lOZSraV0azgJ5pocogmRAxoujeyd3HdmZCaCVAIf1o,1111841
agda.libs/libHScase-insensitive-1-b74c5a83.2.1.0-9e44315e2cd7a316712fb0ea33cf579566e6a61523f9f840c839629d492953a5-ghc9.6.4.so,sha256=oMMra9kvvFypWTFQePz-ow5Wuppz6fqIsZw42BjPvJU,298873
agda.libs/libHSbase-compat-0-6ca863d7.14.0-b1c5d764ed4c552dffd3093ac166aa43899699be5116062ad5bce6032b892cee-ghc9.6.4.so,sha256=3tO1LUXI4rj_8ZTNvTTCb3-4lzDFZ97rcQAtHAtUQVA,595369
agda.libs/libtinfo-10270e32.so.5.9,sha256=4WdvfpVF7L7JkeIp6hH8T2okWk2Ci-kEItbjkj7nOKU,180385
agda.libs/libHSstm-2-1ac8fcc0.5.1.0-ghc9.6.4.so,sha256=5k0dQuxOsQVrPLnuNDm2VTDuNLwSarBWB-kUoqQlgys,267433
agda.libs/libHSregex-tdfa-1-548645de.3.2.2-48080193f5815bedf6a79e3c319dcda109109add1d77fed70babce503b84fba5-ghc9.6.4.so,sha256=cN4xJTsKsgfqtmFoyZMqOzRO63iuodq7y_Fk64FqnUk,4406937
agda.libs/libHSwitherable-0-be69b125.4.2-b259c2cb0e6f095f037fee09f2b8c4dd78c1c0ed35c79b53ea867faf61de02aa-ghc9.6.4.so,sha256=aT365zQzdzELSbXUtVh4SFc_vRuBJ_fLmTD5LIlA9FA,1182025
agda.libs/libHSsplitmix-0-5aa3fa10.1.0.5-d55f22203509c205e89102ca84b36cdfeffc27e52a2f905c32f097f310639c25-ghc9.6.4.so,sha256=Z_dDFs1tBTQX_TTR_Uc8WfbItrrC_XZ_D3EsOdUZvXM,294249
agda.libs/libHSbase-4-3bc99b9d.18.2.0-ghc9.6.4.so,sha256=hEZPiM_lGZJUmcmqDAOnxHf188mpccUiuP6uDZDKRh8,18872225
agda.libs/libHSprocess-1-861dad96.6.17.0-ghc9.6.4.so,sha256=PTF1AWAPBDnOy98ck-dFX-U5Hh8GFXFr6DqTiZ1SI_Q,428593
agda.libs/libHSparsec-3-fee693e7.1.16.1-ghc9.6.4.so,sha256=SFSb5WS1IhuTivNz_2x2mv69RRfE00QTmRxGNVkjCuA,1425841
agda.libs/libHSscientific-0-34a57aac.3.7.0-4a6b627c72306b57a72cf3d34c171347c370c30f1ceb9ff1e7d7d96fd7a0cfa9-ghc9.6.4.so,sha256=NhUszUoFUJVTkv_HCcInie7CGleoPZ2JtR2mWmCjuV4,747169
agda.libs/libHSunix-2-eeeb64a9.8.4.0-ghc9.6.4.so,sha256=cJNcT8gn3JUsh-tPMNRD1mT4PCxw-qs1WOZ_CCUqC1w,2521449
agda.libs/libHSgitrev-1-4365ef8b.3.1-5533e5f03da32c6f5ba79f060ab0ec51e980add1cfc08fa8f26be4ee770c59fc-ghc9.6.4.so,sha256=Pwcfi8Cpqx132YdyFZfYr2NlHsCNFmpk8XotVpkDJaQ,154505
agda.libs/libHSregex-base-0-c0c9ad35.94.0.2-3d29044a08025009d49693e2ad2f4600a2a333737ee30192e2a78b8189e4128e-ghc9.6.4.so,sha256=AWuZkXxx7LZl9GNhA7WVjqsuczatynzdhGQsKpMit1g,570041
agda.libs/libHStext-short-0-0bbdc60b.1.5-1a81bc5397d2c26d34a10c4b13dcdf93549d5ef9e61340406dc613ad4be6b62d-ghc9.6.4.so,sha256=mvWVPF0voEHrVO-5zTNpBk5vW1YGlh3sizI7aw9ZRIw,521249
agda.libs/libHSansi-terminal-1-4082b833.1.1-7ec3e1b2e54743e79113ee4028070f28f48fd551ad1bd35a79473b5bb37ef7ea-ghc9.6.4.so,sha256=TWZ0Ld4OWSkwttbwRpzMvRYZVQAGZcJyFpahhXtxfCs,526617
agda.libs/libHStransformers-0-208d6ef1.6.1.0-ghc9.6.4.so,sha256=3kn48gzPUlj_zgAD0qK3LXTtJ6TkHHQYL1hJM8b5X9I,2237825
agda.libs/libHStext-2-819ad9dd.0.2-ghc9.6.4.so,sha256=IqGYzTK6pykI7aO_JjWWODsw_M_yLqf4hamsuswc7NQ,3981633
agda.libs/libHSstrict-0-c1d48f5d.5-5e97972df60448f434d58caf5461636da1d2a0ed10780f8bb37ec1c9e498d8fe-ghc9.6.4.so,sha256=dYy7fDDwVGz6rEpq0ePd_ob74H0mdtsJYXFHr25OqII,1429097
agda.libs/libHSmtl-2-463ba753.3.1-ghc9.6.4.so,sha256=J7Kb4-g6_CYinPXskj6kd_SHynn6--iC-QrmB0gLNfk,617785
agda.libs/libHSvector-hashtables-0-8c0b6f75.1.2.0-c5adf4ca9dcdb343813a8499d6c18e90b73a682ee1d40b6a8adbc8628fdd56b8-ghc9.6.4.so,sha256=Ov_-JOhqXKy0xkVr7ceHR-fjfmOS_Erqd_JxKf1hsu4,2219097
agda.libs/libHSpretty-1-1b111101.1.3.6-ghc9.6.4.so,sha256=CGQ0e6SsRYeWJKF1D5DKZnMjNjR0vHSRAUWb7Dqge0w,858185
agda.libs/libHSbase-orphans-0-9aebda55.9.2-e85604575f87404175e0042b45757256d2f378cb19530e0e037ba61218d7a4e4-ghc9.6.4.so,sha256=4IU4vE6RCQwDPB31GKvHLTYR6zbIKrdb3lAhk96f9oQ,126521
agda.libs/libHSSTMonadTrans-0-21d333f7.4.8-717bbd4b0b0304b984121a97798306233cf3820baff4d98173502271e706ca1b-ghc9.6.4.so,sha256=R7mFHUpJi40C0y_070mP48WhvBRRbMMz_RGyaHhptEA,635025
agda.libs/libHSnetwork-uri-2-d12dd771.6.4.2-688f8480ab2bc25ee42c776498d929f9dd011fbbf350cfa8bb925888b5350f5b-ghc9.6.4.so,sha256=9TI4cA_jygu7tLWsBeZRCfmzSMshR6AvwtBA8qSACQU,924657
agda.libs/libHSdlist-1-c0be8e9d.0-4a1783ff665fc0bb164eb9d4d320db17240689f680546c97ed88d2d4e7e286ec-ghc9.6.4.so,sha256=MBhXhewmJbgb4C-wd4CBTEYeuucGox6sZqtoxb4SqCU,393273
agda.libs/libHSaeson-2-922fbfc3.2.1.0-b4cec25f6ddee5b5f7b5e61ceed20b9e403911f39153ccc1588c7fe5197217ef-ghc9.6.4.so,sha256=6DZHSqX6Mpxbrm7218V-4l5LQ1sAiZNI4SaavdCnezo,12041969
agda.libs/libHSarray-0-e4b28179.5.6.0-ghc9.6.4.so,sha256=FLpUsN79clVHIO24K0bQl0aSzoSV4tVb2AzbFcPyFNM,862977
agda.libs/libHSterminfo-0-ba6c543b.4.1.6-ghc9.6.4.so,sha256=UBaTTvlM9cmw1ncXlVM3AXAo3iSo72BeIHcGtXojKeQ,469457
agda.libs/libHSassoc-1-99f8ad2a.1-1814ae08488784087b3e1076f8e8c9e15408f56072b189a8d26dd50734109be9-ghc9.6.4.so,sha256=ALpOAE7mwx3uOimvZZrCOvzdcf8soRRIfJFFXzSDqco,85561
agda.libs/libHSos-string-2-08def96b.0.2.1-db262b5c79eea54700c0734e82c456733991855bd46004eeb7f8f6e46e5a36ca-ghc9.6.4.so,sha256=UitWcjHiCtVPcCy1UubvY9pgRDsafOeoBd8D3Tr5K9E,1740833
agda.libs/libHSfilepath-1-0e778209.4.200.1-ghc9.6.4.so,sha256=VyHV9Zn2ojIyAgObEUPYusk24pwkaIKrbO2wpFHL3k8,1503113
agda.libs/libHSStateVar-1-37d926c2.2.2-b13d9d1e5f2455dd85a1e5d24ec1a4ca8fa50f6af695b3140413eb2ec71532fc-ghc9.6.4.so,sha256=KsPb9CJk3RRixKVXE8k4kxihZ5R3fhEDEJ16BakjtWU,138225
agda.libs/libHSdirectory-1-61160949.3.8.1-ghc9.6.4.so,sha256=QIuZWzUDB3wSKCTkPkhJHI3pkVfT6FHxTDjxbL28mmg,960705
agda.libs/libHSexceptions-0-0c9a0787.10.7-ghc9.6.4.so,sha256=OdgNsKp1SPESmCPCb9jGy7uEKgRVaczjQmh1Xu_10gg,509393
agda.libs/libHStagged-0-e09f8a8a.8.8-152213c6ae5024c3a6ebeb826b550b5d39c1a6893d422ab322a92f17a02c7820-ghc9.6.4.so,sha256=sK_cU6vz05gXW9kjgUHfhOSc5zIz45soxRPVFa9t3LI,506537
agda.libs/libHShashable-1-41eb63ca.4.4.0-ed54912599f382c4a5d69e0c7b77fb5c9f32d0b4db7eaab6127df973a995a8cd-ghc9.6.4.so,sha256=4T84nOdNzm3QPszIp2jhc9vCN-ErulCh37nvYZTO8FI,1018681
agda.libs/libHScolour-2-e2beac65.3.6-ad317581d2ed96988d57a390bc717237934f021e7521cd9a436a5b030bca9999-ghc9.6.4.so,sha256=85F5OcQT9lZfO9e65pOJSRvpMFrDJfC7LJ520Gjupoo,1401969
agda.libs/libHSmonad-control-1-92b1164f.0.3.1-6f6457c875e6634435828b753732d31a22a6c4c0d72fbe1186099c07583d1fe6-ghc9.6.4.so,sha256=hBLMWC-eU3_fWh8SHHsy4IT_dYqxMSQ1UsY_EfVNDaI,256073
agda.libs/libHSuuid-types-1-1401b512.0.5.1-a7d13e6fffe56680a9b3c3c89e066c98dcd01ba7ef484c5de4a9d7bf7efe33e0-ghc9.6.4.so,sha256=VqsEgadl1lmbxzueILJpuKv2stMjrj2q9tfxrCndXVE,511081
agda.libs/libHScontainers-0-fa842fa7.6.7-ghc9.6.4.so,sha256=LHPKyFKXETi-xm6rRRY2iNPOzovaGVL_UPCLGjNq6Sg,5156945
agda.libs/libHStemplate-haskell-2-56df5de2.20.0.0-ghc9.6.4.so,sha256=-5hubjigziRgLcmq-VmgkI65KK7JXmw_UKbWkd2iG7A,6303881
agda.libs/libHSsplit-0-aec76d1e.2.5-82dbb1de6cb03be9eb42da412cb4ada37f5057975f96d06a7e3078dcd0eb012c-ghc9.6.4.so,sha256=FNi9P2wXiQb8DB1lAhDAGBEZDiWxWm2Qk7ScXxM3OsI,323433
agda.libs/libHSghc-compact-0-5ce1ee09.1.0.0-ghc9.6.4.so,sha256=20GAt8dTMyRNNb3Kt7jz6QIS9_dMDghzZMTWBW-wMNY,83401
agda.libs/libHSghc-prim-0-a7f168a8.10.0-ghc9.6.4.so,sha256=vNX2SVaxkxud3HdCckApedhi7dCGByDnhu8Nx6fK3qw,8176601
agda.libs/libHSblaze-html-0-ab994d2e.9.2.0-5084463f3810d8021f8f672480189bd482d9c2a54904f156c505bc4bd9f6eff6-ghc9.6.4.so,sha256=Vuo0cv9sxyNzPROvWlsoNulZ3AMytEH1c74wB3ywloc,4474009
agda.libs/libHSindexed-traversable-instances-0-675b5029.1.1.2-16abc4ae77276439d3d60e807fcebdfbdab50096465828cf85b6177d074b2dd1-ghc9.6.4.so,sha256=Dpw2hRhZOEwiSXkf4DWrGDc8wq9QJQpWYkg635J1zjQ,134633
agda.libs/libHSprimitive-0-d72f1718.9.0.0-7bd2f8fc683b16624c6c98a230d2b91d2e07f91bf5087e2868850b37de3312b5-ghc9.6.4.so,sha256=Vf-8G5S1soiYyJNyyDmljLoRuRs63qjEe4-lDj6DHj4,2454449
agda.libs/libffi-90e079ca.so.8,sha256=wxA4RwSa5JRqTjCYslsXP91EohMSAiK_fFiohLcK2ek,95873
agda.libs/libHSsemialign-1-2fc2c729.3-e724f5d898a20cc57926c5381c6fe6b832429abcbaa9debfb2de580582587e43-ghc9.6.4.so,sha256=DfFn-ou7yup9_g7vPPqApBbEhATs4DadZ4vnldUCVFw,1148177
agda.libs/libHShaskeline-0-faf48d18.8.2.1-ghc9.6.4.so,sha256=_dWmBlQPNToHaZZSk7cYCX7I91ov_vX4EvUdmQ0B2Sk,2819377
agda.libs/libHSvector-stream-0-c47cb7a0.1.0.1-1f44b2130ccd1b2698b87e1ad846866bb8a2a247ef53f34e6c8e9d986ee1ab6a-ghc9.6.4.so,sha256=3nrk8K8wO2PIxSBHfTQZKe3CBtLewPsaKAFoYoZ1Anw,570113
agda.libs/libHStransformers-base-0-35880a97.4.6-b39329eaeb86012ea253bb0acdb75d18da515d1b3d987968e9a5d5f268b32845-ghc9.6.4.so,sha256=AwlZ0DY58xRSpRkmye1svFKHuGTMpk3Oa3HYzPuloJM,196001
agda.libs/libHSdata-fix-0-75f9bfba.3.2-c7b3b7260b7c04c4c025bc497578d0ad8ff2a921c61f711b450bc9d901061140-ghc9.6.4.so,sha256=dcxoEFA0-Sx4-k6NDs6RxESrCimdK4AaPcXMKeGBmAg,283785
agda.libs/libHSrts-1-51965600.0.2-ghc9.6.4.so,sha256=GKMvdwrHWy3IKleeHgAZtVwv3GLse4yYxefhzopD1LQ,844081
agda.libs/libHSgenerically-0-2c66988f.1.1-db0d192b3e9951a784a8368fabdaf69f1aaebeeecbfa01e4607cd5203c5f4fd0-ghc9.6.4.so,sha256=W5D07q3LNm_ZSXREXtWs7cvn1DDDIIGuftJRid1OAsQ,21905
agda.libs/libHSOneTuple-0-e02325b6.4.1.1-6c576cc419a2c9088febb770d1f44b852c6e553add0335ad3ae22c50e7d9bb33-ghc9.6.4.so,sha256=Bpg7DxI58sxon6mv4o_ec85cKYfdSpqWFBE2VgwnWNM,36665
agda.libs/libHSth-abstraction-0-2fab76bb.6.0.0-12ef2607cb0809c9be831a7526b08f08600928c188cd68bb784e631ed04319b7-ghc9.6.4.so,sha256=A49eT8iXeiwKGlbzGA5gJvFtp8LJJNruYveY1FdD7ak,1508849
agda.libs/libHStext-iso8601-0-6ed0dbdc.1-0e5695a9d4be08214c6e08c4435d825638f59fa92c933bfb83bce0f257fa096d-ghc9.6.4.so,sha256=YtXgzud-Hk9ClbnR0xKyEMCnxVOaFXACgZ77zlhvU6o,482009
agda/_binding.pyi,sha256=-Q2FcwtrVf3y98OaAjxq9tVvliPMC5kXj7QQ5EIfPfg,276
agda/_binding.py,sha256=EzX1pOWpS1xGsrFHZ2y81aOx6X2wD0mpJM7U7xtO4mw,590
agda/binding.def,sha256=x7gLyv2JWYW4bNIcn-2mQaMqx9liTEIhilaw-N6J144,26
agda/Binding.hs,sha256=poR7YrRRegKlj98eK7fUubWgaTnyReijiBReZhU8K6Y,1461
agda/__init__.py,sha256=36iFgBLkV5Tdjm4mWSLXgpfKkKOgc3pYz3UPW1d1qHU,462
agda/__main__.py,sha256=NqBBt-d-LglK0xs_3PWpt2FCMS8y8E5ZYn_eeby6Af0,339
agda/_binding.cpython-310-x86_64-linux-gnu.so,sha256=6o_HbowPr2Ohm1cpi2OaeYx6oSivgsTjv6-3kZrzSDM,259849
agda/binding.i,sha256=t_9pMVDZIaH8pu-9eRk9upwVLwVvicqBTW8k-lLe79A,1262
agda/data/README.md,sha256=nHj4U9my6A68tX23hvCeLWK7j9EJg7s1sETA1oUBj5M,537
agda/data/latex/postprocess-latex.pl,sha256=vej55F4DMN1SzRLpIsgfOMcSQSSMONKy1JkSLOBPrpo,466
agda/data/latex/agda.sty,sha256=SC3FlH_I_ZRjRNu36DrqmkeDrPOMmTDX652i5OCQwQQ,25936
agda/data/JS/agda-rts.js,sha256=4LIqGC-WdC61RGbW08v4fnWysCit-fJGFFeZgqesZ00,11072
agda/data/JS/agda-rts.amd.js,sha256=PWDNT7UuivW02r8jNuMrWhtghMU_JTIQilPJloWk4N0,10598
agda/data/lib/prim/Agda/Primitive.agda,sha256=5eTgSQDPGiggLi_ya7INb6ZAH8yfQEnNjRT-3VvWl_g,1112
agda/data/lib/prim/Agda/Builtin/Equality.agda,sha256=VzXtsL5-UwEzgU6UMdFGa7HniSwqR0bBoNKjoNvqkc0,259
agda/data/lib/prim/Agda/Builtin/String.agda,sha256=RlWzvisiek5jeEHJssmhZFbo1ygjol_0iIeOLqBgoig,1577
agda/data/lib/prim/Agda/Builtin/Int.agda,sha256=TfNB4HS4Re3Ifcj4NIljXCWA6CIrFMu5RB-r9kxBOD4,474
agda/data/lib/prim/Agda/Builtin/Strict.agda,sha256=xfTSvx6Wt6eaAe6YKKclAcXE48L4dr8lM845QZoLOp8,383
agda/data/lib/prim/Agda/Builtin/Unit.agda,sha256=A9Big_nYAFvv-Z_ULeOLcxWqdpcJnqIvwZ0GBgCxYkk,281
agda/data/lib/prim/Agda/Builtin/Char.agda,sha256=cnRhbP8uR6QvirtjdX3tLRZkiZ0FZHavHqI76Evl3HU,555
agda/data/lib/prim/Agda/Builtin/Coinduction.agda,sha256=mb2INq1IsBpVsvzuWrgd0qXjRwuSTNP3hQDr9ROQjPw,415
agda/data/lib/prim/Agda/Builtin/Bool.agda,sha256=UU-iWg33BkzbITUHoPYzLJcoilLVOL46nfBsxwAbp_U,449
agda/data/lib/prim/Agda/Builtin/TrustMe.agda,sha256=9MeKkqBwJmswCp3kw09O_auabt6FNfatE3OYjETY0E4,438
agda/data/lib/prim/Agda/Builtin/FromNeg.agda,sha256=cxrkahNhefkN8bkNhuZ4K5tsrkokixTie2QdoUlKCBA,459
agda/data/lib/prim/Agda/Builtin/Nat.agda,sha256=Lmgdnd6aOUYDZO53UYHzH3vLfrpyIL0quOTes9AtlMk,4076
agda/data/lib/prim/Agda/Builtin/Maybe.agda,sha256=mC9_Kvv7xKxBtr2v3fteAypd36ceIE85u-zCOWfcSAg,242
agda/data/lib/prim/Agda/Builtin/Sigma.agda,sha256=XDk_Iws1kDL2T_eK1pN5mhYtv5ytogiQSK7bTG9mnh8,335
agda/data/lib/prim/Agda/Builtin/Size.agda,sha256=y_Zp5NCJzruekhg2AC6A5gZ7vvPUkWUb6s9kFXt1wgk,625
agda/data/lib/prim/Agda/Builtin/List.agda,sha256=OHx1pl8PFNxiaKjPhMk7gLcTnw6Qum2NbWcvAsKIIZU,529
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/Float.agda,sha256=nBmfYFBLkoAzMx6kG-NmZIjkIBRqlTCED0GKQMahRC0,6442
agda/data/lib/prim/Agda/Builtin/IO.agda,sha256=4F4nu107JblaNk15w0DCpsi_5mmBSgecZ7T6zBnDRa8,298
agda/data/lib/prim/Agda/Builtin/Reflection.agda,sha256=Kk_XSpG2fX8DC6DA6xmV4TJUR6fjho4odhUUPbGYS3Y,19909
agda/data/lib/prim/Agda/Builtin/FromString.agda,sha256=6CdXwtkKYf8mXe-lcPX_ewAv16uvOFrOSjIRPhy8F7I,489
agda/data/lib/prim/Agda/Builtin/Reflection/Properties.agda,sha256=EU1ihQESlxz0HwTF963dviYVgnQA2rNXYjXzBElGsmQ,416
agda/data/lib/prim/Agda/Builtin/Reflection/External.agda,sha256=6VqeuZx5CMs0RvyGwU-mM-8Go0MIeAz0-MADGufW-Zk,511
agda/data/lib/prim/Agda/Builtin/Equality/Erase.agda,sha256=ELMUMAQvQ8lupoxLL8XBNEJVXeHY-xtEvf3Qgb-YSdM,245
agda/data/lib/prim/Agda/Builtin/Equality/Rewrite.agda,sha256=kDUhLcnch-fxSXGxvn81aBq63t-WLNkaNbcgaaHLlUA,210
agda/data/lib/prim/Agda/Builtin/Float/Properties.agda,sha256=43oRQKDke21OsEOhCRa-iJalPWJ6jk-aJqD3ovw6EGs,316
agda/data/lib/prim/Agda/Builtin/Word/Properties.agda,sha256=XCKWX7simbrMhzrTYj0bscf61dF7O7LMwYFu4dylEVs,308
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/HCompU.agda,sha256=xqb4egAQvwN2YMKN6DMIdC-DicDZ5nGPMVkN2Vb6KZ8,3518
agda/data/lib/prim/Agda/Builtin/Cubical/Id.agda,sha256=XhJ2FGemlWaOROM9QPj4IiqAUPBpQHkWNwtF9UYEIi0,1931
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/Char/Properties.agda,sha256=FbYJuP9piBiuRr7MPygdCR88I7UyGHUOC49PPyB7pW4,302
agda/data/lib/prim/Agda/Builtin/String/Properties.agda,sha256=Ywp_feePJ59lCNhQxwdTUz3sSY2G_TTWamnYFUO0W3M,417
agda/data/lib/prim/Agda/Primitive/Cubical.agda,sha256=LUN4NtYgcwD9lZsqsy7s06Qm5dCJkOeAiH4Pg1kCeGU,2240
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
agda/data/emacs-mode/agda2-highlight.el,sha256=powOGuRakes3Z60JGiwUjfLR5OfUb5GYroaJm6YIuHs,22864
agda/data/emacs-mode/eri.el,sha256=5A7T2LK-vTxuQTIDjp4n9jlQ6xlusnuO6ra0951B0e4,7115
agda/data/emacs-mode/agda2-mode-pkg.el,sha256=aFO5IBc4D765j7_Ssi4bKABvKaLEzQ3NKqzNBxCwLq4,242
agda/data/emacs-mode/agda2-queue.el,sha256=nVl-pytYmzPWtPTMFocG67Ak4TWRpns8Buew4plwVRk,1487
agda/data/emacs-mode/agda2-mode.el,sha256=6uh-XTD8ry0h7i30xjoarMzWGEjs-NFZyPQNNNSbosw,82385
agda/data/emacs-mode/agda2.el,sha256=GnptBXME7AyDTkljMdz3Qj9iK_SGTBuQPZH0T844Rh0,598
agda/data/emacs-mode/agda2-abbrevs.el,sha256=NefAHS5Mzr36ZP8guvILDNeqjutsBNIPRFXTOCFm8PY,2663
agda/data/emacs-mode/agda-input.el,sha256=SadP42ggYELL0tau6Akoq5a5M3q3QNT-1V9LUEoSYbA,43857
agda/data/emacs-mode/annotation.el,sha256=m81TGB90XWFcarUtnDKIrOXgp-Dse4GsRpgU1DMjX6M,12007
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/mode/__init__.py,sha256=efjwkiY_7OIqsq7mhy-HIfhH_PoLd3CyfHPbSMWwR2o,276
agda/mode/__main__.py,sha256=OJSyPO6kUjnbFw6Ym0lYOLmaDCgHNITKu6KS6VPY2FY,354
