# isabelle_session_info

session_name: WorkerWrapper
sources: e86ea1fdaa571498dad0441bd338bbbaa84e097f
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
c40411e15cda58f0aca26f5a7949660600917046


