# isabelle_session_info

session_name: Propositional_Proof_Systems
input_heaps: 735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
sources:
07f5308b353d14434a4740ec9f9d20071cfde9a3
08102e0013fad84ecdf8ccfdbed139871738aa5e
0c9469e4651698f44e3e228873be074985fc67b7
0e6c1c535504b5ddf6b54feff3f2572f9c3b80ea
0f83e9379368d232af1423c3a9685e6e1cf74f88
194e26bee24aec56a51a5176f222d2f740764b5c
19e2cf0910b7071efb7af8472164cf296f5e5ce5
1ed57c94c95baf89e6677e21aee932f4a54e05f0
24d772d18f9247fc31e56de44ab0e2b2e9a7def6
2b2ea85ebb71ab2f018ad26704a0056e04f91b62
2c3a41c5fb4a786ff8aba4e1c4605958407a6de2
2dca3692a2f2f29b8bb8722708cd8012c518a882
2e7f16e394552f01bbd0b14e415867de116d3479
33cedf5992e4e33252d6aa9aeea013f38ed8949e
340b86de963d3e7dfc790b847ac72f9f19aa9a2a
3b685bd5c114109913c98b3b87d60b2e6e88f5b0
3f7c13cc1668411a14e79db980e2d3d9269b5780
41e4904599fed5daf8c8bfb8941ffc2760609d53
48903d2faebe0fe6043e2b065fd9c0b1aa4b1f0f
50117cedef1fc2d342696d0f688fffec112c17ec
5117119a178eac69d137fb85243808da2d667eaf
55857b3689f7caec2f74c2e43108e5c163c5d12c
5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd
6c0859129adc70621482e4b341884b0c9eb82a62
6d2006612cbd2f2dcbdbaab38f841a72020d88c5
6eb47fda2f092afe5121d28fafb8a8cf45015ad2
6fb5606dbf32fb97bf36de9deb6ea182df8c212a
70a0f24d43822800fab67002124f9223b2c9ade4
71782819e5a31ec86c107fe3aad7d13c311716e4
767b848e899bf51172cfcafea6b2fd397e8b0312
7846b8d36dc8e76d00b64d821b0e0cc2b6f02fc9
78759369f7db0a7b2e1ca4cd148107e261ab15f1
7bb2894bf6b2b1879e224f67e577c429b34466a5
7c8ee990822fa6b2ed853dbd94e16c4766e9e74b
7cb1fd0848a563484abe590fee8cfb19ac861673
7cb4f86d5394b1e2fb285f76d1a1de6bbd3767b8
82fce86746f9061205d625fb926c1da3b71e3bc1
876728040fa2d05bc7c0406a279e1e1805175a1c
8b61746fa856cc1790b0a10ef3f9c3f4a89fb0df
8e0c318d11f05ce24fba9d910d778c67cf8dd94c
90ff698af5fd387a97be2cd9aef54da59afd9e1d
93d3fb3d66d214bd0951e4df13aebaa11a0101f8
97020981c6aabcd5f9a12344194388cc00a68b45
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a0ab5c1b68ec4632864b9f1300650a4766a93ff5
a313f276060ccad2c12483b41a5cd549aae644e4
a6d881014016ac510413e96c94577bf126ea335f
a95ddf3a0141c29001ba48eb27805b5eadadbd64
ae395faf395487707f3cf9fdba68c2e16fb9b948
aef3067c6be0d1d81930d097cf4237405bc33d15
b05b819568309affd1846608bab191eb3cf99367
b74943336e0f28a3fa2ef9f49717065d2a186c2b
b84ac865419758a68edd022bc9863dae4e777a51
b9c394e2122b717bacd92231fd3a5fa70be5e9dc
c10a43aa6e55692edcc80f6bb2f56e119dc1e7b8
c9a7834754ca020e75afb9d98e309c88e75bfb0a
d3073bf9430c7122c4d6b9b1cef24eb895e90764
d33cc9096ef5448ce5a921d666ccaffe7a486ffd
d797aded5d71906f8dde98cf63f4ee6c73802f96
d7cc69b7cd0ac91090f69637c7c068e2cd07fa1f
d7d6ac5a68cd81a8e80b54128cf50638a91014f2
dcc7f1d552a75ebb0086ee50988c9c2ef723cc86
e35cab6a85e1ec657cbc837c94cc7737c8f4e7d4
e48e8d5533f587aefe6dec07fdc0411486bf1968
e5dabf6f2b3d7b071a780f8da026eb0f5c2766f0
e61e52594685891b4f92cbec216b7f3b8987a3fd
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90
ffc84528c8b7b987b8d10dcdfdd3152431c9bb20


