# isabelle_session_info

session_name: Kruskal
sources: 42dd4ae1bb624ab50c124f6fb8494f84bd538a5e
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
6ca7c2eccaa6d6c3222b369a56320daf10f59805
8ac046f77f5f0b646672f561848283ae23a12b8f
284185a5e3de38e8daa38487ea5ae87edff6a975
0711080f89a6d3bfc97cf74e2b76a34f2f6f14f7
eda52014f6aeb265e5f2a023ef8df887224b46d9
abb74af62b0abb933f33a6cda928d5546909a3fe


