# isabelle_session_info

session_name: Partial_Order_Reduction
sources: 13ed80b8c52b1a589a89c6f8d5c40b1870b479da
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
6705246a9aac3c424670655bea8ea4e4ea62230e
735fa1c26c9a2f523eb06a577ab0d69c3a13b9f2
7285ca69e0e87490c84da0c57036e06167b917d0
8844db379f245b3e59e747d7dcc792faac2c6eba
9de8230838b6cb815c8e4e50808bde253e08e240


