# isabelle_session_info

session_name: Eisbach
sources: 97dd40521f8af93fe32960ff501f81ca5d4196f5
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
37b14e9cc0898eb6180e3c489e8ac8677b05171c


