# isabelle_session_info

session_name: Real_Impl
sources: 52417ffda236b8abd2198d2d78b8912b568b6fe3
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
ca00df332fd3b19451b92dd1822c696729f2c43b
0e18bc1aa8189f5fde7cb2d837a5710aeac705c6


