# isabelle_session_info

session_name: SPARCv8
sources: dec96601df253ea8ccab104debe5f500f78db688
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
0f9acfda8c297b4744c130b785ce40aa58c776d9


