Artifacts of isabelle-nightly-benchmark #1152

	HOL.db	Mar 24, 2020, 12:55:41 AM	44.00 KiB
	HOL.gz	Mar 24, 2020, 12:55:40 AM	143.41 KiB
	HOL-Analysis.db	Mar 24, 2020, 1:02:10 AM	72.00 KiB
	HOL-Analysis.gz	Mar 24, 2020, 1:02:10 AM	31.95 KiB
	HOL-Cardinals.db	Mar 24, 2020, 1:02:20 AM	20.00 KiB
	HOL-Cardinals.gz	Mar 24, 2020, 1:02:20 AM	644 B
	HOL-Complex_Analysis.db	Mar 24, 2020, 1:02:20 AM	20.00 KiB
	Pure.db	Mar 24, 2020, 12:51:36 AM	48.00 KiB
	Pure.gz	Mar 24, 2020, 12:51:36 AM	86.85 KiB
(all files in zip)