# isabelle_session_info

session_name: Partial_Order_Reduction
sources: eaa19986aaea68c8e923483ef4b778447ae95abe
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
3b148a2a61b1ae023fb5751b78092e889d79d244
ad3546b6465eba07d90464777e99f5697f86ada4
14f9a792e2818de9e20f47cc9d5358034e12d2c7
a872f2fd7cb4b5dbd5f30b863c4aa89ce1dcd497


