# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 9341261ac0fc56238c465e45385f2517a4ac12fd
output_heap: 323815d86bffbc438d29e4ac22884d4658fe7078
input_heaps:
9aadd396dde0a279b6a4eb62f8f2ff37640b410b
0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535
a03d08c0f587e047ece54735d75af4917719c4c3
4bce275ffe58a938f8105757c9c907135d2df335


