# isabelle_session_info

session_name: HOL-Cardinals
output_heap: d017fa2f6f87b930f0eda2adc54da1df01fb53a2
sources:
0cb6fc629c51665ac30e4c2f11b0c69100de6a19
44c478e7461bd2f9a5a01b0fedb2d5116c88327d
4aa82869ab6954ea751fa236d010ba63fbaaa985
682abf8c978eaeec90fb94d25398880210ff5f10
7384a298679a9c21d2d0f490f2c86a7c467f4ead
746def77c96904376c7d3a0d8c7b67f5abd49773
879b766a737b625d333234513cc20f2d942c00c1
91facbb31949a0430fcb32369bd6ea671b7bc144
9d648ccee25d829e46c58b9fa1f100ed6063d149
9e4789cec7e0ff12c72496f2e441c961e3e40474
a4144db1fa43aeb836aaa3e8adb2f6e2f710430d
b2565d4660d0bcff3c2d75d02c2596639a532cd5
c16484b003b7ae40c2eee619dfa65bf409c6064e
d52d3e20b288032bcb9ee8f4cc0ed38653ce9ff2
d8b591c052c85b1671e1d7822571568590dc3e35
fbb41d0aa9e7731b95122619e8a4b9eae61c727a
fee4a8ccd578676a9d1cba2e49fc5b5baa9b3457

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382


