# isabelle_session_info

session_name: Girth_Chromatic
sources: 5921d0c491fbe5bbc7d53c4a30a781a47e9f4c39
output_heap: f6c175417d803a37b6d5b0dc53d295ecf473f023
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
4f980edf476e1d267841215178fca737808515ef
058f9ae2f545853b9ac66d3443f26d23073423d9


