# isabelle_session_info

session_name: SPARCv8
sources: d4a2fc07d28a9ef52b80d6ad93ec9c493c83b660
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
86c62a8d8ac123fce4a0ee6d182b7e268d49ebac


