# isabelle_session_info

session_name: FocusStreamsCaseStudies
input_heaps: 9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4
sources:
03e4b951248dc7e993fbf002cbe4738a35fbf0a9
09fe151ee7ae8c5edb0c1c76cccda6f857ea291d
13261e3a930d666d896158e611ad0d78666a86f6
168f34b62fe86f724cab97898791b791ca9db850
2cdac3546b3df48e09fb344d1cb67b3a26482ab7
2d47a23e30bddd9de2c7755e4763b82bf32b3c45
4a6596e25887e374a629812d5e92b3801290d81b
4e467ba37662819b54e7df2ef7eaefb83941a28a
550ce984963b32c668e027f4f3f4fdded215fdf3
637a19c8de137591f78ed9935bc27b487fbdd321
6df2b5a08c195ef8eb110bf3361b00557eefce79
72c29b1ad8f0e185d4058f53eb6527748c41016b
73c7120ad9e1d881ee3c16c3c400dd09026136c0
73e30c957894a9b242029199b0e8804bdf564c2c
77796c901a4cf60141645d9b09b1542466485ec9
8e8dcbe7ee912258a311d370bdcb8c05c2e810aa
ad274f165d5e39e02b96a3f6b210314b1077aafa
b10387f4f30ba9d4e6951eefbe1ddb74ff81429e
d662d9af79d7ac5c81c54b7af259d5a1c9f02617
dd46e151727c0fcf6fd63ae0af56a289c61f6202
e675823f8c1d5353fd1e1e053333837846e002d8
f0c7171a87128fac54fcbc912ac821520af4cd45
f63d3cd31bcbacff77fb8c0d8e1505dbb24f24c2
f888e9219d044791b2ff6250ea85b631f77e913e
f888e9219d044791b2ff6250ea85b631f77e913e
fd56f38e2dd0675ea3fb971befd6c20f3cd56b32
fe3d32d1d203eaceaa7129897a9dbd805c208d2f
ff899b2e4f98ad75d656383013645a23887dbb0e


