# isabelle_session_info

session_name: Separata
sources:
0d624df132aa2e54b02fa619fa707a1b424b9830
383dee4bb60284cc7229af5017def9c12378879e
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1
973d6bd96dc9037f8676681fb869d6ae83013aac
a4ddceaad9a8b5c905f20395d10c70b9cec89cfe
a5bca924baddbee28005fa4c98d7271639462477
a751747d8b1d2150fae6ecd5895030882f23af21
d49138b595939baf5780a53efcfb4318f28501d9

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
cf1f16d97467793acddbdfea0d823a4bab350303


