# isabelle_session_info

session_name: Complx
sources: 0368126f3bf2bf1d0e762e040267b016da3ab5bd
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
f75acb39135c6e72c6cc6cac727128566c1b7a93
703f8915f526037945b63de8fb4982333f3fc721


