# isabelle_session_info

session_name: LOFT
sources: aa5a786a5cc00e9440e9f92b2e0fcbcf1e93fb18
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
a1f95d712d69264c337669a1ffd81ef6f9dd955b
94bba6d75dbdfe55c002ce9a1f060a48b9e0eee3
2389a499a4aae7053bcd63eb2ce6bacdb3fd3806
f17cbf74a75026cdfd4edf86a9fc501067d7148b
64804796a9f239632f515d8c1966787d73f87d60
432e68c317d533459a36475310826dd45e7da2b9


