# isabelle_session_info

session_name: Koenigsberg_Friendship
sources:
05edc446ff5299100df967f972366401ee76b8a1
59a246e8f4a2d633069da9a9a62bb18e3f28eaea
8900af9c034e7ff79ce9e32e4d21102171e5c842
930492491a4b0b1c7314e237eb94d8f340df1c0a
93e227a9855587547e75d057aeb77af630802c1a
a1a49f639a4edb0f84a40b7f698a7ed2d019e3e2

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
7ae408f457b2ec23863b8c5a8e12c0f6a18ecbc2


