# isabelle_session_info

session_name: Stuttering_Equivalence
sources: c3ef88d1750cb6a56c8f95688e2bbd0f3ea10099
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
dd79e4fe0510d2e8a88e58c0521bd7c71a25a5b6


