# isabelle_session_info

session_name: HOL-Nominal-Examples
sources:
00a10caec37ae35a2d8a829bd5fb3935e970d81c
1bf572ac43bc09f879af6d01a4bff755f7c5f33a
1efbee678287339c6b08ad2f59d496b0a3e22dc4
2ccfb3cc7308f899026863fb7abf8c221088f634
39fa910d32d6d2349ed3206ba3ac517c1bd6472d
47245854cb8f08bc13f5435fba4810690808b3ab
4735e346cb335e2fcef7be7d3bdad4c451c6f90f
4a3f9b02a075361d77cb653e1d06a6e026fb40fa
5acb735d2239bfc1007ee9925728708f38686be8
5f997a0e7cec5aeda4a2352dba447753bc58d56a
6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe
8be860ce5ae3953bfb96d76c6374ff2731ac39aa
a8a14ff2a8f6f95146ff28f189781fa6864fd6e6
b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4
b810c58a123d781c579a4a3873d9f5f60e764694
bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8
cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42
cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105
d6469b6e97bfd95abba762b020a46b57e8886c8d
d960923ff68b4dd4920c1f8c6d3668d79c770913
e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29
f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3
f554b82e8a20758dc5ead96c30de0ae2ac47ca7c
f6f84667ff7abefd27e81ea553fae10b248ba525

input_heaps:
58c1f5f7555feb9985fead5405c04acebc14240e
5f9cc3ab8d0e17300b29fb00d1be15c061835ad9
071dc3ddb1deaed5f9fdd681dd791c48ad3b77ae


