# isabelle_session_info

session_name: Partial_Order_Reduction
sources: f6b7fe9f5d65076fb319a3ce977a01d2584ef06a
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
e650868a8fec8e0f04be9c5397bdd9d9f03125ed
27471260a385ade7428ca088e4bb6e156c7ace1a
4ab85b266e4e9756142129cf2f6637814181d291
ab68fb6972d0726872bda7879c39177bee1d3060


