# isabelle_session_info

session_name: IOA
sources: bf1d6f7aee309b719b2862b3c7c5af2d4fdb90f1
input_heaps:
f773f64b5324612793822c6b9168a199158bbc25
919d4d74d5325321cbb68f9d83a169ecec0e086e
13e83d696ec4c49a088e7965e82fa3404d26cc5c


