# isabelle_session_info

session_name: Cauchy
input_heaps: 554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1
output_heap: a2cceec6b09c1a7ea98851ff0cc182285c8206c4
sources:
9eed8fc1f6c54686843ffb969de40b88bede13a3
b753ce16f8428413d1c2f6b2770bbb3d076aa7cf
d89fd00a601201ee7e3a7dd13c2b6bc868536dd5
e11e87f81f54ae08d84655aa76828cf8aa070db0


