# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources:
03f4544f9b9fef04d2012f55e0c0c51191f627d5
0afa24ae207a69648575507f34b2f0d58c862780
0cb6fc629c51665ac30e4c2f11b0c69100de6a19
12801e8ee833371d95b3f173da5f7ac95c1d057c
181e1b41c1e36f35f3d777758b56ada1b4fbfca4
2214b3a45affc69fb82f30773399080b217cb2ec
255617186baa02b93227b11451cfe1c06602bce4
2a0ebd5c070eb5d2d244249389f25eb2e5dfd8eb
2bb23acc2de9881ecfec21bde512331d55ed8f64
338e608a46adddc2a6cd2ef967c8c679d28549e7
44c478e7461bd2f9a5a01b0fedb2d5116c88327d
476a1885d53d96cba5c02ded38f9a0a225a6d13b
4aa82869ab6954ea751fa236d010ba63fbaaa985
60b0af0d5c1aa29796cf89c7c4d900ab5d8128b0
706228aeaf5935fe0dcb9045686e6740799d3b4d
7384a298679a9c21d2d0f490f2c86a7c467f4ead
746def77c96904376c7d3a0d8c7b67f5abd49773
799bf0b0b23c1c8c36c3e57cc2e883f5a67b6b86
7bdb2d13b58adfbbc277eeb10124225fb43333d2
850a9062c0aec365c5384f709ee2845617360d20
879b766a737b625d333234513cc20f2d942c00c1
91facbb31949a0430fcb32369bd6ea671b7bc144
920e177d6f5ee3baa86885048c3e0ed2155b7aad
9c5855b6918939a7a6424cf216b854d34fb6cf0a
9dd4c9b1e62863086658646ea3bfb10b8c3c7b92
9e4789cec7e0ff12c72496f2e441c961e3e40474
a1234f948e91c0794d29b6b4249449b100e5e9bc
a4144db1fa43aeb836aaa3e8adb2f6e2f710430d
a69572821382c16dc5b32a0bf0c5a803fe1b3a2f
aef9c631d8e12075bb3f1dc91dea7fd895b0d07a
b0af0b770ffe461d662f70f788a5e7f3ed6b9918
b470a39c6896f085431d5d714e5644680b306043
b5b8241bf189327fcf1d5f2db94f7b7049c1bc77
c16484b003b7ae40c2eee619dfa65bf409c6064e
cf0288c3412f7b18ca94c7ce4a8c3e59a7cc24e1
d52d3e20b288032bcb9ee8f4cc0ed38653ce9ff2
d8b591c052c85b1671e1d7822571568590dc3e35
d9794239e27975388c243f8fdc8d168e3ee7c851
f46cad516eb16062f5c2a8db620b4e1847ebbfd4
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
db1d08f23655e54b591d8f1c5426a2a6a0b37d4c


