# isabelle_session_info

session_name: HOL-Quickcheck_Benchmark
sources: 2acea20165c9f5416cbd07d295ace90590cc4bb5
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
3813e724c94542385001c5c6059f42e7d9acb899


