# isabelle_session_info

session_name: IOA
sources: f502382547d7ca6d4dd5b7cd2da4888a39402a85
input_heaps:
50c1749019ca8e9ffc93963cc99307460c2e0e80
52a64cfec0259bfb8fb24d12fa7de6a2d1ccd80f
48c4a92898b88e0943640311a4c87d5f0b41daa7


