# isabelle_session_info

session_name: Koenigsberg_Friendship
sources: 98c8774106126a781f066d574bc626e1ad7aab65
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
daf773399df2d213d8f31040a17ff1b2e88164e2
46bf87e128242a537a5f1eca2e017689cee9eaf4
8645d377c2f2957bd3736c6e60666887fcb8b588


