# isabelle_session_info

session_name: Cauchy
input_heaps: 80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b
output_heap: bcfd39afb480a254bbd634599f2535871861282f
sources:
9eed8fc1f6c54686843ffb969de40b88bede13a3
b753ce16f8428413d1c2f6b2770bbb3d076aa7cf
d89fd00a601201ee7e3a7dd13c2b6bc868536dd5
e11e87f81f54ae08d84655aa76828cf8aa070db0


