# isabelle_session_info

session_name: ConcurrentGC
sources: cccc0c14756933e4ce0abbca5d3e818f68045e19
uuid: f1b1c6d5-8772-469f-b5df-9c95eb034bd0
input_heaps:
90e442fbafcda00abca55563258bda9ca879489b
0e76a3aa38c6ebd63564921ed7e69fff6fe53fc9
22a2454184e7a5248523a465a69751a31f342945
2b524dd4daf73760224f8a2b2d2e3ecd799499bb


