# isabelle_session_info

session_name: Partial_Order_Reduction
sources: 7d5463621a98af324ebbb9249845e1a9176cfb3d
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
804979e98e372a621491a9763b0d5ce810913c10
420ca775eadf4856d6b4dcdea62de583d621aa05
06d72f7e8d1c4bdd350f3f761ce45221c213b3e5
25f97e7ef7d7f4dcfa8b7ab70d9d35c50eaefb01


