# isabelle_session_info

session_name: Eisbach
sources: 46f599ed1f847e6d0d2762e9216b320928174636
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
69a950643537831e45281aa33a261ce80ba0e395
10600fe8da9a255bdbb1618e4af13207f1b7a923


