# isabelle_session_info

session_name: Paraconsistency
input_heaps: c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3
sources:
3ccae0218d69e003da4c5a0348389b45fc613ead
b13b87ddd0fa0144e3c5e8cda7c40569df67c499
ee917ddbeef1eaf59aaef5072e5b4e5081bc965c


