# isabelle_session_info

session_name: Girth_Chromatic
sources: 936790ad21b5e07c677987648b49f7e27f355b0b
output_heap: efe843f87b2a4acc1e3ccacb0807dee27ee72e57
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
5d4ca6d7330bbafb70358c8735ac13f48c2b9887
08e409d96f50edbf320c0d71d4e959d75bc61bf2


