# isabelle_session_info

session_name: LOFT
sources: c098bd25e4ce2f3b5cddc9f4d2b63a84d8ce5da3
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
62c6fddbd84e1259c96caee5efb59fa18f6a65d1
9b94fd7b91e92e061db8672cd70cc40f5a3178cb
c265ec3d19505a882a3dc734c58a8d45b6860c01
5fa2165c155c62be03fde2810c7d7c29f32179f6
22818a01932de2a3cb20ffa1b11dee33bfca7d8c
01c688186f17b08c1acac13756490c893c0b2a91


