# isabelle_session_info

session_name: HOL-Nominal-Examples
sources:
00a10caec37ae35a2d8a829bd5fb3935e970d81c
0b7be302db04bb48259acb49bf498330f9feee1d
0da2a0c779f73fa4d68ba73acc7c8256db9aa224
1bf572ac43bc09f879af6d01a4bff755f7c5f33a
1efbee678287339c6b08ad2f59d496b0a3e22dc4
260d1372f9ef6050c9be39b36bb113f51b37d924
2ccfb3cc7308f899026863fb7abf8c221088f634
39fa910d32d6d2349ed3206ba3ac517c1bd6472d
432ee014c9aacafa9643f0bf4c9d08c8433c4e1c
47245854cb8f08bc13f5435fba4810690808b3ab
4735e346cb335e2fcef7be7d3bdad4c451c6f90f
4a3f9b02a075361d77cb653e1d06a6e026fb40fa
5117119a178eac69d137fb85243808da2d667eaf
53d0b597fe3a5fd36ccbbf07e1d234f97d5d90c6
5acb735d2239bfc1007ee9925728708f38686be8
5bdb540d5d2df48575e3f652e12ed3f3c44ff99a
5f997a0e7cec5aeda4a2352dba447753bc58d56a
66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d
6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe
84d02217878a0ded53c9969d4cbefdb5baec3adc
8be860ce5ae3953bfb96d76c6374ff2731ac39aa
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a8a14ff2a8f6f95146ff28f189781fa6864fd6e6
af3a0cc7c2e7a5792f1be06d056e20fb695e4477
b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4
b810c58a123d781c579a4a3873d9f5f60e764694
b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b
bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8
cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d6469b6e97bfd95abba762b020a46b57e8886c8d
d75db1d9c8bcf6bbb6548235e3c7c906b36b92da
d960923ff68b4dd4920c1f8c6d3668d79c770913
e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29
e98d989b0d56b347c6ee1a9d61645ae944ef72e3
f477140e58716424ec0d03573df937e9621f2187
f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3
f554b82e8a20758dc5ead96c30de0ae2ac47ca7c
f612bc828037d6b79efe4fbae9e84b91c46ca856
f6f84667ff7abefd27e81ea553fae10b248ba525

input_heaps:
680aafe9229ef73c81f6b008c602c3fae9c15e45
03b53026763bfa23a5632c7d7b11d90f7afd0248
e4a9897902a02a0dd02dc86c6de23f9f72bda8df


