Job 20250818-041602-9jtcm

Filename	Size	IA Identifier
elan.lean-lang.org-shallow-20250818-041602-9jtcm-00000.warc.gz	7217	archiveteam_archivebot_go_20250818042540_3070a8d5
elan.lean-lang.org-shallow-20250818-041602-9jtcm-meta.warc.gz	3481	archiveteam_archivebot_go_20250818042540_3070a8d5
elan.lean-lang.org-shallow-20250818-041602-9jtcm.json	265	archiveteam_archivebot_go_20250818042540_3070a8d5