# isabelle_session_info

session_name: HOL-Nominal
input_heaps: 3269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b
output_heap: 46273d02897497f1fa22c989d6de8ff76be400ba
sources:
0b7be302db04bb48259acb49bf498330f9feee1d
0da2a0c779f73fa4d68ba73acc7c8256db9aa224
260d1372f9ef6050c9be39b36bb113f51b37d924
432ee014c9aacafa9643f0bf4c9d08c8433c4e1c
5117119a178eac69d137fb85243808da2d667eaf
5bdb540d5d2df48575e3f652e12ed3f3c44ff99a
66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d
84d02217878a0ded53c9969d4cbefdb5baec3adc
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
af3a0cc7c2e7a5792f1be06d056e20fb695e4477
b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b
b8f1fcafadf22f66173431166090ea8bc1c23476
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d75db1d9c8bcf6bbb6548235e3c7c906b36b92da
e98d989b0d56b347c6ee1a9d61645ae944ef72e3
f612bc828037d6b79efe4fbae9e84b91c46ca856


