# isabelle_session_info

session_name: ConcurrentGC
sources: d753b23d89c26631cebfdea95eabf974023cf1f7
input_heaps:
4ca3362a5f91b70446ae7f6f1750d75300ee80ae
7e0b005577bf911e8dc7d6bc2189cd97ccb150b5
fdf6c9dd88de505d54922d69e4002bcc38ee508f
248730599c714a146f1caa991caea0d2a50aed5d


