# isabelle_session_info

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

input_heaps:
d2fbbb72014e26de66d280d7be7d08deaaabe52f
8cba64bc01798dbdb9969f6de108dfc3cacddc4c
bc315400c916c04295cfa60734d24fe7f303421b


