# isabelle_session_info

session_name: Lorenz_Approximation
sources: bc01c7d2cc76b76f3b9cb32728ceeb499d523c41
output_heap: e163fd7b62c06a3ba2319f45b3700b1bb87979bd
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
87c046ae46345ec50ded6c0dfb6f720da4345c11
ca84d721850d08f1af37fc17c547b454ee7f2811
341319952e8a5dc93e8a2e647bead0af5edd7e46


