# isabelle_session_info

session_name: List-Infinite
sources: 63c17c272e0bbd6b1d91b5354aeb36a360602920
output_heap: 4c1efc28294c720cf7040d4801a826ad00e57acb
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c476bdebca2f60c33824d5374c70fabe6f4ba221


