# isabelle_session_info

session_name: HOL-Quickcheck_Examples
sources: f07747c728dd16fef3c8eae46fb7fb88d5060d77
input_heaps:
fd2c0e8d5dbbf0255abe36184d8e162e5a6dd88c
39629e2401e93cc477158e437466e40612502a08
c4d82df33445739f90434ee2e273c6c168bd07a4


