# isabelle_session_info

session_name: Relational_Disjoint_Set_Forests
sources: b8f9daa66f9c85e5d6243a34a6c237de0c46e30b
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
ec012241379a6cf5195492e2de87de2619f9596d
dfc4fc10c8c270a420cd013962a0470d4b9a0cf8
d11fa2193a01521b5b97e109cf078e807aad7b53


