# isabelle_session_info

session_name: ConcurrentGC
sources: a6fa97780c2161b905c21a1cb38469845020c582
input_heaps:
0997116ddc7e2096ce248554452797db911cb899
8ee7fb85b07f447bd51087ae25949e0c53166d7a
4aa7a5d82beaa9666066f43f2196ca5f5b9604b9
291e61db5f6536e3fa90c09c3d443143ca13bf74


