# isabelle_session_info

session_name: XML
sources:
07fe2884c3463aedca90506275e9f2e53c964a31
0b69d8c3f70856201e8c054bc34357b13520292f
1a1436f28f19da44f56dd3fdc6afa1e3786effa2
3122c5b55089566c74375976fd6040cc34c326db
37e048eca1afc2c069cebaffb562a02b039bb22c
429952f9b1ab48f5480776e72dd795c832ab4fd6
5f027145b953123734f36cd380855d6483226701
79f31440868c5686b204e83e4f26f92eb8d94f9b
8913304f37a2c00447277cd0d64d3ffa149379a5
8c8981bb1cf7c1634b150ca80e9639d08d74fc4b
93414022e52a809ad6d52d57f2418d9007b685b0
9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078
a526ece146642d823be07862c7c8488392c4dd25
cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c
d1a1fe056914a78cdbca5deac82d86dfddf0c2e2
ee2d4760bb726f6409c2f82a46a166ebb7485156
f2ec054802208841282d3caf8cb88ebe49e30b1b

input_heaps:
572ffb81f80d42dc81f45d244b15c5381a012b24
e2861874690d29a1b715dff597313b9f4e7e36eb
ee5c344e484cb4571a3e30aa2acf3579a09d76f8


