# isabelle_session_info

session_name: Category3
sources: 909800626ea231ccd174b5ec9d55a62679fc3024
output_heap: c97ea8d3b9daed4291f4ec0feb0a322d03e49788
uuid: 17bf3bab-2802-4bff-9ee6-8b18088bde35
input_heaps:
90e442fbafcda00abca55563258bda9ca879489b
0e76a3aa38c6ebd63564921ed7e69fff6fe53fc9
22a2454184e7a5248523a465a69751a31f342945


