# isabelle_session_info

session_name: Relational_Minimum_Spanning_Trees
sources: 2655d6d9009e57c3edfd45b0e46ad2631d5566b4
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
ec012241379a6cf5195492e2de87de2619f9596d
dfc4fc10c8c270a420cd013962a0470d4b9a0cf8
d11fa2193a01521b5b97e109cf078e807aad7b53
47467b5e44a209e6820d47bb4b393603b8341364


