# isabelle_session_info

session_name: Cauchy
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
output_heap: 795a8bf4ee3d3ffd3b5c8c79c36bbb8f5c27e8b5
sources:
9eed8fc1f6c54686843ffb969de40b88bede13a3
b753ce16f8428413d1c2f6b2770bbb3d076aa7cf
d89fd00a601201ee7e3a7dd13c2b6bc868536dd5
e11e87f81f54ae08d84655aa76828cf8aa070db0


