# isabelle_session_info

session_name: Koenigsberg_Friendship_Base
sources: 1ac61e206231511d2078b73713ca387efb2a6c1e b38eb74420ad5a011add14b315271da34352f55c
output_heap: 70ac399b7e6a14993cadd93bf3b9d6e3ab6124a7
input_heaps:
db7c23777632c9a5808e846c4c293183c8f78938
d902304df1792a9edf11f13fc29f7daff49f3259
e239851711910a6527f92e8db31572ec8f52b3c6
db46c2d97862fb5dd860308057c1a116323a2f0d
ce94baea0e49939f4a933e125ffd39740f348ae1


