# isabelle_session_info

session_name: Allen_Calculus
input_heaps: e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d
sources:
0d624df132aa2e54b02fa619fa707a1b424b9830
1a86f6a3b396ab0884e547cbf7f0341720fa4d91
1f914a20941c9451186640186f261938503d3a99
383dee4bb60284cc7229af5017def9c12378879e
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
63653a06c622b62550a9359272dc27fd0e429591
63e2e07a30a5833fdcd044dce8cff84e1d8e8f8d
66381306ad3c84f7a1260dcd07d9b313db533b29
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1
973d6bd96dc9037f8676681fb869d6ae83013aac
a50f5c6f8cd93b92dc5a579cb228491f4eec55f9
aac7b33fdf9d53be7ea5e61aba20040f06cdfea4
cbe4fbf42f0bccca31c7843a600b5c4a69c1bcd1
e4062dbff49bff70b5abfec0aceeca2ef0d53a85


