# isabelle_session_info

session_name: IOA
sources: 1bf9412f41d4566614800ddfe46bb1eb6049bc1a
input_heaps:
c0c11954fca45e94d806b43eab333f8d62bc6a97
20699c095779a1345da4b26e779cd64939d1a74c
a0c0bd519393fee989a05b1a0da511b902ce4521


