Job 20250818-050558-w5tjj

Filename	Size	IA Identifier
urls-transfer.archivete.am-docs.lean-lang.org_seed_urls.txt-inf-20250818-050558-w5tjj.json	356	archiveteam_archivebot_go_20250818050953_57b3ce8c
urls-transfer.archivete.am-docs.lean-lang.org_seed_urls.txt-inf-20250818-050558-w5tjj-00000.warc.gz	31927628	archiveteam_archivebot_go_20250818052357_8981a9a1
urls-transfer.archivete.am-docs.lean-lang.org_seed_urls.txt-inf-20250818-050558-w5tjj-meta.warc.gz	27914	archiveteam_archivebot_go_20250818052357_8981a9a1