Job 20250818-041624-bf32t

Filename	Size	IA Identifier
loogle.lean-lang.org-inf-20250818-041624-bf32t-00000.warc.gz	54938474	archiveteam_archivebot_go_20250818042540_3070a8d5
loogle.lean-lang.org-inf-20250818-041624-bf32t-meta.warc.gz	37443	archiveteam_archivebot_go_20250818042540_3070a8d5
loogle.lean-lang.org-inf-20250818-041624-bf32t.json	251	archiveteam_archivebot_go_20250818042540_3070a8d5