# isabelle_session_info

session_name: Launchbury
sources: 45a91ecea12940ce72c3ba070b7b5e62b332317f
output_heap: 5eac37b857d28d61c4ab7bc76bf0ab474c4da16f
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8
93aa5b119e92db86968b1b4e4036e2c365e5aaea
a35b13444848a8ecc030b17438ac0b4d0eab9fd6


