# isabelle_session_info

session_name: SuperCalc
sources:
0203c8bd38cffbad4ca854a10d8fa8ce11eb7dfc
04bfe01e345b1f2a43165a83a78daea05b2aa709
10b1431d5099be70370ec429d6b81acc8135fa53
297663bb3384e6bd1ee625b0139bf8e629eefe1a
31106a059b9568a10836d609aff3adacce347b53
64d1ca5b0f247c8bc670a248b50bd1bf005e669a
6e1d1ca7e766b9196118d5211ed44e64c7fadb6e
c1e44491a2e4be2b9b8b8411519fd72dc6362558
d9a909a17c1acff4edb773a8e253554bb2e576ac

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


