# isabelle_session_info

session_name: IOA
sources: 139953dbbf290a466543bf426083e6696b0fd4d6
input_heaps:
a8d2b2957cf6386ef71e6190a6c8f3ffdbb41229
d359bf5ca56e584aaaec05c2cf0421ec40e1dcd0
d91bf3d1d10e9d16b0a093942f417e03334fb448


