# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 646eb3ce49cbe35cacbbbd7d71b1d1cd4056c762
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
0ceea9550733ff99ec76e33e242f61a56d15d9b5
bf49fede8d0df4bf92aa5d85cca816fa4aea4f95


