# isabelle_session_info

session_name: Collections_Examples
sources: 86d68e04f2487c2861b330f6207cc53bcafdac1b
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
41bf617aa4d7e32a77bca29378e2936da391443b
b396f7675d9566ea4d5ff175d1ffc57e45f1b226
4a8146120a7e41fa52541764a37587b39c158c7e


