# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
ea130132a8ab1e832f061836cb5bf296dd9c641b
9aa367bb8061c194cb2caef837c811362fe2f146


