# isabelle_session_info

session_name: LTL_to_GBA
sources: 872a5c7e81c787e27ba54c1112dac5812ef812dc
input_heaps:
eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0
584f21f404c2863325b05768822512e8f27326d9
7246ea39aa0f864f94c91a98f2aa32ae5acca72f
5f240b2f610d154e345395fa9219bc53ed7a31ba
9ab9e0fcdd1a962bb5d5eba08772a895e03113ac
849bf52973aed043759db030571de2f3c33c589a
365d79e766c3d66de9f8b71096aaf32c090b5406


