# isabelle_session_info

session_name: List-Infinite
sources: 74f3199d1d6508e245fd1354f99346a1cc9078d9
output_heap: 6d1880c365bdd36b060d937c0acd6da5f09397d5
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8


