# isabelle_session_info

session_name: LTL_to_GBA
sources: 1e84b423d6ac263e40275aee8a16aa40d9ec94fa
output_heap: 642d8ae7bbc7425cc074a3371d902016dd61da27
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
2ddeff9c6ac654e4a0066e2a4eed2e24a610c057
de7c938c1cb86b01c0651104dc0ca753c5878626
b9cb3fe15ebf98920426a3ddb700775ad4ed59ae
46b35c389d56de70bb774fa28ebb37531a64d7f5
d2975e50e012608ec2b6f1d729e7d437363c3f4f


