# isabelle_session_info

session_name: IOA
sources: a178b8c033bc03d23e3681dcb729dc0df63fc151
input_heaps:
2bfc9fa8902db3916d36ec4512397ceb264483eb
477271fb1badc091331ba1e4626476e1d6c56cde
204cfed974865f994c574d2c54cbf872e8897ead


