# isabelle_session_info

session_name: List-Infinite
sources: 05b92d3a0f2f14585058cf87bdc1a5e23c51c2a6
output_heap: 86d58a2596b3eeaab81f80488bc44f776ab36471
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
767fc67378b31eb70f2963c7c52b27cb412fc8af


