# isabelle_session_info

session_name: Girth_Chromatic
sources: 2f6576f3e1b16d4809d904b1d275d1d65b5605ac
output_heap: de046785835903e5efb9309f1a5d5a46b5f58fab
input_heaps:
72c8d9de99c96280f85277cd3480535dfd12f3bc
a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2
bea1dad93438de385d420ac3832f4a9373540bfb
c3c768f556e966dc6d98d7e1538aa6964d56f4b7


