# isabelle_session_info

session_name: AutoFocus-Stream
sources: e9ffb507b57680c6967ff1a2bd948756bd7962ca
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039
9cb44d75d547e0248be423d8e466d4207db0f5df
184e0cc21c554c80aecfe4640318128e212f4232


