# isabelle_session_info

session_name: Koenigsberg_Friendship_Base
sources: 1ac61e206231511d2078b73713ca387efb2a6c1e 9865581ae7fc0141c9c11d947d35e7bae9d90f9e
output_heap: 32a3cf90ad92c9f9cedff623f5b52c461e43d0bc
input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
831d14f67c3c3a84a98a77281c0c1e5b593b14fa
abeae0cfaca798724f3a1b862a46ef1f7262f8bd
e00aea6b6905dd384abc040a89be9d56cc23eea5


