# isabelle_session_info

session_name: Paraconsistency
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
3ccae0218d69e003da4c5a0348389b45fc613ead
b13b87ddd0fa0144e3c5e8cda7c40569df67c499
ee917ddbeef1eaf59aaef5072e5b4e5081bc965c


