# isabelle_session_info

session_name: Koenigsberg_Friendship_Base
sources: cb2e44f9610228163f70537a2cc023be1319bc58
output_heap: aea0f751c6271a0e5a5406321f7cc2c618f4785b
input_heaps:
4e9d6262d666ea8b0dbab1a1b9d0f6a79971a73d
48d1cb394e7baa93a2f3e84a8b6296840d5949d6
62e9f440cc8eb51e7872406805f0c4c47f31f955
6c4687f2677d1454bf5adbc4e30f7a2fa2156c1c
4a967db4b41fda8c5af5a90f09f973167ff12145


