# isabelle_session_info

session_name: IOA
sources: 6d3f253428c187254bf7a82322f77dca2272d311
input_heaps:
77140aac0dbc34a2951ed06728ef4449a3d3c2cb
74195f026dac375ce6b287f38a203688d292d065
207159e1069a90b71d7f2a02d80ed0e9352af075


