# isabelle_session_info

session_name: Graph_Theory
sources: 95e9b054de58b0b805be531c31c388d984d9cf61
output_heap: 02b109aa4b50e3c461fc324f9029089af19cdd89
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04


