# isabelle_session_info

session_name: LOFT
sources: 50301acd93b42a0b5a750bc0cd829f001fd43f8e
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
b79220a06323e5f78d1c915729bbd9560f19a1e9
c03b6b7960e1d5d03918086e9a261a20e2086590
1bec65c4b071de95f4cd664af4ff554549532ad4
c8fac972ee058c94372f1ae5a32757b853841cdc
63935a44eded066fd9fd2cfd62791bee389a03fc
bc547489c22c3749ba628cfcd98babfa461bc163


