# isabelle_session_info

session_name: Partial_Order_Reduction
sources: 57d0cfc539c167c31b8b978e7cb9ea3d7340a96a
input_heaps:
33a9e32fd4df08287c7662d0ca60cf5ddac28356
4b353e22de97a71725acd840fcd08644cc4d74f4
99a4b6a25aff1cc2858eb9cc5ce486838a8f25e1
f156879229687942075f08641e0f430d85cac0b2
3b77a332bcdbafe065a4eb86b1085bbae81d79d6
043d9b98cdbebad726cc3bf86ff9179b3bb7ac86


