# isabelle_session_info

session_name: LOFT
sources: b2679703a67584b87010d5a4664d6966b05f3110
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
9056eb8256eb0b8916f5985c4ca6f03bb16454f4
36fcbfe28090d147d672ba5fffbcb7156c73f61d
0b70e1c1cee0a22c1b05c394470f0e877d75c279
50360da1d4fcc75dc930ae38d938a7b85bebb61f
9ec8d2c5c33b6efb45c473133e5bc27e55f7ad30
a2307ba52be2486d9fc5c86adbec645e095cdca2


