# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
86c7fd1199441702fd9498d93a1d3535f80efeef
9743b36a172e5fc26bd8771e996d5569f1687f17
e614f02b2a87d5aea743112f4d63137395a55cde


