# isabelle_session_info

session_name: XML
sources:
07fe2884c3463aedca90506275e9f2e53c964a31
09e0808c0e37c102417cc80ab635572ecd263bca
0b69d8c3f70856201e8c054bc34357b13520292f
18aa0abdf1fefa55988ded8ef401a512df7f012a
1a1436f28f19da44f56dd3fdc6afa1e3786effa2
3122c5b55089566c74375976fd6040cc34c326db
341d088b709cd150fd9c1a2653b7d716a51caf6c
37e048eca1afc2c069cebaffb562a02b039bb22c
672bc62e6aad5968bde78a156c202792bf742869
79f31440868c5686b204e83e4f26f92eb8d94f9b
97c7c8fdf1e6357f7c5e260522b830976cbf9a0f
9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078
a526ece146642d823be07862c7c8488392c4dd25
a6638c627480a5e8ab799b8b8c54931fdd852454
cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c
e425ad06b9a49f5538a36969a1faa9e12ce5bd81
e438ab71afbf69bba650907d5d74b783d37f1cde

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


