# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567


