# isabelle_session_info

session_name: Koenigsberg_Friendship
sources:
15f49d4f31a7d14693735ce16deeb43aee8e5fa5
59a246e8f4a2d633069da9a9a62bb18e3f28eaea
8900af9c034e7ff79ce9e32e4d21102171e5c842
930492491a4b0b1c7314e237eb94d8f340df1c0a
93e227a9855587547e75d057aeb77af630802c1a
a1a49f639a4edb0f84a40b7f698a7ed2d019e3e2

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
85db2c20a6e710e43a8c245ac4a179da395f244f


