# isabelle_session_info

session_name: SPARCv8
sources: 9b67c3b54fadf48e37a8ff6c0901e4ea0fbb0836
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
425e794a17a4a7ed70038f158ff9b3b5e4078a82


