# isabelle_session_info

session_name: Koenigsberg_Friendship_Base
sources: 1ac61e206231511d2078b73713ca387efb2a6c1e b38eb74420ad5a011add14b315271da34352f55c
output_heap: 6cdacded045f176e5e797f56bfa3323e35442a13
input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e
5cb969d7906b5b34c953bd039ce69daaffca56c8


