# isabelle_session_info

session_name: Resolution_FOL
input_heaps: 554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1
sources:
0af10dfe72700a1b08699fb7cbfeebd3293b4b64
0c9469e4651698f44e3e228873be074985fc67b7
4c7b199b410c734957771c90858a01aa83712f4b
5117119a178eac69d137fb85243808da2d667eaf
7bb2894bf6b2b1879e224f67e577c429b34466a5
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a03727e72c8cce7585c4a7236574e48ee2bb60fc
b0b074368f4ec664f58d1b17aef8c82749a7f3f1
bb08591e5b9c442b19230eab6c7dd489eb42fa63
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d08dca19963f3774dcdeebf848c3949734d61029
e26bc71f0154e50f7fb625e12ec4c262e462bad2
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e
f92f372ffa36d768c210ceba06363fcb6b42147e
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90


