Job 20250818-041826-6ki9l

Filename	Size	IA Identifier
lean-lang.org-inf-20250818-041826-6ki9l-00000.warc.gz	5829490439	archiveteam_archivebot_go_20250818110437_fdc2f26e
lean-lang.org-inf-20250818-041826-6ki9l-00001.warc.gz	598791494	archiveteam_archivebot_go_20250818114747_7ebc6406
lean-lang.org-inf-20250818-041826-6ki9l-meta.warc.gz	2288088	archiveteam_archivebot_go_20250818114747_7ebc6406
lean-lang.org-inf-20250818-041826-6ki9l.json	244	archiveteam_archivebot_go_20250818114747_7ebc6406