# isabelle_session_info

session_name: CISC-Kernel
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
0506f095c011835c4f7c437686483120ef02a687
3592c30ac1fd38ffd526d039830f81d754495946
36744a4124e740bd34455511b5cccd324f277a13
3de2d68c664fab32ff7a3aeace0d8bc43f924879
440b637391744a33a3e30aba8ece811488c7e9ec
4628706bca8374e635b5941ae4e400757c4b22b4
4aabeb454f10c247e38df7cd714481f60134bec3
647b29895a9a234f8b44594b5085767187248cd0
68d9d51d23a8266e670f046ac0a501b349064391
73b9223cabede58b98b327a5ba24c2decb0b5cee
7ce1d219e87e3a78d77a826d66242aebc0c1d8a5
8ad780413248ed3f56d4f471bdf9d6b24491f498
a472b67214a1cf6a22efe58c8a3ce2529602cfbe
af88c9306c41efb487e6787c9d795ec3c6948c83
b8ade7f9d5f7d4712b723e66913e308ec2ba70cb
bb7be0def2547caa9c44bbe0efed558cbd09916e
e348d16c420645f70a5d38bbef9783570fc1e619
e41054397abc751ba6bff1a620d2944ddee02bdb
eb59e99cf39fe39e027d7743befd21a29b92a39b
fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b
ff0c2da3bed4adad2ee8133efa39fcb5777340d4
ff997872fbc887147587770dcd32855de0cd9a57
fff085c83c737871c16986038cf3c59cc609f636


