# isabelle_session_info

session_name: Lorenz_C1
sources: 00cf8124b26762c08737ac1a27e24f9d2595c31e
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
c1cd073b148d93694f1952c6132a1a826ba1b742
d0945cbf9d0b2cd0df1a6956b8b3dfba693652d9
80f02ed2c7870eb09868a6605ee348d7194fb4d4
ae293c22d360af60404fd3fd9d7ab9fe27557c0b


