# isabelle_session_info

session_name: Separata
sources:
0d624df132aa2e54b02fa619fa707a1b424b9830
383dee4bb60284cc7229af5017def9c12378879e
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
5a33519ce3c6231b51a8ccae11256f724cdd9109
5d2c74e42e69c3898a87bb6a765ec5124f85219c
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1
973d6bd96dc9037f8676681fb869d6ae83013aac
a5bca924baddbee28005fa4c98d7271639462477
d49138b595939baf5780a53efcfb4318f28501d9

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


