# isabelle_session_info

session_name: Encodability_Process_Calculi
input_heaps: b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
sources:
131dc9fe5b6c4f0966e4c2629e30fc593d47fa3e
304ca8c01a25af412285de51aeddc0185dc75abe
49ca36c4d3d9569c181304297a1b2d7593e7bf7b
5c17a77bb69e4b6cdbc427664546d2eac14fd804
6219b94d9eee191d27373b1b2e1660297ca3b38b
64be73f0b1542a1d90bf838b13f9135c3e869328
6f498f677b2d95df8ccc327acd3c32b0ca118bfb
9520d6339fde0d85d9677e968edc4638a07cf8c9
aa78a9be9f28ed7b04375bf19b5555b333f08102
bcf3fc366b953ef47fe590433476c78a6c8eb6ab
c82b2afd15d2eeb0d0154a34c9cb19e1258a52e6
d4a744693dde4b2b4dcd1b586a909e4d25f5abd6
e2c05ccdeec47435d79bc4feb748879f4d21ef3a
e602ab434b8c123d7f647aa1911cd398acc37b56


