# isabelle_session_info

session_name: IOA
sources: c09dc5d0f11d4678cefbdb336623585caf838b20
uuid: 44457a15-0b67-4a67-8f3f-f2728e01ab2e
input_heaps:
8c2ad67f41d2a030f0393e2fbd1c88a540b55845
2fa6c96befd2c17f29a768fc6a6e8049b259612c
5b196ce1fb71c530bb15c5ffffab3c7ed37b1eb6


