Artifacts of isabelle-nightly-benchmark #1220

	HOL.db	Jun 25, 2020, 12:55:52 AM	832.00 KiB
	HOL.gz	Jun 25, 2020, 12:55:50 AM	123.37 KiB
	HOL-Analysis.db	Jun 25, 2020, 1:02:15 AM	1.59 MiB
	HOL-Analysis.gz	Jun 25, 2020, 1:02:12 AM	15.81 KiB
	HOL-Auth.db	Jun 25, 2020, 1:03:41 AM	128.00 KiB
	HOL-Auth.gz	Jun 25, 2020, 1:03:41 AM	16.32 KiB
	HOL-Bali.db	Jun 25, 2020, 1:04:45 AM	192.00 KiB
	HOL-Bali.gz	Jun 25, 2020, 1:04:45 AM	14.25 KiB
	HOL-Cardinals.db	Jun 25, 2020, 1:04:55 AM	92.00 KiB
	HOL-Cardinals.gz	Jun 25, 2020, 1:04:55 AM	553 B
	HOL-Complex_Analysis.db	Jun 25, 2020, 1:04:55 AM	20.00 KiB
	Pure.db	Jun 25, 2020, 12:51:34 AM	48.00 KiB
	Pure.gz	Jun 25, 2020, 12:51:34 AM	68.61 KiB
(all files in zip)