# isabelle_session_info

session_name: HOL-Unix
input_heaps: 3269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b
sources:
3fe5941934893b5422165e490a489238302826c5
45f3aa0b751c57da1400acec441fd85b51639ad8
7633e141498e480c10d60159fea4ec9e45a6f5d8
a7fbfa86d7a8cc469388fae396b1be315eb3603f
aa408b872636f21e49cc2cfbc24ef0d8138861e6
e28c86ac4b7163e702238f89b4ab3f6326b78555


