# isabelle_session_info

session_name: SPARCv8
sources: 574674f064ab5c0bb3a329c79822d7687060f503
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
934750cc51ae3cb341d3ffd6479ca7a7b3b8ed50


