# isabelle_session_info

session_name: Show
sources:
0791caee842d92fb3623ec7037e72594ed8c7594
0e92bfb40c58ec80ac022b0282cf2ed21656ca51
18b6428910992a9ccaa7d56cdd0dd48d1a87e5d8
268e812fffa5c2fd46f0296a94e824c975fbcdaf
3122c5b55089566c74375976fd6040cc34c326db
407edce55bc78b9aac458ee75faca6679202c9b0
429952f9b1ab48f5480776e72dd795c832ab4fd6
5fcf31c65e33c233464c7eb2a548da2bd7232385
6577b0c6fc13932355b22f0f247d8221b21c07fd
8af5d309cec3e4b5d36d1001c18ba9f8027354ac
cf0eb34815c10b600e671c786585de3d3713e6fc

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9
99b85abd939d57a4e83f60d471fba7659edd8ec1


