# isabelle_session_info

session_name: Psi_Calculi
sources:
012220de8e5ceed75fe083de86a6a74f51d5d1c8
091d5ff629e386e1e129ac71475d75c14d34092e
0c5fd7fb18b3d024a5dea33e42f1bebcd90f6141
0c69633aa21241e58a4c56efd99a28f0bab7aca6
0f7ad1838b622b3de2c7df5b755968ec389ad49d
1588d5515e84dcfcc24cdd686a263757ef8279de
1afe0f3d27388ad9585c427e82a2181f136b9519
21d51aed3490be66d4d1b3fad5a0ca049cb292de
238ecb4808c4b74de83cf0ae256a4a0ce909c0e4
248e7751f945385a73f8cb7795dd175732fc7b0d
2c1d4ab20b36f835ea1237b9f95cd49e34e44c72
2ce1aaa5fe2b7456cea965f80e9858243ca06c9f
2cfeec2ce1b31633ac9ea7bd8f62c8db8d2b23e9
3814102a03314ddcb22a0f81a3d929f282fea9b7
3ae73c343700f4b89039379d93ae794bc7ee14b2
41fc5d131148a5fbd04526c5df9fba4d987fccc5
4663dd9fe588d274eeca0ed9ae03c691bd04015c
47a1dec0cfefb7f818309767db56e13eeeba9863
47c150d0359a73c1596c9f82c15fd8dc18e0afbd
4d976b00ba4eef38200bd9e7a56ade5f41b4825e
4e805a4dd2548af1c28b3d7a50c9ea929c651647
5861eda4aacb980c7ace76d5b54269b92253a531
618287869d6d796db5122daf163f82f35892111a
66ee60d9dbd65efcd72ce5ef66f86922d6bc025c
68c42fad69d7100fec79c1afb3232ea2648bff51
6b28dab26f62be390046313327ec21adda6d4954
6d13246728804ec2e99132d3273b0974e2a6019a
717a30adb3ea44616ed3005c974683a0e7d6fc19
7e650c9a8599cf893cc4f4b8981293ac522c1000
8389ad47258905f7a57a32ed62ee65e2bad966be
858dbca8245af9e0e91875eb3e7ec93c58658099
98304bb72c978855f9e415b5cb1b17dba41cd197
a15ac3884b46cc76852124d78b1a434686535d1a
aad474fc2df6fbe773919dd2099fc67363e450ad
aaeb32e6425d888c6443f527dbcae450186bf0d3
ad102e33657f7ff9ea736ff86666e5e66718c035
bebd4ae9009a465d7ae720fed4e0bb47247bb716
c520a36fc0dceacd9681ca3bd364f65243c34b5e
c6b0ce58193946bf5a1ca7c1c619d468d3b3f452
c89c9186823cf4ff412ac5e88fb98debc9477e88
dc785c4c6855f11013b8d022ba8ab06b1cd3c3b3
f2faf48c66714eead5633e237a996f9bac973360

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
28607e75167823b0e62e8b81f875fa85a7d55bcf


