# isabelle_session_info

session_name: Koenigsberg_Friendship
sources: 8009cf80bc61c89dc2966b13df04109d3284855d
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
b289b2d35e21bab3230d78ec88be7bd1d162c47f
3347854b84efe13904c04d83cf7d9253205341e3
b461ddb8bba19c1a16c49de577cab9ac8b350d0a


