# isabelle_session_info

session_name: Eisbach
sources: 0a83f1513d574745393a65c64a0d6c4e9d312ef6
input_heaps:
6ac43f2621aa23038ee2871857f943ba5725a1be
0a49de4572e2bdf8c075b39e270ef0518fd9ac93
726887d2dfd9c5aa1a513432ec8474eb4822036a


