Job 20250818-041644-3i5aq

Filename	Size	IA Identifier
speed.lean-lang.org-inf-20250818-041644-3i5aq-00000.warc.gz	33245335	archiveteam_archivebot_go_20250818042540_3070a8d5
speed.lean-lang.org-inf-20250818-041644-3i5aq-meta.warc.gz	31799	archiveteam_archivebot_go_20250818042540_3070a8d5
speed.lean-lang.org-inf-20250818-041644-3i5aq.json	250	archiveteam_archivebot_go_20250818042540_3070a8d5