# isabelle_session_info

session_name: HOL-Corec_Examples
sources:
07c5d03dde1ae5f2b36e2fea87349ea3494cb968
0b4ed18fa103a9b73b30f3656f5420d2f0ca5e33
0bc59f20bdb8e04359c6af429eae7043916436c3
184f87bdddcb50e14d8bab6dd68bdaaab547c3fc
31581f05e5ff7edee7432ef6f52fe2ab062bf0ec
37f99b4e80781672154c482b935113bb95b36338
3b0f6effb8c89217a62fa199cc78d0ba43fc9c0e
3e4d5cd6e884ba67b1f58e09848976ff00460a41
3f4a28e04e38374f18cdbe46a67457c3f3494e48
4acee7288c689c0af60219ac9c0b1217b8bb6a28
5c46dbe954879f06056963629eef1697821fd46c
6d6ffbc7e4be281a078574845fd6eaa7f9079d56
6f4a962f30f6aa4682f6e903373debc540373484
9443d4f76de5e47410e01bdb8331bec0637bcc4d
bb8aa844122f82562483a05b9aaae317318401d3
c75675546e442b0ca5793bf36096eb02d528bc52
ca3d8b9115a180e58c9073eb90eb0d3a388440f5
e54d2e9525ff493d7aa7cf3e79551f5a4cfa15d8

input_heaps:
badff2eb78ec951e0416488ed93765ea7e7b8753
75443fb8de963b2ed9e7c9f1ae11bed5ca867354
c1502b336049c22f24ab6bfc0f88f963e08292d5


