# isabelle_session_info

session_name: LOFT
sources: 50a56b2045dbbd958322e4dde7f45fb63c90ddcb
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
fe66c2c36135e85ba51db5f3041b01702c8e4117
efa17d1979521ff6ba840f4bc69feec4cbad3016
8aa6e8386c028baad58c0279318644e7bfd85439
42e83d2c8803ccfb115027d424e729f77e1ba55d
6395675bd26effc9979ab0d06e45946cf08363da
c21d378e4a8fe2d729a4a73b4c28d5fba5fca135


