Job 20250818-041643-4ga2c

Filename	Size	IA Identifier
reservoir.lean-lang.org-inf-20250818-041643-4ga2c-00000.warc.gz	5368710410	archiveteam_archivebot_go_20250818183418_934a3b87
reservoir.lean-lang.org-inf-20250818-041643-4ga2c-00001.warc.gz	3663558377	archiveteam_archivebot_go_20250818220736_9df5df02
reservoir.lean-lang.org-inf-20250818-041643-4ga2c-meta.warc.gz	6119653	archiveteam_archivebot_go_20250818220736_9df5df02
reservoir.lean-lang.org-inf-20250818-041643-4ga2c.json	254	archiveteam_archivebot_go_20250818220736_9df5df02