# isabelle_session_info

session_name: SuperCalc
sources:
04bfe01e345b1f2a43165a83a78daea05b2aa709
21059cc3792ffb3f1782548dc13b000f05f60f6a
31106a059b9568a10836d609aff3adacce347b53
393b349f932faa5db0348444674c07434c4816c6
64d1ca5b0f247c8bc670a248b50bd1bf005e669a
bab94ba72219da3731355e4dd2b2cd5141e0cd06
bb2a4493a377b43e9da6df97c8ec495900e2f2ad
c1e44491a2e4be2b9b8b8411519fd72dc6362558
cb4ef2d7c92bc6f86abf071b0a6ac6dee8bb8cdb

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
61801de5e43545180136440fc3774bb7d9933b29


