# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb
d8625272701e7304f76db642b7fb0e61f9b07c0f


