Artifacts of isabelle-nightly-benchmark #1077

	HOL.db	Dec 6, 2019, 12:55:38 AM	44.00 KiB
	HOL.gz	Dec 6, 2019, 12:55:38 AM	143.45 KiB
	HOL-Analysis.db	Dec 6, 2019, 1:02:07 AM	68.00 KiB
	HOL-Analysis.gz	Dec 6, 2019, 1:02:07 AM	32.16 KiB
	HOL-Cardinals.db	Dec 6, 2019, 1:02:16 AM	20.00 KiB
	HOL-Cardinals.gz	Dec 6, 2019, 1:02:16 AM	650 B
	HOL-Complex_Analysis.db	Dec 6, 2019, 1:02:16 AM	20.00 KiB
	Pure.db	Dec 6, 2019, 12:51:36 AM	48.00 KiB
	Pure.gz	Dec 6, 2019, 12:51:36 AM	86.75 KiB
(all files in zip)