# isabelle_session_info

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

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
0421e1d9e7fe672cb0ddc4007aa564f9dff1312a


