# isabelle_session_info

session_name: HOL-Unix
sources:
45f3aa0b751c57da1400acec441fd85b51639ad8
a7fbfa86d7a8cc469388fae396b1be315eb3603f
aa408b872636f21e49cc2cfbc24ef0d8138861e6
b9bd85af6656948cc0c40b4b06292678b0a360c2
e28c86ac4b7163e702238f89b4ab3f6326b78555

input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
4113b3ffb31b40b1c0c2e73ef8640203db6d0ade


