# isabelle_session_info

session_name: Regular-Sets
sources: dd038c514e51e9b9056fa4b514ca6fba98c78678
output_heap: 225b2372f001cf4727e9272135c001339780eba3
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93


