# isabelle_session_info

session_name: Koenigsberg_Friendship
sources:
48e08594dd797869933caa2b7d496799f25e61fb
59a246e8f4a2d633069da9a9a62bb18e3f28eaea
8900af9c034e7ff79ce9e32e4d21102171e5c842
93e227a9855587547e75d057aeb77af630802c1a
a1a49f639a4edb0f84a40b7f698a7ed2d019e3e2
c746d8f3b023815ca954041999a9ab7822f4ed5c

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
3e315ae02238ba29ff4dfa91456277ea298bcd5c
420661ceb8b00b46fccb091902e005a3c65de64b
8ef37c35f6ccb4cb599f09125fecd372cea0e770
68f2a37d7b1a64aa268c12431537770d21395a0f


