# isabelle_session_info

session_name: HOL-Cardinals
sources:
0fba804d67c28bcd7ee026f11ca5863180994c97
39d1029082cbca2bb5c37a9414ec85782939c523
4aa82869ab6954ea751fa236d010ba63fbaaa985
4f93f1b6c3e93fe5a7547d23edd458053452aa39
682abf8c978eaeec90fb94d25398880210ff5f10
6a3370288ea79ee9f494a3428259e4a8e8c5e0ac
7384a298679a9c21d2d0f490f2c86a7c467f4ead
91facbb31949a0430fcb32369bd6ea671b7bc144
9d648ccee25d829e46c58b9fa1f100ed6063d149
9e4789cec7e0ff12c72496f2e441c961e3e40474
9f2caa8cce607246da8ed0d7c63e7a661e857256
a369c4d99afc192a196ea064007ec13d112617f9
a4144db1fa43aeb836aaa3e8adb2f6e2f710430d
b2565d4660d0bcff3c2d75d02c2596639a532cd5
f1d18a4ea87dc7176b775af8eb263d4a43535e62
fbb41d0aa9e7731b95122619e8a4b9eae61c727a
fee4a8ccd578676a9d1cba2e49fc5b5baa9b3457

input_heaps:
013f12b3a18b5832e87d70a48956a4ac101e569d
88e2f99c5920bc73d5416538298a01671c7553b6
a2acf7069a04b73290e85f261327886d85fee3a4


