# isabelle_session_info

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

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
3e315ae02238ba29ff4dfa91456277ea298bcd5c


