# isabelle_session_info

session_name: Show
sources:
071663430d0a64ab8a65ee1eb860d8b5b5ad9596
268e812fffa5c2fd46f0296a94e824c975fbcdaf
3122c5b55089566c74375976fd6040cc34c326db
407edce55bc78b9aac458ee75faca6679202c9b0
429952f9b1ab48f5480776e72dd795c832ab4fd6
5fcf31c65e33c233464c7eb2a548da2bd7232385
6577b0c6fc13932355b22f0f247d8221b21c07fd
8af5d309cec3e4b5d36d1001c18ba9f8027354ac
a6266b8092d8a1fa05d6db930011310d770d4e7d
cf0eb34815c10b600e671c786585de3d3713e6fc

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12
38d8b135dda19b81cd3432df4e552d2889647d81


