# isabelle_session_info

session_name: Partial_Order_Reduction
sources: f20077ff336fd5a8f5e23df12031d15d6e51c2a8
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
8f3961b7060f32424dbaa7e9896457e45d8c9344
ea51bc8338c695a5af1b6ea606fc7be1970a812b
a262ae46432463d20a9a85065a911fecd5810038
7311055846f8b239fafdaea97a5a04e67e74c011


