# isabelle_session_info

session_name: Resolution_FOL
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
sources:
0af10dfe72700a1b08699fb7cbfeebd3293b4b64
228567b730aff0977dc236c9d7d51c49baf7082f
4c7b199b410c734957771c90858a01aa83712f4b
5117119a178eac69d137fb85243808da2d667eaf
76fb46426aa7dcd53d59fb5680ca474219f23eb7
7bb2894bf6b2b1879e224f67e577c429b34466a5
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a03727e72c8cce7585c4a7236574e48ee2bb60fc
b0b074368f4ec664f58d1b17aef8c82749a7f3f1
bb08591e5b9c442b19230eab6c7dd489eb42fa63
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d08dca19963f3774dcdeebf848c3949734d61029
f4f3e740babd6413d503e89c3d125830ab50cc6c
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90


