# isabelle_session_info

session_name: HOL-Unix
input_heaps: 8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
sources:
3fe5941934893b5422165e490a489238302826c5
45f3aa0b751c57da1400acec441fd85b51639ad8
a7fbfa86d7a8cc469388fae396b1be315eb3603f
aa408b872636f21e49cc2cfbc24ef0d8138861e6
e080eb03356d463261d6541f2e2a693c31be6d66
e28c86ac4b7163e702238f89b4ab3f6326b78555


