# isabelle_session_info

session_name: IOA
sources: 9fd38902f3c9c90c1b597ba54cc3891483fa3e04
input_heaps:
bc04ed3d5e3d39fc11eed643c195af42cfffe6e6
af27b793b0e347b7ff6acebc98cfdec3738a93c2
56c99ed97f96b6895878485285d5451853e4f70e
cb7f04a220bbdf550fb17008ff4fa2ed0e4a561e


