# isabelle_session_info

session_name: Resolution_FOL
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
0af10dfe72700a1b08699fb7cbfeebd3293b4b64
0c9469e4651698f44e3e228873be074985fc67b7
4c7b199b410c734957771c90858a01aa83712f4b
5117119a178eac69d137fb85243808da2d667eaf
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a03727e72c8cce7585c4a7236574e48ee2bb60fc
b0b074368f4ec664f58d1b17aef8c82749a7f3f1
bb08591e5b9c442b19230eab6c7dd489eb42fa63
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d08dca19963f3774dcdeebf848c3949734d61029
e0497da7bc2b118957789f904422c70452ef796b
e98d989b0d56b347c6ee1a9d61645ae944ef72e3
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e
f92f372ffa36d768c210ceba06363fcb6b42147e
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90


