# isabelle_session_info

session_name: Koenigsberg_Friendship_Base
sources: 1ac61e206231511d2078b73713ca387efb2a6c1e b38eb74420ad5a011add14b315271da34352f55c
output_heap: 8189ec9939099db5b536e60121d6d2b046292516
input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
7ce7e5a59532e955d139c4b94c3aead293442f42


