# isabelle_session_info

session_name: LTL_to_DRA
sources: c1ff7a1a5fea63a19a20fa9c23a442f40112228e
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
2d6e38d83c3e90a100dde7fed1e4308f472211d2
30636a666307c1547714fb9621f24e32b4dea05d


