# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


