# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89
73cea1aec8f0656b48453216579bea7cd27afb33
80b2f268dd8be58c1b30754518210900faea28ab


