# isabelle_session_info

session_name: Kruskal
sources: f2f176249f591634b44ffd2d581c734f2e525b43
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
71e5beeb8f5af9f9767829e5e97a177e2fb327d6
cc02c8e5740488ca29ef97a9c679aa176647b950
75b79d24f01f8d7c497f083ef664c5768760a36a
7342fb0faf77ea55d0408b0565c9585665dda16b
0d034f074584c1f6bc853c35fd464d6ff52ca5a5
4d13e551bdf4a8564ad9c83f962c0e9e99855e31


